All our posts

Eager vs. Lazy Instantiation

Inferred or Specified Types?
Your Choice!

Code is Engineering, Types are Science

Probabilistic Programming with monad‑bayes (3)

On linear types and exceptions

Tweag's Open Source Fellowship

A safer inline-java

Profiling Large Haskell Codebases

A Tale of Two Functors

Markov chain Monte Carlo Sampling (2)

Art in browser with Asterius

How to make your papers run

Untrusted CI using Nix

Probabilistic Programming with monad‑bayes (2)

Porcupine: Announcing First Release

Markov chain Monte Carlo Sampling (1)

Ormolu: Announcing First Release

Third-party Haskell libraries in Bazel

Bazel's Persistent Worker Mode for GHC

Probabilistic Programming with monad‑bayes (1)

War Stories of Asterius

Why Haskell
is important

Code Line Patterns

Revelations from repetition

considered harmful

Ormolu: a new Haskell formatter

Announcing inline-js

The Sneakernet: Towards A Much Faster Internet

Storing secrets in Terraform

Introducing lorri,
your project's nix-env

Capability is about free monads

Internships at Tweag

Kubernetes, KubeNix and kind

Declarative, Reproducible Jupyter Environments

Announcing clodl

The types got you

Mapping a Universe of Open Source Software

Harnessing the Power of Haskell in JupyterLab

TodoMVC in Haskell via WebAssembly

DIY benchmark history

Announcing capability

Asterius gets a JavaScript FFI

Funflow Example:
emulating Make

with linear types

Compiling Haskell to WebAssembly

Announcing Funflow

Stackage HEAD
is now live!

We're hiring!
Software engineers

Nix + Bazel

Implementing a safer sort
with linear types

Bazel now supports building Haskell

Internships at Tweag

Free monads for cheap interpreters

All about reflection

Making two garbage collectors be good neighbours

Parallelising your array code

Nix on the
Windows Subsystem for Linux

The Exodus to Streamgard,
an epic poem

Using Stackage for GHC regression testing

Announcing the
GHC DevOps Group

Array fusion with vector

How to compose streaming programs

Immutability and unboxing in array programming

GHC compiler plugins in the wild:
typing Java

Java from Haskell:
a tutorial

Tracking performance

Enter the matrix, Haskell style

Compact normal forms + linear types

Diversity through inline code

Array programming in Haskell

Encode state transitions in types
using linear types

I am a
functional programming evangelist

Streaming programs without laziness

R and Haskell:
best of both worlds with HaskellR

Typing Nix

We're hiring!
Technical evangelist

Linear types
make performance more predictable

A new ecosystem for Haskell:
the JVM

Haskell compute PaaS
with sparkle

Haskell meets large scale
distributed analytics

Stack + Nix =
portable reproducible builds

Programming R at native speed
using Haskell

We're hiring!
(Software engineer / devops)