I just saw a post recommending Pathologic and it sounds familiar, was it one of yous here who played it
A Mastodon instance for programming language theorists and mathematicians. Or just anyone who wants to hang out.