December 2025 Archive
12871.
Formal Proof: LLM Hallucinations Are Structural, Not Statistical (Coq Verified) (philpapers.org)
12872.
Novelty Automation: A collection of satirical home-made arcade machines (novelty-automation.com)
12873.
Amazon Employees for Climate Justice (amazonclimatejustice.org)
12874.
Google Earth imagery reveals spoiler for yet-to-air episode of TV show Pluribus (old.reddit.com)
12875.
My Complicated Relationship with Side Projects (lopezb.com)
12876.
P-Civilization Theory: Capital × Praise as a dual-axis framework (paxiscivlab.substack.com)
12877.
Show HN: OnlyRecipe 2.0 – I added the features HN requested – 4 years later (onlyrecipeapp.com)
12878.
Early modern humans experienced thoughts as commands from external "gods" (en.wikipedia.org)
12879.
Back End in a Coffee Break (nomirun.com)
12880.
Some people still drive stick (praf.me)
12881.
Ask HN: Saving/restoring web-app state–useful or pointless?
12882.
Ask HN: About Karma
12883.
Ray Keynote: de-facto for compositional learning and a distributed heterogeneous [video] (youtube.com)
12884.
Understanding the Electron (2015) (arxiv.org)
12885.
Stop Blaming Embeddings, Most RAG Failures Come from Bad Chunking
12886.
Book Review: The Way of Effortless Mindfulness (yncui.com)
12887.
Ask HN: Who is building solo with AI?
12888.
So, how did porn ID laws go? (moth.monster)
12889.
Ask HN: Time Travel
12890.
Ask HN: Will AI make humans smarter through evolutionary selection pressure?
12891.
Updating My Bash Prompt (martianlantern.github.io)
12892.
Ask HN: Did ADHD treatment unlock your ability to work on self-directed work?
12893.
Show HN: Kirkify AI – One-click kirkification (kirkified.ai)
12894.
The Resonant Computing Manifesto (simonwillison.net)
12895.
Agents Training Agents: A practical architecture for autonomous self-improvement (techlife.blog)
12896.
Capellini Geodesic Extrusion Felting: Constants emerge from dimensional collapse (substack.com)
12897.
President Donald J. Trump Awarded "FIFA Peace Prize – Football Unites the World" (inside.fifa.com)
12898.
I launched a free podcast mastering tool and it hit #1 on Google (freepodcastmastering.com)
12899.
Show HN: Employees will keep leaving until you grow them. How? (semis.reispar.com)
12900.
Starmer's Electoral Posturing (rodgercuddington.substack.com)