16 Apr 2020 » I Hate Kotlin 13 Nov 2018 » Splitting a PDF with Table of Contents 18 Oct 2018 » Fun with Lattices 20 Sep 2018 » Fun with Fixpoints 20 Aug 2018 » Instrumenting the Trade* Benchmarks in DaCapo