Currently on hour 2.5 of @lexfridman recent epic podcast with Wolfram. Fun stuff I'm not convinced the formal-theory-of-everything is something that can exist, but all this graph rewriting business is cool to be sure