https://ondras.github.io/rri/ omg
hehe
oooh there's a version with lakes
A Mastodon instance for programming language theorists and mathematicians. Or just anyone who wants to hang out.
hehe