11 September 2025
Qualified Imports and Alias Resolution in Liquid Haskell
The story of how I implemented qualified aliases in Liquid Haskell
internship
12 September 2024
Reflecting away from definitions in Liquid Haskell
Internship report: Extensions to the reflection mechanism of Liquid Haskell to handle functions from dependencies.
15 August 2024
Let there be types: observable type sharing for GHC Core
A tale of optimising GHC by improving sharing in its intermediate representation.
14 February 2023
smtlib-backends: faster SMT-LIB-based Haskell interface to SMT solvers
Announcement of smtlib-backends, a Haskell library providing a generic interface for interacting with SMT solvers using SMT-LIB
31 January 2023
A Semester of HLS: An Internship Report
An experience report on improving HLS during my internship at Tweag.
13 December 2022
Optimizing NixOS Search
An internship report on my experience working on improving search.nixos.org and my internship at Tweag
25 October 2022
Implementing Bayesian Replica Exchange in Chainsail
Tweag intern Abdellatif summarizes his internship, in which he augmented Chainsail with a Bayesian Replica Exchange scheme to improve sampling of multimodal distributions.
20 September 2022
Optimizing Nickel's Array Contracts
A short dive into Nickel's reference interpreter
13 September 2022
Construction and analysis of the build and runtime dependency graph of nixpkgs
A nixpkgs content database with graph building!
17 November 2021
Safe Sparkle: a resource-safe interface with linear types
On design choices to build a resource-safe interface for Sparkle using linear types
28 October 2021
Hacking on Ormolu: An internship report
An experience report on polishing Ormolu, the Haskell code formatter, during my internship at Tweag.
2 April 2020
Eager vs. Lazy Instantiation: Making an Informed Decision
This blog post describes the tradeoffs of the choice between eager and lazy instantiation of type variables in GHC.
12 March 2020
Inferred or Specified Types? Your Choice!
During my internship, I implemented the explicit specificity proposal to make GHC type signatures complete.
28 November 2019
How to make your papers run: Executable formal semantics for your language
How to use the Makam metalanguage to implement an executable formal semantics for a simple language.
25 September 2019
Bazel's Persistent Worker Mode for GHC: An Industrial Internship
I got the opportunity to work on Bazel's Persistent Worker Mode for GHC during my internship at Tweag. My goal was to improve the mode of communication between Bazel and the Haskell GHC compiler.
12 September 2019
War Stories of Asterius: Numerics & Debugging
I got the opportunity to work on Asterius, a new Haskell to WebAssembly compiler, during my internship at Tweag. My task was to get anything numerics-related stabilized in its compiled code.
11 March 2019
Tweag Internship Programme 2019
8 February 2018