FFS h/t @michaelhoffman
https://www.theurbanist.org/2023/03/17/st3-misunderstanding/
A Mastodon instance for programming language theorists and mathematicians. Or just anyone who wants to hang out.
