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… Advertisements

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.