Stories by ghuntley

AI knows what you did last summer

HashiCorp’s New Licensing: a new benchmark for presenting license change

How to Prevent GHC from Inferring Types with Undesirable Constraints

Technology stack transitions are hard

aussie vanlife free camping: a guide to working remote and not paying rent

Making OCaml 5 Succeed for Developers and Organisations

Five breakthroughs on the path to System Initiative

The Nix Flake Checker

NixCon 2023 – Darmstadt, Germany

Mostly Automated Proof Repair for Verified Libraries [pdf]

NixOS S3 Update and Short Term Resolution via AWS Sponsorship

Extensible Records in OCaml Using Dmap

Nix California Bay Area Meetup – June 23

DevPod Provider for Hetzner

Extensible Metatheory Mechanization via Family Polymorphism

Proving and Disproving Equivalence of Functional Programming Assignments

Building a platform that open sources itself

Covering All the Bases: Type-Based Verification of Test Input Generators

The Best Parts of Visual Studio Code Are Proprietary

3
4
5
6
7
8
9
10
11
12