Tom de Jong

Miscellaneous

• ASSUME — Seminar series on univalent mathematics
• Some useful LaTeX packages & tricks
• Accessing Microsoft Exchange's In-Place/Online Archive through Thunderbird via DavMail
• A Mathematician's Lament by Paul Lockhart.
  The critique of the mathematics curiculum in schools is not what stands out to me in this essay. Rather, it's that the author succeeded (in my opinion anyway) to explain what mathematics is truly about.
• Running PBs: 3000m 9.12 / 5K 15.57 / 10K 32.49 / HM 1.13.45