Monthly Highlights
17642.
After Me(One encrypted vault. One QR code. Your family gets everything)
(myafterme.co.uk)
17643.
The Lean Programming Language and Theorem Prover
(leodemoura.github.io)
17644.
Blueprinting the System: An Interview on Event Modeling
(docs.eventsourcingdb.io)
17645.
17646.
17647.
A practical guide to Git worktrees
(harness.mikelyons.org)
17648.
Show HN: YouTube Live Spam Blocker
(github.com)
17649.
How Not to Run a Company
(brgsk.xyz)
17650.
Revisiting and Optimising go-iso8601-duration
(xnacly.me)
17651.
17652.
17653.
17654.
17655.
Apps and programming: two accidental tyrannies
(andymatuschak.org)
17656.
Ideological Steering of AI
(micahbornfree.substack.com)
17657.
17658.
Canal of the Pharaohs
(en.wikipedia.org)
17659.
17660.
Kon – A tiny coding harness
(github.com)
17662.
17663.
Intel Intrinsics Guide
(intel.com)
17664.
WordPress 7.0: The Good, the AI, and the Still Missing
(adamgreenough.net)
17665.
The Internet of Poop
(statmodeling.stat.columbia.edu)
17666.
A Fake Screen Fixed My macOS Space Switcher
(jorviksoftware.cc)
17667.
The Memory Maker
(longreads.com)
17668.
Discovery of Agents, Workloads, and Named Entities IETF Mailing List
(mailarchive.ietf.org)
17669.
17670.