Currently geeking out as WordPress developer at WebKinder and student of computer science at ETH.
Building arbitrary Boolean functions with NAND gates
Modeling ordered pairs using nothing but unordered sets
Defining my current understanding of a URL as EBNF
There are infinitely many prime numbers and false proofs