- 36Local Reasoning for Global Properties (tratt.net)
- 4Understanding Is the New Bottleneck (geoffreylitt.com)
- 5DCA: Arithmetic for Finite Computation (github.com)
- 22EU appears to find datacenter emissions easier to offset than lobbyists (theregister.com)
- 4Babel, a construction that builds and unbuilds itself forever (sand-morph.up.railway.app)
- 1189Qwen 3.6 27B is the sweet spot for local development (quesma.com)
- 16Returning to Zig (gracefulliberty.com)
- 3Show HN: Grade your code's post-quantum crypto exposure A–F, free, in-browser (throndar.ai)
- 572Asahi Linux 7.1 Progress Report (asahilinux.org)
- 36California bans 'sell by' labels, hoping to cut food waste (nytimes.com)
- 182How We Made IPFS Content Publishing 10x Faster (probelab.io)
- 3Show HN: TeXposit – LaTeX and Markdown Editor (texposit.com)
- 131America, 1926: A forgotten 100-year-old report (derekthompson.org)
- 76Show HN: Inkwell – An RSS reader for e-ink devices (kendal.codeberg.page)
- 7Ford rehires human engineers after AI fails to match quality checks (bbc.com)
- 144Supersonic flight returning to US after half-century ban (forbes.com)
- 88A Special Wireless-Free Nikon Camera Is Publicly Available for the First Time (petapixel.com)
- 67Egg consumption inversely correlated with Alzheimer's (pubmed.ncbi.nlm.nih.gov)
- 5Why Linux is not ready for the desktop (2024) (itvision.altervista.org)
- 30Two new experimental MELPA channels (emacsair.me)
- 446FFmpeg 9.1's new AAC encoder (hydrogenaudio.org)
- 124The Underhanded C Contest (underhanded-c.org)
- 69Show HN: zkGolf – Competitive optimization of formally verified circuits (zk.golf)
- 85WinPE as a stateless harness for Windows driver testing and fuzzing (bednars.me)
- 1262Claude Sonnet 5 (anthropic.com)
- 946Virginia bans sale of precise geolocation data (hunton.com)
- 6Do Wavy Walls Use Fewer Bricks? I Tested It in Blender (blog.tymscar.com)
- 125The Life and Times of Maxis, Part 1: SimEverything (filfre.net)
- 68JEP 539: Strict Field Initialization in the JVM moved to preview (openjdk.org)
- 19Liquid transforms into an energy-rich gel that stores power for months (news.northwestern.edu)