Places you can find me beyond this site. Edit content/pages/elsewhere.md to fill these in.

§1Code

GitHub, occasionally. Most of what is interesting is private.

§2Reading

A long-neglected reading list lives at to be filled in.

§3Social

I do not use social media much. The contact page is the better address.