The Eternal Doorman

This is a really good discussion. Far better than any interview I've seen someone try. 1:08:09  On the positivist's principle of instrumentalism. Here they are talking about Sydney Shoemaker's "thought experiment" (it's not an experiment that in principle could actually be done) described in his 1969  Time Without Change . 1:22:32  On the historical development of Quantum Mechanics see  Jorge Diaz on Heisenberg's "Über quantentheoretische Umdeutung kinematischer und mechanischer Beziehungen" . See also his video below on Hamilton-Jacobi mechanics for more details on Barandes' comments. 2:29:40 On decoherence and measurement, seeMaudlin's  Three measurement problems  ( pdf here if you're lucky ). 2:34:48 On probability see Maudlin's 2007  What could be objective about probabilities? On the derivation of the Foldy-Wouthuysen transformation of quantum states: see Harvey Brown  Aspects of Objectivity in Quantum Mechanics . Subscribe...

There was an ACM SIGPLAN ICFP track called ML'23 apparently. 20:47 It's a pity that they couldn't have worked on MLRisc a bit more: this was in 1994! " CPS is compiled to a tree language called MLRISC; intended in part, to describe the simplest kinds of operations implementable in hardware. No assumptions are made regarding addressing modes or types of instructions, and because of our register allocation scheme, there are few assumptions made about physical registers. The MLRISC is then converted to a flow graph of target machine instructions, which is optimized using generic optimization modules parameterized over a machine description . ... The new code generation strategy is implemented using an SML version of iBurg "  It was only 20% slower than code generated by the LLVM backend. See  A New Backend for Standard ML of New Jersey .   He also did a talk on the Pretty Printer system: I think the way to deal with this is to recognise that pretty-printing is jus...

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...