| 1. | | Polymarket gamblers threaten to kill me over Iran missile story (timesofisrael.com) |
| 1606 points by defly 35 days ago | 1055 comments |
|
| 2. | | Leanstral: Open-source agent for trustworthy coding and formal proof engineering (mistral.ai) |
| 783 points by Poudlardo 34 days ago | 191 comments |
|
| 3. | | The “small web” is bigger than you might think (kevinboone.me) |
| 561 points by speckx 34 days ago | 241 comments |
|
| 4. | | Why I love FreeBSD (dragas.net) |
| 530 points by enz 35 days ago | 262 comments |
|
| 5. | | Meta’s renewed commitment to jemalloc (fb.com) |
| 515 points by hahahacorn 34 days ago | 239 comments |
|
| 6. | | My Journey to a reliable and enjoyable locally hosted voice assistant (2025) (home-assistant.io) |
| 425 points by Vaslo 35 days ago | 140 comments |
|
| 7. | | Corruption erodes social trust more in democracies than in autocracies (frontiersin.org) |
| 745 points by PaulHoule 35 days ago | 388 comments |
|
| 8. | | The American Healthcare Conundrum (github.com/rexrodeo) |
| 523 points by rexroad 34 days ago | 656 comments |
|
| 9. | | Stop Sloppypasta (stopsloppypasta.ai) |
| 667 points by namnnumbr 35 days ago | 259 comments |
|
| 10. | | Lies I was told about collaborative editing, Part 2: Why we don't use Yjs (moment.dev) |
| 272 points by antics 38 days ago | 160 comments |
|
| 11. | | Home Assistant waters my plants (finnian.io) |
| 291 points by finniananderson 39 days ago | 142 comments |
|
| 12. | | Starlink Mini as a failover (jackpearce.co.uk) |
| 324 points by jkpe 35 days ago | 229 comments |
|
| 13. | | AirPods Max 2 (apple.com) |
| 322 points by ssijak 35 days ago | 559 comments |
|
| 14. | | MoD sources warn Palantir role at heart of government is threat to UK security (thenerve.news) |
| 679 points by vrganj 35 days ago | 293 comments |
|
| 15. | | How I write software with LLMs (stavros.io) |
| 544 points by indigodaddy 35 days ago | 529 comments |
|
| 16. | | Palestinian boy, 12, describes how Israeli forces killed his family in car (bbc.com) |
| 1256 points by tartoran 34 days ago | 419 comments |
|
| 17. | | Lazycut: A simple terminal video trimmer using FFmpeg (github.com/emin-ozata) |
| 233 points by masterpos 35 days ago | 65 comments |
|
| 18. | | Kona EV Hacking (techno-fandom.org) |
| 134 points by AnnikaL 39 days ago | 75 comments |
|
| 19. | | The bureaucracy blocking the chance at a cure (writingruxandrabio.com) |
| 156 points by item 35 days ago | 175 comments |
|
| 20. | | US Job Market Visualizer (karpathy.ai) |
| 503 points by andygcook 34 days ago | 360 comments |
|
| 21. | | Show HN: Oxyde – Pydantic-native async ORM with a Rust core (github.com/mr-fatalyst) |
| 155 points by mr_Fatalyst 38 days ago | 81 comments |
|
| 22. | | Beyond has dropped “meat” from its name and expanded its high-protein drink line (plantbasednews.org) |
| 219 points by rmason 34 days ago | 589 comments |
|
| 23. | | The emergence of print-on-demand Amazon paperback books (alexerhardt.com) |
| 252 points by aerhardt 36 days ago | 191 comments |
|
| 24. | | Show HN: Claude Code skills that build complete Godot games (github.com/htdt) |
| 337 points by htdt 34 days ago | 206 comments |
|
| 25. | | The Linux Programming Interface as a university course text (man7.org) |
| 192 points by teleforce 35 days ago | 41 comments |
|
| 26. | | Nasdaq's Shame (keubiko.substack.com) |
| 425 points by imichael 35 days ago | 167 comments |
|
| 27. | | Language model teams as distributed systems (arxiv.org) |
| 104 points by jryio 34 days ago | 46 comments |
|
| 28. | | Launch HN: Voygr (YC W26) – A better maps API for agents and AI apps |
| 81 points by ymarkov 34 days ago | 60 comments |
|
| 29. | | Apideck CLI – An AI-agent interface with much lower context consumption than MCP (apideck.com) |
| 137 points by gertjandewilde 34 days ago | 123 comments |
|
| 30. | | Electric motor scaling laws and inertia in robot actuators (robot-daycare.com) |
| 170 points by o4c 39 days ago | 37 comments |
|
|
| More |
