i love when a random popup pops up at the same time as i press enter for something else but it stole window focus so pressing enter dismissed the popup and i have no idea what it was

Sign in to participate in the conversation

A Mastodon instance for programming language theorists and mathematicians. Or just anyone who wants to hang out.