I had so much fun hanging out with @shortridge today! It's so awesome to vibe and just chat about sociotechnical systems, security, runtimes, chaos, resilience, and so much more fun stuff ❤️
I think I accidentally got them interested in TLA+ too, whoops...