




18 January 2024
A look under GHC's hood: desugaring linear types
How GHC's design informs linear types

12 October 2023
rhine-bayes
Use monad-bayes and rhine in your interactive machine learning application








1 November 2022
Hard user separation with NixOS
Setup two encrypted partitions with a shared Nix store


20 September 2022
Optimizing Nickel's Array Contracts
A short dive into Nickel's reference interpreter

25 August 2022
Introducing the Scalable Build Systems Team
Introducing the Scalable Build Systems Team




19 January 2022
Why Liquid Haskell matters
On the relevance of Liquid Haskell in programming languages

























