All Posts

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