Haskell for all

Folklore trick for dollar-store dependent types

Type inference algorithm for biased record concatenation

Gentle tour of type inference for records

Announcement post for the override-utils Nix package

Freecoding improves broader programming proficiency

Type inference challenges for real-world JSON

Specifications do not address the limitations of agentic coding

Navigate a repository using topic modeling

AI dev tooling can do better than chat interfaces

Vibe coding isn't a silver bullet

The case for principled eval support

Structured inputs and outputs work work better than prose

Improve your prompts with better examples rather than better instructions

Post-mortem on the Nix Steering Committee's recent vote of no confidence

A Nix Steering Committee member's critique of the Steering Committee's effectiveness

How to infer the types of plain data, including unification

Using bidirectional type inference to infer JSON schemas for prompts with structured outputs

Answers to common Haskell questions related to inlining and specialization

A post outlining tricks for firewall privilege escalation

Why predictable development work is a red flag

A focus can quality can sometimes immediately boost productivity

Why streamlined interview processes are better

A post explaining the advantages of do notation and RecordWildCards over Applicative operators

An explanation of the selection bias that leads to poor error messages

The pitfalls software engineers encounter when creating domain-specific languages for less technical users

A type checking proposal that doesn't employ unification variables.

An announcement post for the opentelemetry-plugin Haskell package

A rundown and critique of the NeoHaskell project

An announcement post for a maintained GHC plugin for HLint

A trick to elide newtypes around Haskell strings and numbers

Design proprietary software as if it were open source software

Announcement post for improved terraform bindings for NixOS

A post explaining how nixos-rebuild is a cross-platform tool that can deploy remote NixOS systems

Blog post contextualizing recent work to upstream Linux builders for macOS

A post explaining the design behind a new Nixpkgs feature for building Haskell packages incrementally

A guide to uploading Nix dependencies to a cache efficiently and reliably

An explanation of isomorphisms in the context of the Haskell programming language

An announcement post for a Haskell rewrite of nix-serve named nix-serve-ng

Explanation of the Nix ecosystem's abstraction layers

A tour of progressively more robust ways to package a Haskell file using Nix

An announcement post for a Haskell package for default-valued Maps

A post explaining why bidirectional type-checking is popular within the programming language theory community

Announce post for the Grace browser, which translates functional code to interactive HTML

A description of an architectural pattern commonly found in many software distributions

A blog post that is a long-form answer to a question originally asked on Reddit

A post touring resources you can use to learn how to implement a type checker or type inference algorithm

This post introduces a Haskell eDSL implementing a subset of PlusCal along with a tour of the implementation

An survey on the challenges designing a type system for Nix

A post that explains why and when Applicative type constructors should provide lifted Semigroup and Monoid instances

An educational post explaining monad morphisms and their laws