XahTV 2019-03-25 Donald Knuth, TeX, Instruction Set Architecture, MathML, Mathematica etc

highlights, 1:08:20 why TeX sucks.

• The TeX Pestilence: Why TeX/LaTeX Sucks
• Programing Language and Its Machine
• [ Boolean satisfiability problem ] [ 2019-03-25 https://en.wikipedia.org/wiki/Boolean_satisfiability_problem ]
• [ Order theory ] [ 2019-03-25 https://en.wikipedia.org/wiki/Order_theory ]