Chris Warburton’s Homepage
I’m a Free Software advocate, Physicist, Computer Scientist and metal head. I currently live in Birmingham, UK.
This is a place for me to collect thoughts and experiments, mostly around programming languages and artificial intelligence.
Pages are organised into the following overlapping categories:
Blog
A FINO stack of rants, hacks, opinions, etc. Updated frequently but rarely revised.
- SK logic in egglog: part 2, property-checking extensionality -
- SK logic in egglog: part 1, encoding and reduction -
- Git pages update -
- Dependency solving in Nix -
- Renaming files inside tarballs -
- Nix caching on a LAN -
- Lazy Test Generators -
- The Backwards Compatibility of Text -
- Nix from the bottom up -
- Boltzmann RAM -
Projects
A collection of thought-out, carefully managed articles and demos. Infrequently updated, but hopefully accurate.