Gleefully opened blind for the first time in a couple of years to revel in some meta schadenfreude. But then, there was this "Hold my beer" moment!
Software Engineer - Interested in systems, formal verification and PL. Day job - Real-time systems, DevOps.
Currently learning: guix, Rust, Parenting
Code doodles: https://github.com/tinverse/tsm
https://github.com/tinverse/noddy
Location: Irvine CA