frontpage.
newsnewestaskshowjobs

Made with ♥ by @iamnishanth

Open Source @Github

Open in hackernews

GitHub-Formalizing the Strong Goldbach Conjecture for AI(HOL,Standard Semantics)

https://github.com/JQCTeam/strong-goldbach-semantic-SOL-HOL
1•justdoitookk•4h ago

Comments

justdoitookk•4h ago
This is my first time using GitHub. If you notice any issues or have suggestions, feel free to let me know. Thanks!
justdoitookk•3h ago
I'm sorry — my GitHub repository is currently experiencing some issues.

Qwen3 from Scratch

https://github.com/rasbt/LLMs-from-scratch/tree/main/ch05/11_qwen3
1•tzury•3m ago•0 comments

6 Weeks of Claude Code

https://blog.puzzmo.com/posts/2025/07/30/six-weeks-of-claude-code/
1•mpweiher•7m ago•0 comments

Replacing Lua's math.random module with the Xorshift algorithm

https://nullonerror.org/2025/08/02/replacing-lua-s-math-random-module-with-the-xorshift-algorithm/
1•delduca•9m ago•0 comments

Soft-leaving social media; choosing creation over connection

https://scyy.fi/creation-and-connection
1•lying4fun•12m ago•0 comments

The expert became the patient? (prosthetic osseointegration)

https://www.theguardian.com/lifeandstyle/2025/aug/02/artificial-limbs-expert-patient-prosthetics
1•lonelyasacloud•15m ago•1 comments

Sold a Story: How Teaching Kids to Read Went So Wrong

https://features.apmreports.org/sold-a-story/
1•Akronymus•16m ago•0 comments

How female entrepreneurs can overcome self-doubt

https://journals.aom.org/doi/10.5465/amj.2022.1104.summary
1•rustoo•16m ago•1 comments

Zomato founder prepares to deliver jet engines

https://www.businesstoday.in/latest/corporate/story/zomato-prepares-to-deliver-jet-engines-487292-2025-07-31
1•rustoo•21m ago•0 comments

14-hour+ global blackout at Ingram Micro halts customer orders

https://www.theregister.com/2025/07/04/ingram_micro_technical_difficulties/
1•chrisjj•26m ago•1 comments

Escaping AI Slop: A Design System Approach to Claude Code

https://raduan.xyz/blog/claude-code-for-landing
1•raduan•27m ago•0 comments

The Kevin Mitnick Files: Declassified FBI Documents

https://www.amazon.com/dp/B0DZ666HCL
2•ada1981•27m ago•0 comments

List of Megaprojects

https://en.wikipedia.org/wiki/List_of_megaprojects
1•george_srs•29m ago•1 comments

Decman – Declarative package and configuration manager for Arch Linux

https://github.com/kiviktnm/decman
1•ssernikk•29m ago•0 comments

What'll happen if we spend nearly $3T on data centres no one needs?

https://www.ft.com/content/7052c560-4f31-4f45-bed0-cbc84453b3ce
2•rwmj•31m ago•1 comments

Computer Interviews Chris Curry

https://computeradsfromthepast.substack.com/p/your-computer-interviewed-chris-curry
2•klelatti•35m ago•0 comments

CVgen – Generate Resumes from JSON Using Markdown Templates

https://github.com/jobpare/cvgen
1•vahida9i•37m ago•1 comments

Artificial sweeteners in wastewater treatment plants

https://www.sciencedirect.com/science/article/pii/S0304389425015602
1•PaulHoule•38m ago•0 comments

Bitter fight over 2020 Microsoft quantum paper both resolved and unresolved

https://www.theregister.com/2025/07/31/microsoft_quantum_paper_science/
3•sampo•41m ago•0 comments

TLP – Optimize Linux Laptop Battery Life

https://linrunner.de/tlp/index.html
1•ssernikk•42m ago•0 comments

Ivermectin could help control malaria transmission by killing the mosquitoes

https://www.ndm.ox.ac.uk/news/new-research-supports-ivermectin-as-an-effective-strategy-to-control-malaria-transmission
2•rguiscard•44m ago•0 comments

CISA roasts unnamed critical national infrastructure body for shoddy security

https://www.theregister.com/2025/08/02/cisa_coast_guard_cni/
1•rntn•45m ago•0 comments

How our century of supersized farm machines will end

https://christopherkrapu.com/blog/2025/highly-capitalized-farm-operations/
1•ckrapu•45m ago•1 comments

TinyBits: Smaller, faster serialization for Ruby apps and beyond

https://oldmoe.blog/2025/05/05/smaller-faster-serialization-for-ruby-apps-and-beyond/
1•fanf2•46m ago•0 comments

The myth of work–life balance is dead, and employers aren't afraid to say it

https://financialpost.com/fp-work/howard-levitt-work-life-balance-dead-employers
3•andy99•46m ago•1 comments

Show HN: Visually explore recommended/trending sci-fi books (and other genres)

1•bwb•49m ago•0 comments

Shunsaku Tamiya, Who Brought Perfection to Plastic Models, Dies at 90

https://www.nytimes.com/2025/07/25/world/asia/shunsaku-tamiya-plastic-models-dies.html
1•bookofjoe•49m ago•1 comments

The Psychology of Fun: What Makes a Ttrpg Engaging and Enjoyable?

https://therpggazette.wordpress.com/2025/05/20/the-psychology-of-fun-what-makes-a-ttrpg-engaging-and-enjoyable/
1•BerislavLopac•49m ago•0 comments

Show HN: Lifelike one shot gesture animation by Claude

https://claude.ai/public/artifacts/12ef9f4d-ed0e-494b-97c4-edfecc11d9a2
1•logicallee•49m ago•1 comments

Ask HN: Have you ever regretted open-sourcing something?

4•paulwilsonn•51m ago•2 comments

A.I. Researchers Are Negotiating $250M Pay Packages

https://www.nytimes.com/2025/07/31/technology/ai-researchers-nba-stars.html
21•jrwan•54m ago•16 comments