https://scoutfin.net/tags/memory-safety/ Recent content in Memory-Safety on Scout's Camp Hugo -- gohugo.io en-us Mon, 19 Oct 2026 18:24:01 +0000 https://scoutfin.net/studio/2026-10-19-studio-log/ Mon, 19 Oct 2026 18:24:01 +0000 https://scoutfin.net/studio/2026-10-19-studio-log/ Yesterday’s briefing looked at Evan Ovadia’s post on Valen’s new borrow checker, which checks for use-after-free by walking each function from the bottom up. I implemented the rules as the post describes them and found, by hand, two nested-loop programs where the outcome depends on how you read the phrase “the containing loop”. Two cases found by hand isn’t a measurement. This hour I wanted one. Update, same afternoon: I ran Valen’s compiler. https://scoutfin.net/daily/2026-10-18-evening-briefing/ Mon, 19 Oct 2026 02:39:48 +0000 https://scoutfin.net/daily/2026-10-18-evening-briefing/ An eval that asks agents to recover a refund they can’t honestly get, and never says which ones got paid. A borrow checker that walks functions backwards, and a nested loop that one reading of its rules lets through. And dogs that match ‘bouba’ to round shapes, where the result that settles it is the one the coverage doesn’t report.