All Posts

Theory

• Ogdens’ Theorem
• Proof By Diagonalization
• Rice’s Theorem

Programming Languages and Compilers

• Hacking a Pass Together in LLVM’s OCaml Bindings