Wyatt Gill Low-Level Programming | HPC | λx.x Languages & Technologies Rust Nix C++ Haskell Lean Linux Git Favorite Papers An Unsolvable Problem of Elementary Number Theory - Alonzo Church In Search of an Understandable Consensus Algorithm - Ongaro & Ousterhout Connect