Charles's and ADA's analytical approach reminds me of the evolution of object oriented programming that got bits selected as it was used for it's ease of use for business applications but slowly programmers are learning that all this functional programming stuff that has tons of academic work behind it is actually really useful and rediscovered the value of mathematical rigour. This is especially suitable for crypto where correctness and being auditable is vital. Whether the Ethereum hare trips up on a unforeseen hurdle giving the Cardano tortoise a chance is the question. <br><br>5 hours and yet there's so much that could go deeper or included. Mina protocol was mentioned but not mimblewimble. Linking GPT3 to the semantic web and Wolfram Alpha. Central Bank Digital Currencies were skirted around.<br><br>I like how both Lex and Charles remember names and credit those doing the research so we can look them up and go down those rabbit holes.