i often think about how there was a whole generation of "PL for blockchain" phds and i can only guess this was the result of poor advising...
some of those students did go on to be very successful, actually, to be fair. but five years is a long time to spend thinking about the blockchain, and I mourn for what they might have done in that time with better advice.
