Monthly Highlights
20011.
The Download: The Pentagon's new AI plans, and next-gen nuclear reactors (technologyreview.com)
20012.
The Best Laptop Apple Ever Made (jeffgeerling.com)
20013.
Turing Complete (store.steampowered.com)
20014.
AlgoVeri: An Aligned Benchmark for Verified Code Gen. On Classical Algorithms (arxiv.org)
20015.
Quantum pioneers win Turing Award for encryption breakthrough (bbc.co.uk)
20016.
Keeping Private Credit Safe Became Iowa's Problem (wsj.com)
20017.
Specy: Learning Specifications for Distributed Systems from Event Traces [pdf] (cs.princeton.edu)
20018.
A high-performance bridge between Scryer Prolog and Python (github.com)
20019.
AutoReach vs. Apollo: The Real Cost Comparison for Lead Generation in 2026 (autoreach.work)
20020.
TIL: Uv Settings I Changed after LiteLLM (antisimplistic.com)
20021.
Leveling Up Secure Code Reviews with Claude Code (specterops.io)
20022.
Next-generation humanoid robot can do the moonwalk (techxplore.com)
20023.
Damning study of over a million kids finds myocarditis only in the vaccinated (theblaze.com)
20024.
Patient(s) Zero (profgmedia.com)
20025.
Gemini AI threatened me with death – documented evidence (sites.google.com)
20026.
JPMorgan deploys tech to monitor junior bankers' working hours (ft.com)
20027.
Terence Tao – Kepler, Newton, and the true nature of mathematical discovery (dwarkesh.com)
20028.
Remote Updates on Raspberry Pi Connect (raspberrypi.com)
20029.
Tooling Is the New Model (blog.herlein.com)
20030.
Peer-to-peer sync for a reading app with mTLS, CRDTs, and HLCs (tech.stonecharioteer.com)
20031.
Kache: An sccache alternative that deduplicates artifacts across worktrees (kunobi.ninja)
20032.
PredMart – Borrow USDC against your Polymarket prediction market shares (predmart.com)
20033.
We Must Securitize Ourselves (twitter.com)
20034.
Edward Jones insists AI will not replace its $2.5T financial adviser network (ft.com)
20035.
Platforms for charging wireless cars now fit on a bench, no test track needed (ieeexplore.ieee.org)
20036.
Beddel – Define AI workflows in YAML, run them with one command (github.com)
20037.
FreeBSD, Caddy and PHP – a perfect match (2022) (it-notes.dragas.net)
20038.
REPL is dead. Long live REPL (twitter.com)
20039.
Bitfield Pitfalls (os2museum.com)
20040.
The Backtracking Blueprint: The Legendary 3 Keys to Backtracking Algorithms (youtube.com)