niss(e) • she/they • 32 • agda liker • please understand i never know what i am talking about • main @g
avatar by @dzuk
i love how the local time line on here fluctuates wildly between actual academics talking about serious topics and " #dorp"
all niss accounts eventually degrade to badly drawing cartoon animals
just found out exactly how reliant i am on being able to rotate + zoom the canvas
#jats #nurp #flom #dorp
uncaptioned image its 2am Show more
@FirstProgenitor its from a pl paper
#dorp is spreading
this is so funny to me. wtf is dorp
cubical time theory
agdq = agda + qtt
*mathematician voice* oh shit a greek letter, better write it as fucked up as possible
I can't invite Conor McBride to types.pl because then we can't subtoot about him anymore
actually no it's probably "right tack gamma". thanks unicode
A Mastodon instance for users who like the study of programming languages, formal semantics, types, or linguistics.