Loading…
View analytic
avatar for Russell O'Connor

Russell O'Connor

Blockstream
Software Developer
Canada
Lazy functional programing a la Haskell.
Developed lens-family and mezzolens Haskell libraries

Dependently typed programming and proofs a la Coq.
Worked on Galois theory proofs for the verification of the Feit-Thompson theorem.

Running NixOS on my laptop since 2010.

Find my secret blog by adding the word 'blog' to the URL of my homepage.

My Speakers Sessions

Saturday, November 17
 

3:00pm