@Tori is grading CS homework and one student had an interesting strategy for removing epsilon transitions: just erase the epsilon character.
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
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
@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
postdoc at kent, recently phd student at indiana
make functional programs fast using types
socialism is cool