mathr
/
blog
/
#
Undecidable
Some old tunes from 2001 that I found on a hard disk image.