Show newer

I feel like a boomer whenever ppl talk about VR lmao

purple is winning, which I think I was kind of expecting, because it's the most deep and vibrant colour out of the ones here
however there are absolutely no votes for yellow, because the yellow is kind of a gross shade, which makes me want to get it even more to add to my collection of yellow things that I own that are in very unappealing hues

Show thread

Why can't I have both a poll and an image

Show thread

I'm gonna get anodized titanium not niobium but what colour should I get

Alcohol 

I think alcohol just leads to an unfun time for me lol
I mean some alcohols straight up give me headaches and if it doesn't (like gin!) I just get increasingly nauseated especially if I also have food lol
Every time I'm like ok I won't have alcohol this time and then I forget about that and I'm like heehee intoxication

Show thread

I honestly don't think I could define subtraction for the church numerals off the top of my head lol

Food 

I also had SO much food at friendsgiving. I'm not sure if I'm going to regret this lol
I'll find out in a few hours. we'll see if I'm laying in bed unable to sleep due to reflux

Show thread

Alcohol 

I had too much gin at the start of the night and now I don't feel great lmao

jonoodle :dragnloaf: boosted

I better make sure this time either two derivations of the same term translate to the same thing or I don't need that property at all
If I have conversion I probably will need it. rip

Show thread

Here I am again... doing a syntactic proof AGAIN...

oh NO I forgot the Happy Fits are in Philly on the 18th but I'm flying back on the 14th
can't go to their show after all :(

re: POPL finances 

they're murphy wall beds, which is pretty funny

Show thread

re: POPL finances 

airbnbs are more expensive than hotels lol
I found a different hotel nearby, it's 343$
I bookmark

Show thread

POPL finances 

ok I know how much I can be funded. looks like conference hotel for three days is 555$. POPL conference registration itself is 515$. ok do I really wanna go if only the chunk I know I can get reimbursed for is guaranteed

Show thread

has a compelling and clearly written case as to why it was/is important for the applicant to attend the conference. Make sure that you explain why this conference is important to your professional development. Vague explanations that can apply equally to any conference will hurt your application.

POPL... fun... PL friends...

Show thread

the GAPSA travel grant application is closed for this term :/

ok enough messing around with universes. I need to start ticking things off my growing todo list

Show older
types.pl

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