Show newer

does anyone know how to typeset «t» in latex. detexify isn't being useful

Hazel :verified_dragon: boosted

fun types.pl admin facts:

one of us tells the truth. one of us lies. one of us does a third, secret thing

me when i literally (Deref 'r15 (* 8 offset))

side effect of my current displayname is that every time i get a new account signup the mailer calls me elon musk

Hazel :verified_dragon: boosted

we're going down for an indefinite amount of time (hopefully short!) starting at 1PM EST this Saturday, November 12th

the version of Mastodon on this server is 1500 commits behind upstream so I should probably merge it soon

Hazel :verified_dragon: boosted
Hazel :verified_dragon: boosted

fun types.pl admin facts:

who would've guessed!! i too am gay!!

Hazel :verified_dragon: boosted

we have 400 users. we have over 400 users. jesus christ

why do i have 562 followers. when'd that happen

like i'll accept both but the first one's funnier

Show thread

the unspoken rule is that honestly i'm more likely to accept your application if you put down

"hi im <x person> and i like women" or something

as opposed to "PL researcher at UWhatever studying refinement types looking to connect to my colleagues"

this is probably a reflection on my moral and/or professional character. i don't really care

Show thread
Show older

Hazel :verified_dragon:'s choices:

types.pl

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