Stories by ghuntley

Defunctionalization with Dependent Types

Nixica – Nix with Gitlab Startup Experience

Data races are bad (OCaml/Jane Street)

I Moved from Gitpod to Goorm

Load Balancing (Visualised)

Take Control of Your $Home

Baking Images with Nix for Robust Private Networks at Bowtie

Can PL theory make you a better software engineer?

Falsify: Property-based testing with internal integrated shrinking

Python Monorepo: An Example. Part 1: Structure and Tooling

Explainer: File Types and Extensions

Fundraising for the Nix Documentation Project

Weeknotes: A new LLM CLI tool, plus automating my weeknotes and newsletter

Nix Chats: How to Run a Windows/macOS VM on NixOS (With Geoffrey Huntley)

An abstract example of refactoring from interaction-based to property testing

A Safer High Performance AV1 Decoder

Introducing Trurl: trurl is a tool in a similar spirit of tr but for URLs

I for one welcome our GPT overlords co-workers

A Bloomberg Donation

4
5
6
7
8
9
10
11
12
13