I guess I should do an #introduction since a lot of people joined!
I'm Dev, a PhD candidate at UC Santa Cruz researching cheaper, more reliable storage, particularly SSDs. I'm not a PL person.
If you want my bio you can find it at https://sincerely.dev
This account however will be talking about birds, cats, food, coffee, humor, possibly cricket, and a lot of my non-research interests.
no time for facts, vibes only. This is a less-serious account for mutuals only you should probably follow @dev
A Mastodon instance for programming language theorists and mathematicians. Or just anyone who wants to hang out.