Andrew Miloradovsky is a user on mathstodon.xyz. 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.
#Sarcasm: form of speech where the listener is supposed to figure out whether the negation is assumed.
