australia - sproul.xyz

Michael Sproul

Archive

Announcing the Australian Senate Simulator 3000 - November 17, 2017

Navigation

Home
About
Papers
Archive

Tags

algorithms australia bitcoin blockchain btrfs capitalism coq databases democracy distributed ethereum functional-programming haskell how-to linux politics python quine rant religion research rust security tech verification

All content by Michael Sproul and licensed under a CC-BY-SA 4.0 license (source).