On BibTeX

Only a few decades ago, I hear, CS papers were typewritten, with hand-drawn figures and hand-written greek letters. With the advent of computers, people began to use tools like troff, until we got tex, and then latex, making life much easier. I have no clue how people not at the same physical location co-wrote papers … Continue reading On BibTeX

GM Turing Award, words by Avi Wigderson

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: Crypto boy CryptoBoy lyrics Killer queen KillerQueen lyrics

Discrepancy, Graphs, and the Kadison-Singer Problem

Discrepancy theory seeks to understand how well a continuous object can be approximated by a discrete one, with respect to some measure of uniformity. For instance, a celebrated result due to Joel Spencer says that given any set family $latex {S_1,\ldots,S_n\subset [n]}&fg=000000$, it is possible to color the elements of $latex {[n]}&fg=000000$ Red and Blue … Continue reading Discrepancy, Graphs, and the Kadison-Singer Problem