If I know (of) someone who might be working on something I want to pursue, is it considered polite to reach out and ask whether.. well, first, they're actually working on that?
Just want to make sure I'm not stepping on anyone's toes, I guess
@amy sounds like good manners to me
A Mastodon instance for programming language theorists and mathematicians. Or just anyone who wants to hang out.
@amy sounds like good manners to me