@Tori is grading CS homework and one student had an interesting strategy for removing epsilon transitions: just erase the epsilon character.

How do you get apple cider in the UK? Like, the fall treat? Not vinegar, not alcoholic.

I got a bottle of champagne delivered to my door today. No card, no idea who it's from.

The whole "stay up late for a paper deadline" thing feels less significant when you're disorientated by perpetual lockdown and were probably going to be awake at 4am anyway.

He showed up eventually and I passed my PhD defense.

Show thread

What do you do if your advisor forgets to come to your defense?

The UK needs to learn that salsa is different than pasta sauce

How is it faster to transfer money from a UK bank account to a US bank account than it is to transfer money between two US accounts?

I'm checking the list of POPL 2021 papers to see if there's any potentially memeable ones (the big one this year being The Fire Triangle, of course), and here are some contenders:

Why are git submodule init and git submodule update different commands? Yes I know you can do git submodule update --init --recursive but why the confusion?

The only use case I can think of is if you have multiple submodules that conflict somehow with each other and can't be checked out at the same time, but why design a repo like that?

re: booze 

have drunk a lot of old spiced j today. retroactively saying it's celebrating the election being finally over, but actually it was just dissertation writing fuel

Show thread

booze 

i went from being very anti spiced rum to pro spiced rum. spiced rum is good.

"take care of the planet, it's the only one we've got" ---> "the planet is a linear resource and cannot be duplicated, only consumed exactly once"

Thanks to our research grant I have a fancy new MacBook. It feels really weird to use a laptop that costs as much as a used car.

politics 

with elections I always try to assume the dumbest possible thing will happen and it looks like that's what's going to happen today

Show thread

politics 

I hate the nyt needle. The needle is bad. Why do they show us the needle.

@Tori got put in Twitter jail for tweeting what she thought about landlords

cw: alcohol 

Also at this point I have consumed enough gin that I can no longer deal with latex

Show thread
Show older
types.pl

A Mastodon instance for users who like the study of programming languages, formal semantics, types, or linguistics.