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.
- Determinism -
- Nix is a build system -
- Lock Files Considered Harmful -
- Spigot, and rational approximations -
- SK in egglog: part 4, extensional equality -
- Unlocking the GNOME keyring -
- SK logic in egglog: part 3, falsifying myself -
- SK logic in egglog: part 2, property-checking extensionality -
- SK logic in egglog: part 1, encoding and reduction -
- Git pages update -
Projects
A collection of thought-out, carefully managed articles and demos. Infrequently updated, but hopefully accurate.