Yahoo Sports Having Some Fun Again

Oh, those jokesters.



They also honored Robert Horry a while back.

Latex include vs input

In the process of putting together my dissertation, I found that if I write sections in different files and combine the results in the main tex file using \include{file}, I would end up with wasteful whitespace due to pagebreaks between sections. Apparently, \include did a bit more than I wanted for Sections, but did the right thing for Chapters:

http://www.tac.dk/cgi-bin/info2www?(latex)\include

What does the trick is to use \input and manually place \clearpage between chapters. Another bonus of using \input is that it can be nested -- files that are \input can have \input as well.

The Seventeen Provers of the World

The seventeen provers of the world:

http://www.cs.ru.nl/~freek/comparison/index.html

Seems like they could have provided more of a summary of this comparison. E.g., they could have provided "lines of proof script" for each, but I guess that particular comparison (or any one number) would be unfair.

I don't know Metamath, but the Metamath one looks strange.

"Sprinkles" on English Muffins

Random thought: What do you call the "sprinkles" on the top of an English muffin? Is it just a kind of bread crumb (i.e., it's just crumbled English muffin)?