Conrad loves audacious hacks, and inspiring people to train their coding muscles. He sees trading systems as a fantastic proving ground for cutting edge technologies, with natural competition and access to resources.
Before trading he worked on low-latency streaming servers for audio/video at CSIRO, Pixar, Wikimedia and Renesas Japan. He studied at Kyoto University, developing a love of Haskell and respect for type theory.
YOW! Lambda Jam 2015 Brisbane
Pure Consensus in a World Full of Failure
TALK – WATCH VIDEO
Distributed consensus protocols are notorious for doing people’s heads in. Machines fail and networks lag, which are unfortunate consequences of entropy. Without loss of generality we can assume that the machines despise us, our only hope is to enchant them with correctness proofs, and that we must somehow convince them that safety and liveness are our primary moral concerns.
This talk introduces a new Haskell implementation of Raft, deconstructed as a menagerie of cooperating abstractions for communication, storage and control. A pure protocol description allows local testing and validation of exactly the code that is run on a production cluster. We pause to consider denotational semantics for, like, 30 seconds (“What does it mean to be a protocol?”) before tumbling into the rabbit-hole of code that deals with machines who can’t even agree on what time of day it is.
All attendees will receive a free monad.