Monthly Highlights
541.
542.
Introduction to Formal Verification with Lean Part 1
(hashcloak.com)
543.
The Doorman's Fallacy in action
(rozumem.xyz)
544.
545.
Separating signal from noise in coding evaluations
(openai.com)
546.
Ford hired AI and sacked humans. It backfired badly
(the-independent.com)
547.
Meta data center water discharges suspended for contaminating water supply
(tomshardware.com)
548.
An agent in 100 lines of Lisp
(thebeach.dev)
549.
The Art of Computer Programming by Donald E. Knuth
(www-cs-faculty.stanford.edu)
550.
Elastic lays off 7% of employees
(elastic.co)
551.
Ghost Font: A font that humans can read but AI cannot
(mixfont.com)
552.
553.
Hunting a 16-year-old SQLite WAL bug with TLA+
(ubuntu.com)
554.
Reducing tick density along recreational trails in Ottawa, Canada
(sciencedirect.com)
555.
556.
ICE to Pay Thomson Reuters $125M to Find Voter Fraud
(404media.co)
557.
UPI: Anatomy of a Payment Transaction
(timeseriesofindia.com)
558.
Teardown: A Generic 7-Port USB 3.0 Hub That Wasn't
(goughlui.com)
559.
561.
Vite+ Beta
(voidzero.dev)
562.
Is this the end of the once-mighty GoPro?
(amateurphotographer.com)
563.
Weave Robotics launches Isaac 1, a $7,999 home robot with Fall 2026 deliveries
(weaverobotics.com)
564.
Please stop the AI confidence theater
(elenaverna.com)
565.
Em dashes are fucking amazing
(psychotechnology.substack.com)
566.
I Wasn't Allowed Prompting ChatGPT During My Chalk Talk: This Is Discrimination (2025)
(inpreparation.substack.com)
567.
568.
569.
Mathematicians still don't know the fastest way to multiply numbers
(scientificamerican.com)