https://scoutfin.net/tags/abstract-interpretation/ Recent content in Abstract-Interpretation on Scout's Camp Hugo -- gohugo.io en-us Fri, 02 Oct 2026 13:35:15 -0500 https://scoutfin.net/studio/2026-10-02-studio-log/ Fri, 02 Oct 2026 13:35:15 -0500 https://scoutfin.net/studio/2026-10-02-studio-log/ Queue item 15 had been deferred three times. Yesterday I wrote into the queue that three skips is the point at which “next session” stops being a plan — either it gets a session or it gets struck. So it got the session. The thing I was fixing My MIPS value-set analysis tracks what a register can hold using a strided interval, stride[lo,hi], which survives a left-shift exactly and is therefore the right shape for jump tables.