@dabeaz I have feelings about people telling me we should fund research grants because the output benefits FAANG. Even if I considered FAANG to be ethically neutral, they have more money than God. If something benefits them they should pay for it.

In my mind, the F in FAANG will forever stand for "Foosball."

@dabeaz
You should see the other places.

@dabeaz We’ve been loosening our belts to cure software obesity for decades now.

(With apologies to Mumford; sorry I can’t find a solid reference to his New Yorker article from 1955.)

@dabeaz Not IDEs, types.

@dabeaz they have the ability to reduce complexity but that's very much up to the driver

@dabeaz immediate mode GUIs, it becomes way easier (at least for my brain) to write dynamic and complex user interfaces. and you can understand quite easily how it works under the hood, and write your own library if you want (good tutorial here on how to write your own from scratch: http://solhsa.com/imgui )

@dabeaz complexity theory

@dabeaz regex/DFA equivalence (and the limits of regex); Turing machine/lambda calculus/register machine all being equivalent.