2018 Apr 15 Kami 2 Feb 11 Fibonacci Jan 27 Notes on OOP 2017 Dec 30 Evens before Odds Dec 10 Binary Relations Nov 09 Notes on Unit Testing Aug 13 24 Jul 20 Idris: Totality, Dependent Types, Proofs Jul 10 Singletons Apr 07 Data Structures and Algorithms Feb 25 A Heterogeneous Event Store Feb 20 Memory Management 2016 Dec 03 Notes on Error Handling Oct 16 Notes on Types Oct 09 Composable Generators Aug 17 Concepts and Modules Jul 06 Dependency Injection in C++ Apr 24 (Ab)using Maps Mar 11 Arguments and Smart Pointers Jan 07 Clean Code - Part 2 Jan 04 Clean Code - Part 1 2015 Dec 28 Hello World