2019 Sep 07 Higher Kinded Types: Monads Sep 06 Higher Kinded Types: Functors Aug 10 Common Algorithms Jul 16 A Switchless State Machine Apr 28 Programming with Types 2018 Dec 31 Fold Nov 18 Notes on Encoding Text Oct 13 Arithmetic Overflow and Underflow Sep 09 Clean Code: Types Jul 16 Implementing a Variant Type in C# Jun 23 IoC Containers 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