1. Dungeon Proof Crawler: learn how to write proofs with RPG (dhilst.github.io)
    82 points by SchwKatze 3 days | 26 comments
  2. Ask HN: Best Podcasts of 2026 [So Far]
    14 points by AbstractH24 about 12 hours | 13 comments
  3. Why low-latency Java still requires discipline? (chronicle.software)
    97 points by theanonymousone 2 days | 50 comments
  4. Hobbes – A Language and Embedded JIT Compiler (github.com)
    36 points by ryan-ca 6 days | 2 comments
  5. Abnormal Response to Anthropic Lawsuit (abnormal.ai)
    6 points by tmp10423288442 about 10 hours | discuss
  6. Chicago Fed launches a new consumer sentiment composite index (www.marketplace.org)
    9 points by toomuchtodo about 14 hours | 1 comments
  7. Browser extension to filter out all unknown brands from Amazon search results (chromewebstore.google.com)
    5 points by alecco about 7 hours | 2 comments
  8. Bond Traders Stunned as Losses on SpaceX's New Debt Keep Growing (www.bloomberg.com)
    19 points by 1vuio0pswjnm7 about 15 hours | 2 comments
  9. Should DayQuil Be Legal? (www.theargumentmag.com)
    236 points by paulpauper 2 days | 290 comments
  10. Taiganet.com, Home of the WS4000 Simulator (www.taiganet.com)
    23 points by Aloha 1 day | 3 comments
  11. Airplane Boneyards List and Map (airplaneboneyards.com)
    97 points by hyperific 4 days | 16 comments
  12. Half of Americans struggle to afford groceries and gas, exclusive poll finds (www.theguardian.com)
    15 points by rawgabbit about 11 hours | 5 comments
  13. Eternal Software Initiative Based on Subleq One-Instruction-Set Computer (github.com)
    28 points by lioeters 2 days | 9 comments
  14. OpenWiki: CLI that writes and maintains agent documentation for your codebase (github.com)
    96 points by handfuloflight 7 days | 31 comments
  15. The Music of Destruction (thebaffler.com)
    27 points by lermontov 6 days | 13 comments
  16. A verification loop 4x'd DeepSeek's intelligence, matching Opus at 1/7 the cost (ironbee.medium.com)
    37 points by sozal 1 day | 26 comments
  17. The GNU Emacs Architecture: Unlocking the Core [pdf] (www.diva-portal.org)
    184 points by cenazoic 7 days | 16 comments
  18. Android Developer Verification: Threat masquerading as protection (f-droid.org)
    1730 points by drewfax 6 days | 743 comments
  19. Installing A/UX 1.1 like it's the 90s (thomasw.dev)
    73 points by zdw 3 days | 33 comments
  20. Meta's Teen Safety Case Just Became a $1.4T Existential Threat (gizmodo.com)
    17 points by colinprince about 17 hours | 1 comments
  21. X402, a static blog monetization excercise (shtein.me)
    47 points by morty28 2 days | 37 comments
  22. Starring the Computer (www.starringthecomputer.com)
    275 points by gitowiec 3 days | 56 comments
  23. Not everything should cost a token: the case for deterministic AI (www.vybe.build)
    21 points by marwann 1 day | 17 comments
  24. Web-based cryptography is always snake oil (www.devever.net)
    121 points by enz 3 days | 128 comments
  25. An independent evaluation of TabFM, Google's tabular foundation model (yashrajpandey.com)
    25 points by yashrajpandey 2 days | 1 comments
  26. Wordgard: In-browser rich-text editor from the creator of ProseMirror (wordgard.net)
    338 points by indy 5 days | 105 comments
  27. DNSGlobe – Rust TUI to watch DNS propagate around the world (github.com)
    83 points by Callicles 3 days | 67 comments
  28. Show HN: Homegames. An open-source game platform I've been making for 8 years (homegames.io)
    227 points by homegamesjoseph 3 days | 55 comments
  29. Court tosses Microsoft's appeal in pre-owned software licenses battle (www.theregister.com)
    29 points by mywacaday about 22 hours | 2 comments
  30. AI has taken over the stock market. The bond market is next (www.economist.com)
    10 points by petethomas about 12 hours | discuss
More