Remote
udonchy 
@ionchy@types.pl
mastodon 4.8.0-alpha.2+glitchionchy ("yawnchy") with a lowercase 𝚒
MSc @ SPL ∈ UBC ⊦ PhD @ PLClub ∈ UPenn
🏳️🌈 
308 Followers
419 Following
50 Posts
Joined October 24, 2020
pronouns:
he/they
website:
xmpp:
incontinental breakfast
Replying to
@andrejbauer Typst catching strays out here by association lol
I don't think there's anything inherently Typst's fault here just as if Myst had very poorly generated LaTeX
fault tolerance is when I am loved in spite of my flaws
Replying to
how is registration for mathematics' largest conference held in the Philly Convention Centre, an actual conference hall, 620$ full price and 250$ for students but PLDI is 930$ full price and 750$ for students
Replying to
they don't feed the mathematicians is why. they only get coffee and are expected to turn them into theorems straightaway
I have infinite collaborators also
Replying to
not to rehash every argument we've had about PL conferences over and over again
I got a mixed fruit bowl and am once again reminded that I am still very mildly allergic to various melons
regional indicator symbol U
negative squared latin capital letter B
regional indicator symbol C
Replying to
what is the essence of pineapple. how do you even do that
Replying to
@david@types.pl imagine being the copywriter whose job was to edit the novel with a miserable copywriter
Replying to
Replying to
Replying to
@totbwf ngl normal search engine queries for CBPV also give me chronic bee paralysis virus all the time lol
Replying to
finally we can stop arguing about what the A stands for
Replying to
I should've opened this in nvim I have everything set up there anyway smh
men who take up too much space in the elevator are not valid actually