like this.

$$\ll e \gg$$ isn't quite right

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

Hazel boosted

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 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 boosted

i'm gay

Hazel boosted

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

Hazel boosted

i'm also gay

pogramming languages

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

what's a compiler

this aged extremely poorly

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

Elon Musk

...bonus points if you manage to do both

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

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