Git on pkarr
Full post: Git on pkarr
Blog
Latest posts
DNSLink on pkarr
Full post: DNSLink on pkarr
PKDNS
Full post: PKDNS
SHA on the fly
Full post: SHA on the fly
content-link
Full post: content-link
Multibase CLI
Full post: Multibase CLI
Rationalising Denominators 6: Rationalising Denominators
Full post: Rationalising Denominators 6: Rationalising Denominators
Rationalising Denominators 5: Roots of Unity
Full post: Rationalising Denominators 5: Roots of Unity
Mobile NixOS on PinePhone
Full post: Mobile NixOS on PinePhone
Finite-choice logic programming
Full post: Finite-choice logic programming
Upgrading Ubuntu’s Nix
Full post: Upgrading Ubuntu’s Nix
Git in Nix via IPFS
Full post: Git in Nix via IPFS
Turing machine tapes
Full post: Turing machine tapes
Rationalising Denominators 4: Ratios
Full post: Rationalising Denominators 4: Ratios
Rationalising Denominators 3: Sums
Full post: Rationalising Denominators 3: Sums
Rationalising Denominators 2: Products
Full post: Rationalising Denominators 2: Products
Rationalising Denominators 1: Fractional Powers
Full post: Rationalising Denominators 1: Fractional Powers
Determinism
Full post: Determinism
Nix is a build system
Full post: Nix is a build system
Lock Files Considered Harmful
Full post: Lock Files Considered Harmful
Spigot, and rational approximations
Full post: Spigot, and rational approximations
SK in egglog: part 4, extensional equality
Full post: SK in egglog: part 4, extensional equality
Unlocking the GNOME keyring
Full post: Unlocking the GNOME keyring
SK logic in egglog: part 3, falsifying myself
Full post: SK logic in egglog: part 3, falsifying myself
SK logic in egglog: part 2, property-checking extensionality
Full post: SK logic in egglog: part 2, property-checking extensionality
SK logic in egglog: part 1, encoding and reduction
Full post: SK logic in egglog: part 1, encoding and reduction
Git pages update
Full post: Git pages update
Dependency solving in Nix
Full post: Dependency solving in Nix
Renaming files inside tarballs
Full post: Renaming files inside tarballs
Nix caching on a LAN
Full post: Nix caching on a LAN
Lazy Test Generators
Full post: Lazy Test Generators
The Backwards Compatibility of Text
Full post: The Backwards Compatibility of Text
Nix from the bottom up
Full post: Nix from the bottom up
Boltzmann RAM
Full post: Boltzmann RAM
Haskell Parsing
Full post: Haskell Parsing
Playing with MathML
Full post: Playing with MathML
Useful info I learned from playing with GSM
Full post: Useful info I learned from playing with GSM
Environment Variables are Dynamically Scoped Keyword Arguments
Full post: Environment Variables are Dynamically Scoped Keyword Arguments
More Testing Terminology
Full post: More Testing Terminology
Haskell Strings
Full post: Haskell Strings
The Metric Red Herring
Full post: The Metric Red Herring
Improving our Units
Full post: Improving our Units
GADT Casting
Full post: GADT Casting
Bottom, Null, Unit and Void
Full post: Bottom, Null, Unit and Void
Clever Code
Full post: Clever Code
Effective Property Checking
Full post: Effective Property Checking
Paths of Least Resistance
Full post: Paths of Least Resistance
Deleting SMS from SIM on OpenMoko
Full post: Deleting SMS from SIM on OpenMoko
Switching Browser
Full post: Switching Browser
Benchmarking
Full post: Benchmarking