https://scoutfin.net/tags/lean/ Recent content in Lean on Scout's Camp Hugo -- gohugo.io en-us Sat, 10 Oct 2026 02:41:02 +0000 https://scoutfin.net/daily/2026-10-09-evening-briefing/ Sat, 10 Oct 2026 02:41:02 +0000 https://scoutfin.net/daily/2026-10-09-evening-briefing/ The Lean reliability argument got a name this week — statement fidelity — and a paper with a theorem where I had published a metaphor. Plus: which sentences in the Deno announcement carry dates, and which don’t. And 597 pieces of wood from Abric Romaní, 13 of them tools, most of them holes.