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

Popular posts from this blog

Live Science - Leonardo da Vinci's Ancestry

David Turner Obituary by Sarah Nicholas Fri 24 Nov 2023