Joseph C. Osborn is a user on mastodon.social. You can follow them or interact with them if you have an account anywhere in the fediverse.
If you don't, you can sign up here.
I found this sad buddy in the paper I’m reading on powerset abstract domains…
https://mastodon.social/media/5dJsJ4HnFa-s43cabnM
