Blog Posts

• 15 Jun 2015 » Circle City Con CTF Writeup
• 02 Mar 2015 » As Little Technology as Possible
• 24 Oct 2014 » Let's Write a Monad in Idris!
• 16 Oct 2014 » Stacked Type Signatures
• 03 Oct 2014 » Types as Tests
• 30 Sep 2014 » A Tale of Two Alls
• 29 Sep 2014 » Proving Time-Constancy of Equality
• 27 Jan 2014 » Things I Learned Writing Trapifier.py
• 23 Jan 2014 » On Set
• 21 Jan 2014 » Bitwise Galois Arithmetic