Stories by ghuntley

Optimizing Haskell Code for Runtime Verification: Part 2

My thoughts on OCaml

The Nix, OpenGL and Ubuntu Integration Nightmare

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

9 10 11 12 13 14 15 16 17 18