CIRCLE WITH A DOT

Postdoctoral researcher in type theory. This account is chiefly intended for academic purposes.

Mastodon has 1 boolean (followership) to regulate two things:
(1) Whether you see someone's posts in your feed,
(2) Whether you can see someone's followers-only posts.
Because of (2), I review follower requests. If you want to follow me and your profile contains little or no identifying information, please drop me a message (triple dot -> direct msg) to identify yourself, e.g. with some git account.