#TLA+

Formally verified distributed locks for sandboxes

I’m wrapping up my internship at Modal, where I worked on our new, massively scalable sandbox architecture.