7 August 2025
Getting started with CodeQL, GitHub's declarative static analyzer for security
How to write your first CodeQL query
tutorial
25 May 2023
Functional Python, Part III: The Ghost in the Machine
Commandeering techniques from richly typed, functional languages into Python for fun and profit. In this episode: Testing strategies.
19 January 2023
Functional Python, Part II: Dial M for Monoid
Commandeering techniques from richly typed, functional languages into Python for fun and profit. In this episode: Typeclasses and continuation-passing style.
15 December 2022
Bazel and Nix: A Migration Experience
Getting an old Make based project building again after 10 years with the help of Bazel and Nix.
1 November 2022
Hard user separation with NixOS
Setup two encrypted partitions with a shared Nix store
8 September 2022
Functional Python, Part I: Typopædia Pythonica
Commandeering techniques from richly typed, functional languages into Python for fun and profit. In this episode: Gradual typing and algebraic data types.
4 November 2021
A Haskell memory leak in way too much detail with Cachegrind
Small tutorial on using valgrind to find hot spots in ghc and other Haskell programs