Recent Posts

Alex Ross picks on eMusic again

2 minute read

Continuing a tradition from last year, here’s what you can find on eMusic from the list of recommended 2008 recordings published by Alex Ross. (Note that Cap...

Machine-verified formal mathematical proofs

2 minute read

A departure from my usual topics, in remembrance of my college math classes (and with a nod to Mozilla folks working on related areas like automated testing ...