Mithuna Yoganathan on Training Mathematical Racehorses
See Modelling Dynamics of Dissipative Systems
This is one of the problems. My AI-trained brain says that it's about Galois Connections and Fourier Series, for what I imagine are obvious reasons. That's just by fuzzy pattern recognition on lambda abstractions.
Speaking of lambda abstraction, I just noticed something on the thumbnail of David Turner's lecture that's quite radical: call-by-value is not correct! That's a more striking way of saying that it is not normal forms, but head normal forms that are important. There is a connection to solvability.
Subscribe to The Looking Glass Universe.
Comments
Post a Comment