- Workshop on Computability Theory Series
- Bringing computability theorists together.
- Computability Theory Homepage
- Algorithmic Randomness FRG Homepage
- Home page for an NSF Focused Research Group that included me.
- 2nd FRG Workshop on Algorithmic Randomness
- Hosted in Madison, May 27–31, 2009.
- Computability & Complexity in Analysis Network
- LaTeX for Logicians
- LaTeX on a Mac
- There are many options for writing LaTeX under OS X, but nothing that feels as right to me as WinEdt felt under Windows.
I use TextMate (usually €39, but only €33.15 with the educational discount), which is a general text editor with a great macro bundle for LaTeX.
Anybody who wants to convert me to their Mac TeX solution is encouraged to do so.