Metamath Music Page

Very interesting project about the sonification of mathematical proofs, that's also used to analyse sound. The proofs are converted into MIDI for sonification.

Read more at us.metamath.org/mpegif/...

Deepest Sender

I'm using the Deepest Sender extension for Firefox, and just wanted to check it was working. I know no-one's reading this yet, but with the extension I might find the time to write more here.