Sorry, who is “he”? Turing or Djikstra? Both make sense, just wondering who you are referring to.

I thought Knuth is the developer of TeX, not LaTeX… That being said, I am not overly fond of the things coming out of Stanford in that generation, like lisp, TeX, and LaTeX.

Because of anonymity, I am gonna voice some strong opinions ;) These tools feels very much like the typical products of “west-coast PL”: they feel hacky, way too flexible and end up doing nothing well, and definitely born out of the whole “hacker culture” and “engineering culture”.

Maybe Scheme and Racket is better, but I never spend the time to look into them.

Dude, LaTeX one of the worst piece of software that is still prevalent today, perhaps the only thing worst is Microsoft Word (and similar WYSIWYG thingy).

I heard Turing is a quite open-minded and outgoing person, I feel he might have a okay chance of giving LLM a shot. On the other hand, I feel there is no way Dijkstra is gonna vibe with LLM.