Monthly Highlights
16951.
16952.
Limits of LLM Based "Intelligences"
(yalereview.org)
16953.
Tailscale ships a non-reproducible crypto downgrade
(github.com)
16954.
16955.
16956.
Formally proving a calculation with Claude and Lean
(johndcook.com)
16957.
Fable 5 System Prompt Comparison to Opus 4.8
(TwelveTables.blog)
16958.
What Is Gravity?
(qunabu.github.io)
16959.
Cache Stampede Prevention: Distributed Locking, Pub/Sub, and Request Coalescing
(engineeringatscale.substack.com)
16960.
16961.
16963.
The Robot Arm Nobody Dares Rip Out – Industrial and Manufacturing
(atomsfrontier.substack.com)
16964.
Advanced AI Safety Addendum
(cloud.google.com)
16965.
Fuck|Thank You
(pawelgrzybek.com)
16966.
Hitachi Ltd, Part II – By Bradford Morgan White
(abortretry.fail)
16967.
16968.
What Yahoo killed when it bought Maktoob
(lr0.org)
16969.
XML and JSON in 2026
(tbray.org)
16970.
16971.
Now what?
(blog.danieljanus.pl)
16972.
The Push to Solo Work
(adrianhoward.com)
16973.
StumbleTV: Watch actidentally-exposed webcams from across the world
(stumbletv.alec.is)
16974.
Active-active fixed our counters but broke everything else
(useautumn.com)
16975.
Akse3D – open-source 3D modelling anyone can master
(akse3d-en.skaperiet.no)
16976.
The Evaluations Framework
(developer.apple.com)
16977.
Off By: Exploiting a Use-After-Free in the Linux Kernel
(blog.exodusintel.com)
16978.
16979.
Formal Methods and the Future of Programming
(blog.janestreet.com)
16980.
NASA announces astronauts for its Artemis III mission
(nbcnews.com)