Forking Dangerous
(blog.danwald.me)
Monthly Highlights
11971.
11972.
Z3 Theorem Prover
(github.com)
11973.
Is Descartes the father of Agile development?
(lengrand.fr)
11974.
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.
11979.
11980.
Detection and neural encoding of whisker-generated sounds in mice
(sciencedirect.com)
11981.
The Necessity of Reliance on God
(jacquesmarais.substack.com)
11982.
11983.
Show HN: Agentic Trust – Enterprise MCP Server Platform for Secure AI Agents
(agentictrust.com)
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.
11989.
Counting vs. Sampling [pdf]
(math.cmu.edu)
11990.
Introduction to Random Graphs [pdf]
(math.cmu.edu)
11991.
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)
11998.
How to make task list less depressing?
(workplace.stackexchange.com)
12000.