Streaming with linear types

Funflow: typed resumable workflows

Nix + Bazel = fully reproducible, incremental builds

Bazel can now build Haskell

GHC compiler plugins in the wild: typing Java

Encode state transitions in types using linear types

Diversity through inline code

Typing Nix

Linear types make performance more predictable

A new ecosystem for Haskell: the JVM