The Eternal Doorman

Get their recordings:  https://georgianarts.com/ . Subscribe to Trio Mandili .

No protests: see  Macron Cancelled Public Demonstrations . Earlier today he posted this from Place de La Bastille:  Subscribe to Reason2Resist .

See  Tomas Petricek's Cultures of Programming - 2. Hackers, engineers, managers, mathematicians and humanists . For more on computation and logic see Thomas Kern on String Logics .  See  https://tomasp.net/cultures/  for more information about the book.  Subscribe to Tomas Petricek .

I was thinking about what Mikhail Gromov was saying about proteins and water in his talks on Mathematical Description of Biological Structures  and also about what Hilary Putnam said about classical materialism in his 1978 talk Philosophy and Our Mental Life 9:22  (see  Thomas Kern on String Logics ). Subscribe to Mike Harms . Then I found this talk Coupled Oscillators, Synchronisation, and Higher-Order Interactions by Christian Bick: 24:57 Phase reduction and higher-order interactions. Higher order here means when there is a coupling that is more than only pair-wise between elements. See  Collaborative Mathematics . Subscribe to Dutch Institute for Emergent Phenomena . See Searle on Consciousness  and  James Cussen interviewing Cognitive Neuroscientist Peter Tse . 

I thought his videos were uncommonly good, and it it turns out he did a PhD in algebraic automata theory or something. My comment : 53:12 This is all new to me. I only heard about algebraic automata theory a month or two ago! But I did hear a notable clip of Hilary Putnam talking about Turing machines having a normal form, which I wasn't aware of. Actually, I am not sure I know what "a normal form" means, but I imagine he was referring to the idea that no matter how many tapes, or how many symbols, or how many state transition tables you have, you can formulate any machine in some arbitrarily chosen "canonical" form, say two symbol alphabet and one infinite tape and one state transition table. I'll try find the clip and post it as a response to this comment, but YouTube will probably delete it, because YouTube is not meant to be used for people to actually communicate ideas or anything, it is meant to make people watch ads. Subscribe to Thomas Kern .  5:25...

Subscribe to  Museum of Fine Arts Boston .

See Emma Tye on Martin-Löf Type Theory  for part I. Subscribe to MSP - Strathclyde . There is also a series of lectures on Category Theory, Type Theory and Logic by Steve Awodey, Bob Harper and Frank Pfenning given at the University of Oregon in 2012.  The full list of videos is here . and there was another series of lectures a decade later at the HoTTEST Summer School in 2022 . These both deal with MLTT first and then go on to Homotopy Type Theory.  See Sheafification of G - On the Use Of Cack-eulators in Skool .

I made lots of comments . I didn't make any comments about the bit at 25:25  because that idea never ever occurred to me! Here's one comment : 1:18:45 I hope I'm not boring you too much! I heard a great idea last month (from the Biologist Robert Rosen) that was actually an idea I had years and years ago but had forgotten! The idea was about how we know stuff because there is a process going in our mind which corresponds with a process going on in the world which we observe. And these processes are all going in everyone, and what do when we understand something or someone is that we see the correspondence between the processes in our own minds with those in the processes we observe in the world around us. And Aristotle actually put it into a single paragraph in Metaphysics, saying that this was the process of thought becoming the object of thought, and he said this possession of the object of thought was the divine element in thought. That's why I liked your "I bec...

See  Brad Lancaster Harvesting Water in Arizona . Subscribe to Andrew Millison . My comment : Isn't America amazing? I went there and I kept thinking "Where are all the people?" To a first approximation there's hardly anyone there! They have 38 people per square km, England has around 430.  Subscribe to Luisa the Scottish Geologist . But all that land isn't enough for them, so they have to fuck the entire world to get more money.  See The Only People Who Really Look After US National Security Interests . My comment : Wow, Matt Bracken is who Kevin Costner wanted to be when he grew up. Subscribe to Dialogue Works .