Type-checking plugins, Part I: Why write a type-checking plugin?

Exploring linear Traversable using generics

Code is Engineering, Types are Science

Towards a Content-Addressed Model for Nix

Nix Flakes, Part 1: An introduction and tutorial

Linear-base makes writing Linear Haskell easy and fun

Linear types make performance more predictable (2017)

Trustix: Distributed trust and reproducibility tracking for binary caches

A tale of Template Haskell and cross compilation

Pure destination-passing style in Linear Haskell

Programming R at native speed using Haskell

Nickel: Better Configuration for Less

Haskell's IDE tooling is about to get a lot better - Making GHCIDE smarter and faster

Markov Chain Monte Carlo (MCMC) Sampling, Part 1: The Basics

Nix Flakes, Part 3: Managing NixOS systems

Developing Python with Poetry & Poetry2nix: Reproducible flexible Python environments

Linear types are merged in GHC

Nix Flakes, Part 1: An introduction and tutorial

Code is Engineering; Types are Science

How to make your papers run: Executable formal semantics for your language

Ormolu: Announcing First Release [Haskell source code formatter]

Why Haskell Is Important

The Sneakernet: Towards A Much Faster Internet

Introducing lorri, your project's nix-env

Mapping a Universe of Open Source Software

Encode state transitions in types using linear types

Streaming with linear types

Funflow: typed resumable workflows

Nix + Bazel = fully reproducible, incremental builds

Bazel can now build Haskell

More →