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