Monthly Highlights
21901.
Make Your Life Easier
(himanshusinghbisht.substack.com)
21902.
Everyone has a book in them, more so bloggers
(disassociated.com)
21903.
21904.
A Proof of Conway's Refinement Conjecture in Lean
(github.com)
21905.
21906.
21907.
A zip file can hijack your coding agent
(manifold.security)
21908.
Scans of 400 handwritten notes about people's relationships with AI
(whatwetellai.com)
21909.
21910.
21911.
How Email Works (2025)
(sushantdhiman.dev)
21912.
Plaintext todo lists from tree structures
(jatabag.com)
21913.
21914.
21915.
Added username / phone-support to TraceFind
(tracefind.info)
21916.
You probably don't want to fine-tune
(simonpcouch.com)
21917.
Typst Makes Big Strides
(lwn.net)
21918.
PostgreSQL 19 connects the dots with standardized graph queries
(theregister.com)
21919.
Defining Culture and Its Spread
(michaelgv.uk)
21920.
21921.
1,200 AIs discovered a secret group chat
(textlog.cc)
21922.
A single-file invoice generator that runs in the browser
(merlin-invoice-tool.surge.sh)
21923.
The Second Bitter Lesson
(twitter.com)
21924.
Show HN: I found a weird old startup's LaserDisc
(youtube.com)
21925.
Conscience Is Not a Moral Oracle
(overcomingbias.com)
21926.
Work hard – nobody cares how good you used to be
(theguardian.com)
21927.
Show HN: Learn/Practice Sudoku strategies web app
(sw-fun.github.io)
21928.
21929.
Where Every Fix Has a Shadow
(medium.com)
21930.
How to manage a growing fleet of AI agents with Latitude
(latitude.so)