Low-Level Programming | HPC | λx.x
C++ Rust Python Nix Linux Git
- An Unsolvable Problem of Elementary Number Theory - Alonzo Church
- Interaction Combinators - Yves Lafont
- In Search of an Understandable Consensus Algorithm - Ongaro & Ousterhout