November 2025 Archive
9032.
Differentiable max-SAT Solver for real world optimization problems
(navokoj.shunyabar.foo)
9033.
Tech billionaires want to make gene-edited babies
(economist.com)
9034.
Mizar Language
(mizar.uwb.edu.pl)
9035.
<5KB demoscene intro by Claude
(demo-blue-fog-5621.fly.dev)
9036.
ADHD diagnoses are growing. What's going on?
(nature.com)
9037.
I Made Playing Cards to Teach English
(landenlove.xyz)
9038.
9039.
I'm 62. Stop Telling Me I'm Old
(nytimes.com)
9040.
How the brain decides what to remember
(rockefeller.edu)
9041.
Vote Labour or Green?
(rodgercuddington.substack.com)
9042.
The Life Hunt for Red October
(twz.com)
9043.
9044.
9045.
India Curtails More Solar Power as Grid Grapples with Oversupply
(bloomberg.com)
9046.
9047.
Chromium: Substring of string retains string in memory
(issues.chromium.org)
9050.
Elon Musk on AI extinction risk, media bias, and Social Security system
(founderboat.com)
9051.
AI World Clocks
(clocks.brianmoore.com)
9053.
Modern Python CI with Coverage in 2025
(danielnouri.org)
9054.
9055.
Why Does the Universe Exist? (1991) [pdf]
(philosophy.fas.harvard.edu)
9056.
9057.
We launched deposit insurance in Korea–for foreign renters
(foreignerhome.com)
9059.
Vibe Coding, Six Months Later: The Honeymoon's Over
(thenewstack.io)
9060.
Apple Nears $1B-A Year Deal to Use Google AI for Siri
(bloomberg.com)