My FLOPS 2022 keynote talk: Adventures in Building Reliable Distributed Systems with Liquid Haskell

[lindseykuper]

New blog post! New blogging platform! New domain! Now with HTTPS! Hooray!