Dear Winter: Be Over

Running in snow today stunk. I can't wait for everything frozen to melt so I can stop using the weather as an excuse to not train as much.


Mike Doughty is selling his most famous guitar.

Article about the guy waiting for Star Wars 3 HERE



<math>
Beginning to really understand Gallier's "What's so Special about Kruskal's Theorem and the Ordinal Gamma_0?".

I went to Rathjen's talk "The role of ordinals in proof theory" today, which Friedman wouldn't stop talking through.

It going to be ordinal notations all weekend.
</math>