Scale By The Bay 2018: Russell O Conner Interview

ai.bythebay.io Nov 2025, Oakland, full-stack AI conference Scale By the Bay 2019 is held on November 13-15 in sunny Oakland, California, on the shores of Lake Merritt: https://scale.bythebay.io. Join us! ----- Russell O'Connor Blockstream Software Developer Canada Websiter6.ca/ 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.