Blog posts
Qualified Imports and Alias Resolution in Liquid HaskellSeptember 11, 2025
Reflecting away from definitions in Liquid HaskellSeptember 12, 2024
Let there be types: observable type sharing for GHC CoreAugust 15, 2024
smtlib-backends: faster SMT-LIB-based Haskell interface to SMT solversFebruary 14, 2023
A Semester of HLS: An Internship ReportJanuary 31, 2023
Optimizing NixOS SearchDecember 13, 2022
Implementing Bayesian Replica Exchange in ChainsailOctober 25, 2022
Optimizing Nickel's Array ContractsSeptember 20, 2022
Construction and analysis of the build and runtime dependency graph of nixpkgsSeptember 13, 2022
Safe Sparkle: a resource-safe interface with linear typesNovember 17, 2021
Hacking on Ormolu: An internship reportOctober 28, 2021
Eager vs. Lazy Instantiation: Making an Informed DecisionApril 02, 2020
Inferred or Specified Types? Your Choice!March 12, 2020
How to make your papers run: Executable formal semantics for your languageNovember 28, 2019
Bazel's Persistent Worker Mode for GHC: An Industrial InternshipSeptember 25, 2019
War Stories of Asterius: Numerics & DebuggingSeptember 12, 2019
Tweag Internship Programme 2019March 11, 2019
Tweag Internship ProgrammeFebruary 08, 2018
