ra’s Twitter Archive—№ 48,512

@cfbolz @impiaaa virtual stack + overflow/underflow makes a ton of sense. that enables both type and stack balance checking at each branch. weird how much of this stuff is folklore 😬