Strange Loop

Roy

Brian McKenna

Brian McKenna

Atlassian

Learned to program by starting with JavaScript. Now calls himself a functional programmer and proponent of proofs as programs. Spends a lot of time trying to combine these distant worlds.