recent posts
| Lean, Advent of Code, and Sigma Types | 22-12-2023 |
| Bridging the Gap: Engineering Managers and Trust | 20-11-2023 |
| How I Nix | 24-01-2022 |
| Always Knew | 01-01-2022 |
| The Functor Family: Profunctor | 22-01-2020 |
| The Functor Family: Contravariant | 07-01-2020 |
| The Functor Family: Bifunctor | 02-01-2020 |
| Hire and Train Haskell Junior Developers | 30-12-2019 |
| Functor-Of | 12-04-2019 |
| Quantifiers in Agda | 17-02-2019 |
| Curry-Howard Correspondence Example | 02-02-2019 |
| Classical Logic in Haskell | 14-12-2018 |