How do I find people on this thing? I type people's name in the search bar and nothing ever shows up... Is this a problem with the instance I'm on?

So @lorisdanto was pretty puntastic as session chair yesterday at #SPLASH.

"If something is free, that just means you're the product", I say, squinting mistrustfully at the Sun

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