-
122
Can LLMs model real-world systems in TLA+?
(sigops.org)
-
49
The Struggle Is Gone
(dogdogfish.com)
-
3
Int a = 5; a = a++ + ++a; a =? (2011)
(gynvael.coldwind.pl)
-
169
GeoJSON
(geojson.org)
-
457
Meta's embrace of AI is making its employees miserable
(nytimes.com)
-
84
Show HN: adamsreview – better multi-agent PR reviews for Claude Code
(github.com)
-
174
Traces Of Humanity
(tracesofhumanity.org)
-
185
PS3 Emulator Devs Politely Ask That People Stop Flooding It with AI PRs
(kotaku.com)
-
95
The river otter's remarkable comeback
(rewildingmag.com)
-
19
The tipping point: what happens when deaths outnumber births?
(theguardian.com)
-
661
SQLite Is a Library of Congress Recommended Storage Format
(sqlite.org)
-
831
AI slop is killing online communities
(rmoff.net)
-
28
Ice Cream Blending (1965) [pdf]
(bitsavers.org)
-
373
Mojo 1.0 Beta
(mojolang.org)
-
278
ClojureScript Gets Async/Await
(clojurescript.org)
-
16
xkcd: Well 2
(xkcd.com)
-
140
Walking slower? Your ears, not your knees, might be the problem
(wsj.com)
-
1057
Poland is now among the 20 largest economies
(apnews.com)
-
53
Seeing Birdsong
(lucioarese.net)
-
101
Unitree GD01: China's $537k rideable transformer robot is now in production
(gagadget.com)
-
136
Stop MitM on the first SSH connection, on any VPS or cloud provider
(joachimschipper.nl)
-
111
Light without electricity? Glowing algae could make it possible
(colorado.edu)
-
422
The hypocrisy of cyberlibertarianism
(matduggan.com)
-
7
Instructure Security Incident Update
(instructure.com)
-
147
PC Engine CPU
(jsgroth.dev)
-
183
Spain has become one of Europe’s cheapest power markets
(janrosenow.substack.com)
-
104
Why modern parents feel more sleep deprived than our ancestors did
(bbc.com)
-
65
HDMI 2.1 Display Stream Compression (DSC) Ready for Amdgpu Linux Driver
(phoronix.com)
-
6
Filmeon: Physically grounded, color-managed inversion for negative film scans
(filmeon.app)
-
85
PipeDream on the Acorn Archimedes
(stonetools.ghost.io)