Blog

Full post: Git on pkarr

Full post: DNSLink on pkarr

Full post: PKDNS

Full post: SHA on the fly

Full post: content-link

Full post: Multibase CLI

Full post: Rationalising Denominators 6: Rationalising Denominators

Full post: Rationalising Denominators 5: Roots of Unity

Full post: Mobile NixOS on PinePhone

Full post: Finite-choice logic programming

Full post: Upgrading Ubuntu’s Nix

Full post: Git in Nix via IPFS

Full post: Turing machine tapes

Full post: Rationalising Denominators 4: Ratios

Full post: Rationalising Denominators 3: Sums

Full post: Rationalising Denominators 2: Products

Full post: Rationalising Denominators 1: Fractional Powers

Full post: Determinism

Full post: Nix is a build system

Full post: Lock Files Considered Harmful

Full post: Spigot, and rational approximations

Full post: SK in egglog: part 4, extensional equality

Full post: Unlocking the GNOME keyring

Full post: SK logic in egglog: part 3, falsifying myself

Full post: SK logic in egglog: part 2, property-checking extensionality

Full post: SK logic in egglog: part 1, encoding and reduction

Full post: Git pages update

Full post: Dependency solving in Nix

Full post: Renaming files inside tarballs

Full post: Nix caching on a LAN

Full post: Lazy Test Generators

Full post: The Backwards Compatibility of Text

Full post: Nix from the bottom up

Full post: Boltzmann RAM

Full post: Haskell Parsing

Full post: Playing with MathML

Full post: Useful info I learned from playing with GSM

Full post: Environment Variables are Dynamically Scoped Keyword Arguments

Full post: More Testing Terminology

Full post: Haskell Strings

Full post: Improving our Units

Full post: The Metric Red Herring

Full post: GADT Casting

Full post: Bottom, Null, Unit and Void

Full post: Clever Code

Full post: Paths of Least Resistance

Full post: Effective Property Checking

Full post: Deleting SMS from SIM on OpenMoko

Full post: Switching Browser

Full post: Benchmarking