Monthly Highlights
11971.
Forking Dangerous (blog.danwald.me)
11972.
Z3 Theorem Prover (github.com)
11973.
Is Descartes the father of Agile development? (lengrand.fr)
11974.
Speeding up pgstream snapshots for PostgreSQL (xata.io)
11975.
Are AI Bots Knocking Cultural Heritage Offline? (glamelab.org)
11976.
Shade-Arena: Evaluating Sabotage and Monitoring in LLM Agents [pdf] (assets.anthropic.com)
11977.
Geometry and the Imagination [pdf] (math.dartmouth.edu)
11978.
AI understands emotion better than us especially emotionally charged situations (livescience.com)
11979.
Gilles Martin identifies neurons associated with suppression of binge drinking (umassmed.edu)
11980.
Detection and neural encoding of whisker-generated sounds in mice (sciencedirect.com)
11981.
The Necessity of Reliance on God (jacquesmarais.substack.com)
11982.
Show HN: Claude Slash Command Suite inspired by Anthropics best practices guide (github.com)
11983.
Show HN: Agentic Trust – Enterprise MCP Server Platform for Secure AI Agents (agentictrust.com)
11984.
11985.
Why do Sublime Text and VS Code use Ctrl-Shift-P for the command bar? (digitalseams.com)
11986.
6 Facts About Indigo That Might Surprise You (thethingcompany.substack.com)
11987.
The Zoox robotaxi serial production facility (zoox.com)
11988.
Switching on a silent gene revives tissue regeneration in mice (phys.org)
11989.
Counting vs. Sampling [pdf] (math.cmu.edu)
11990.
Introduction to Random Graphs [pdf] (math.cmu.edu)
11991.
Show HN: Faceghost – Hide unwanted posts from your FB timeline (github.com)
11992.
One-man Lovable competitor sold for $80M (calcalistech.com)
11993.
Why nuclear energy is not the answer to solve climate change (oneearth.org)
11994.
Permission-Based Approach Makes Way for a New Business Model (cloudflare.com)
11995.
NYC to launch pilot for universal child care (gothamist.com)
11996.
Microsoft/edit: We all edit (github.com)
11997.
The Vera C. Rubin Observatory's first images are stunning – and just the start (npr.org)
11998.
How to make task list less depressing? (workplace.stackexchange.com)
11999.
Always get the best LLM performance for your $?
12000.
The AI-boom's multi-billion dollar blind spot (cnbc.com)