May 2025 Archive
1291.
Coffee for people who don't like coffee (ostwilkens.se)
1292.
Starship Flight 9 booster explodes on impact [video] (youtube.com)
1293.
Investment Risk Is Highest for Nuclear Power Plants, Lowest for Solar (bu.edu)
1294.
Show HN: I’m 16 years old and working on my first startup, a study app (notiv.app)
1295.
FAA offering more incentives as air traffic controller shortage worsens (ktla.com)
1296.
GPS Needs to Toughen Up, or Get Trampled Down (aviationweek.com)
1297.
Show HN: Journelly for iOS: like tweeting but for your eyes only (in plain text) (xenodium.com)
1298.
AI makes bad managers (staysaasy.com)
1299.
Show HN: Merliot – plugging physical devices into LLMs (github.com)
1300.
How to (actually) prove it – New Frontiers of Mathematics and Computing in Lean (kirancodes.me)
1301.
Car Physics for Games (2003) (asawicki.info)
1302.
Coinbase 8K SEC filing for breach (sec.gov)
1303.
Industry groups are not happy about the imminent demise of Energy Star (insideclimatenews.org)
1304.
O(n) vs. O(n^2) Startups (rohan.ga)
1305.
Emacs dired-mode as a file manager (lynn.sh)
1306.
Confessions about my smart home (frenck.dev)
1307.
An appeal to companies doing AI (soatok.blog)
1308.
Applications of Classical Physics (pmaweb.caltech.edu)
1309.
Tokenization for language modeling: BPE vs. Unigram Language Modeling (2020) (ndingwall.github.io)
1310.
The Inchtuthil Nail Hoard (scottishhistory.org)
1311.
The Internet 1997–2021 (opte.org)
1312.
Pglocks.org (pglocks.org)
1313.
Show HN: CodeCafé – A real-time collaborative code editor in the browser (github.com)
1314.
Sutton and Barto book implementation (github.com)
1315.
Whippet GC notes on Guile, heuristics, and heap growth (wingolog.org)
1316.
GM Is Pushing Hard to Tank California's EV Mandate (wsj.com)
1317.
Show HN: Voiden – a free, offline, Git-native API Client (voiden.md)
1318.
How scrolling becomes a religious act (etymology.substack.com)
1319.
Launch HN: WorkDone (YC X25) – AI Audit of Medical Charts
1320.
What New Orleans Taught Me (commonedge.org)