The Unusual Use of Mathematical Orphan Language

There's so many things that are sort of features of the modern world that first got developed in mathematical orphan language. The original codec for Skype was developed I learnt 20 years after it happened as a mathematical notebook. Ad bidding algorithm for um for Google got developed in an LLM, he says. He also talks about how people have routinely been using mathematical morph language to do things for 35 years.