• Beyond Markdown

    an essay about the pain points I encountered in developing the CommonMark spec (for a rationalized version of Markdown), and ways they could be avoided by making a few changes in the syntax.

  • Philosophy journals on the web

    a list of links to philosophy journals accessible on the web from UC Berkeley connections

  • Alonzo Church JSL reviews

    a list of links to Alonzo Church’s reviews in the Journal of Symbolic Logic