you kids and your virtualistic realities

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

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

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

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

Alcohol

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

jonoodle boosted

types.🇵🇱

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

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

re: POPL finances

airbnbs are more expensive than hotels lol
I found a different hotel nearby, it's 343$I bookmark 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

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

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

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