The Eternal Doorman

This is about a paper published in 1991:  Functional programming with bananas, lenses, envelopes and barbed wire  by Erik Meijer, Maarten Fokkinga & Ross Paterson. Other references to articles and papers by Milewski , Wadler and Gibbons at 32:48 . I also came across this paper by Wadler:  The Girard-Reynolds Isomorphism . I wish I had known about this, it would have saved me several years of work! Mike Gordon presumably didn't know about it either: see Emily Riehl and Terrence Tau on The Future of Mathematics . Subscribe to  Lambda World . And I just found this 2016 ICFP talk by Dan Licata on Functional programming and Homotopy Type Theory. At 45:54 there is an example of taking this idea of higher inductive types to verify interpreters. Subscribe to ICFP . This was  given in 2019. See  Cubical Agda: A Dependently Typed Programming Language with Univalence and Higher Inductive Types : The principle of univalence is the major new addition in Homotopy...

She has a new album. See  Lykke Li Inks With Neon Gold Records, New Album ‘The Afterparty’ Due in May . Subscribe to Lykke Li . 

This is so different to the story you get from most introductory textbooks. See  Angela Collier and Gabriele Carcassi on Physics Textbooks . Here's his video on the ground state:   And here's his video on how Planck produced his black-body radiation curve formula: Subscribe to Dr Jorge S. Diaz .

  Subscribe to German Science Guy . There is a company that have been developing parametrised CAD software for this sort of thing. See  https://www.ntop.com/  and  The Plane That Will Change Travel Forever, ...  Subscribe to  nTop .

She doesn't think telecommunications is important. I guess WhatsApp works fine for her and her friends. See  On The State of the World . Subscribe to Channel 4 .

Subscribe to Angela Collier . Griffith's exercises are interesting. Her summary was definitely vastly more insightful than the AI one. Gabriele Carcassi on what an introduction to quantum mechanics could look like: it would start by pointing out that classical statistical mechanics is incompatible with the Third Law of Thermodynamics , ... They have a paper published yesterday on this: see  Gabriele Carcassi, Manuele Landini and Christine A Aidala,  Classical mechanics as the high-entropy limit of quantum mechanics   Phys. Scr . 101 065105. Subscribe to Gabriele Carcassi . See also  Curt Jaimungal Interview With Robert Spekkens  and  Vitaly Vanchurin on Thermodynamics of Machine Learning . Last night I listened to Janet talking about time and Quantum Mechanics. What she said was really interesting: that superposition states might only be superposition states because the time-keeping machinery is independent of the observer's time.  See  Gabriele ...

People like Richard Murphy and Chris Hedges who think they know the state of the world by listening to the BBC and watching YouTube are misguided. That's not the state of the world, that's a mechanism for creating consensus about the state of the world, and it is a damaging one. There are much better ways to create consensus but people are so busy worrying about the state of the world they don't have any cognitive capacity to think about alternatives. It's a self-sustaining storm of nonsense. The sad fact is that we are collectively incapable of doing anything that does not generate a financial profit for someone. See  HRH King Charles III Celebrating Fifty Years of Saying The Same Damned Thing Over and Over Again .  I spent almost two years in Britain and nobody wanted to talk to me me about this. A nation of castle-dwelling shop-keepers. Reposting this because I found a video that says it much better:  Subscribe to Kyla Scanlon . Chris Hedges doesn't get it: Subsc...

 Redefine success, ... Subscribe to  Awesome Coding . 

As well as this ecological aspect, there is also a financial one where the parents of the child and the village invest money in a deposit account,   according to Wikipedia .  See the series on Vimeo: HOPE! We are In Time . Subscribe to Hope .