@Tori is grading CS homework and one student had an interesting strategy for removing epsilon transitions: just erase the epsilon character.
He showed up eventually and I passed my PhD defense.
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?
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
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
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
A Mastodon instance for users who like the study of programming languages, formal semantics, types, or linguistics.