Stories by ghuntley

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

Manage Certificates on NixOS Using Acme and Google Domains

The Elasticsearch Rant

.NET C# Debugger will remain proprietary and closed source in new VSCode tooling

Nix/NixOS S3 Update and Recap of Community Call

Melbourne and Sydney ‘ground zero’ of Australia’s rental crisis

SPDX: Add Prosperity-3.0.0 Software License

1
2
3
4
5
6
7
8
9
10