{consciousness & sasquatches}

I’m a self-aware meat computer trying to find his way in the world. I have some anarchic tendancies, and consider myself an anti-capitalist despite working for a capitalist tech start-up…

I studied type theory and programming language semantics for my Honours thesis at the University of New South Wales, under the supervision of Ben Lippmeier.

I lifted the name of the site from a Reggie Watts video, the code from some guy on Github, and the garish aesthetics from The Mighty Boosh and Hiatus Kaiyote.

Code I’ve written is on GitHub, mostly Rust, Coq and Haskell stuff at the moment.

Music I’ve written is on SoundCloud.