-
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)