Amazing that gutting once-prime mall anchor retail space to make vast, mostly-empty "indoor amusement parks" is a viable business model.
A Mastodon instance for programming language theorists and mathematicians. Or just anyone who wants to hang out.