Here I collect some links to some of my Mastodon posts, organized loosely by theme, together with some other miscellaneous posts outside of the Mastodon platform.

Mathematical topics:

Metamathematical or philosophical musings:

AI, proof assistants, and other machine assistants:

Miscellaneous

I have found that answering MathOverflow questions sometimes provide an opportunity to make a broader point beyond the narrow scope of the original question. Here are some selected answers of mine in this vein:

Also, here are some links to some of my articles and interviews outside of Mastodon: