Stories by chriswarbo

Multibase CLI

Git in Nix via IPFS

SK Logic in Egglog

Dependency Solving in Nix

Falsify: Hypothesis-Inspired Shrinking for Haskell

The Backwards Compatibility of Text

Nix from the Bottom Up

Logical Induction for Software Engineers

Distributed Mutable Containers

An Introduction to Rational Trigonometry and Chromogeometry

Open Cobalt: open-source virtual world browser and toolkit

Bad Universal Priors and Notions of Optimality (2015)

Environment Variables Are Dynamically Scoped Keyword Arguments

Platform for Privacy Preferences Project (P3P)

More Testing Terminology

The Metric Red-Herring

Minimalist Programming Languages (2014)

Curry your calls, uncurry your returns

Better Currying in JavaScript (2012)

Show HN: Haskell Theory Exploration