Join Nostr
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.
Public Key
npub1lrcd67ujxcltqlntzgfj9sqkxqputpc8udp5f9vj363n0qgrf39qvvdn2j
NIP-05 Address
[email protected]
Profile Code
nprofile1qqs03uxa0wfrv04s0e43yyezcqtrqq79sur7xs6yjkfgagehsyp5cjspz4mhxue69uhhyetvv9ujuerfw36x7tnsw43qz9thwden5te0wfjkccte9ekk7um5wgh8qatzqyxhwumn8ghj7mn0wvhxcmmvg8lvde
Publishing to