Referential transparency atop an imperative substrate https://archive.org/details/akkartik-mu-2021-05-31 (I finally figured out why my audio volume is so damn low. It was the headphones. Just taking them off and recording with the internal microphone made a huge difference.)

Nice how you're doing checkpointing from the ground up.

I just realized I never responded to this with a 💡 as I intended to. Checkpointing based on the trace is almost guaranteed to be extremely slow. I've only been thinking of it as a debug mode idea for that reason. Pressing

ctrl-s

to run a program in the sandbox vs

ctrl-a

to have it take over the whole computer gives a visceral sense of the overheads of the trace. The full-screen mode is much faster because there's no trace to maintain. Still a super cool connection though that I hadn't made before. Thanks!