• An introduction to Mojo

  • FLP impossibility result

  • Introduction to Nix