Show newer

The jazz place gives you a stamp to certify if you’re cool

Conferences should normalize asking for blooper reels of published research

Getting a HTTP 413 when I try to upload video @ionchy

Gonna avoid midlife crisis by the virtue of simply not being a mid

Got this as a graduation present for a friend and I can’t stop laughing at the ages 9+

How are you feeling about the upcoming school year (2022-2023)?
Please list up to 5 emotions that you are feeling. ⬇️​

Thank you for workshopping, this is the latest version

Show thread

This website has truly reached critical mass

I’m being punished for being extremely online on types.pl the bird site never did this to me

Show older
types.pl

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