In celebration of the the Goldwasser-Micali Turing Award, Avi Wigderson wrote the lyrics for two songs based on familiar tunes. They were performed by a Malaysian singer found on Mechanical Turk (Avi promises a more professional version some day). The songs and lyrics are included for your enjoyment:
Can we expect a live performance by ‘The Positive Eigenvalues’ ?