The Eternal Doorman

This is really great: Coalgebras provide a framework for formalising the notion of behaviour of different types of state-based systems. In this talk I am planning to introduce concepts from the theory of coalgebras such as final coalgebras, coinduction and bisimulations. To exemplify what those concepts mean we will focus on the example of finite automata. If time permits I will also use that example to discuss the fruitful interplay between coalgebras and algebras, in which the latter are used to formalise specification languages (or logics) for coalgebras. See  https://msp.cis.strath.ac.uk/msp101.html  and  Emma Tye on Martin-Löf Type Theory (II) . See also  Thomas Kern on String Logics .  See also Relating coalgebraic notions of bisimulation by Sam Staton. Subscribe to  MSP - Strathclyde . 

She really is stellar! My comment : 18:03 Oh, I did that once and it got a bit out of hand!   See  https://giftsfromyoungerme.substack.com/  and  This book is not for reading, and I mean it. I’m not trying to get you to read the book by telling you not to read it. This is a piece of art. An act of rebellion. An act of using something in a way it was not intended. See also  Janet Akselrud's Wandering Mind  and  Janet Guerilla Marketing Rebellion in NYC . Subscribe to Curious Wandering Souls .  Lori has been quiet, but she does show up every now and then , ... her book is  I, Human  and I thought she was working on a sequel, ...  Subscribe to  The Resident .

See  https://www.johannesjaeger.eu/blog  and  Why TAME is lame ... 35:23  He says we need an actionable theory of what an organism is and why it can do things a machine cannot. It would do just to accurately characterise what a machine actually is. You can read some of the emerging book here, but see  https://www.expandingpossibilities.org . See  John Searle's Chinese Room Argument  and  John Searle - Syntax is Observer-Relative .  See also  Charlotte Moser on Saddle-node Bifurcation . His series of 48 lectures "Beyond Networks" is here .  Subscribe to  Johannes Jaeger . 

See Further preliminary findings on some effects of very fast sequential input rates on perception  (1967) by M. S. Mayzner, M. E. Tresselt, A. J. Adrignolo & A. Cohen. This has a lot of applications to secure communications. There are probably a lot of effects like this which could be combined to create displays that are only intelligible to a small percentage of the people who look at them. If you use a multi-party distributed computation to generate sequences to drive the displays then you have the basis for a secure interconnect. For example you could have public displays which display different information depending upon the filter through which they are viewed. Similarly with sounds.  Douglas Goodwin's web page: https://cairn.com/  in particular:  https://cairn.com/news/new-article-on-color-for-the-conversation . Subscribe to Hackaday . 

37:52  See her book Keystone: How Outliers Are Rewriting the Human Ecological Story . It's more than wildly possible that human populations over the last 10,000 years were actually responsible for the stability of the earth's climate during that time. See Regenerative Agriculture and Economics and Leave Curious and Keep it Wild Collaboration . My comment : This is great to hear. You should know though that YouTube is not recommending your videos to people who are interested in economics and regenerative agriculture. I don't think YouTube is your friend!  I have been using YouTube for over a decade, and I have watched thousands of videos about regenerative agriculture, economics and ecology, and it was only as a result of a Google search that I found this video. But YouTube recommends thousands of utterly irrelevant videos that I don't watch. YouTube is a disgrace! Subscribe to  Investing in Regenerative Agriculture and Food .

Here's an example of Sea Otters in California: there is some sweet spot where minimal human intervention can bring back an ecosystem. See  Beavers Making Money in Arizona . Subscribe to Leave Curious . 22:47 Bauré Flood-plain Aquaculture in Bolivia.  34:29 Haíłzaqv herring and kelp farming in Canada.  Subscribe to Climate Cleanup . We need to get better at scheduling volcanic activity too: Subscribe to GEO GIRL . Invest in Google and degenerative AI instead: Subscribe to Lena Petrova . See Curtis Webber - Arizona Flooding: The Last Video You Need to Watch About It .

21:05 He says the idea of quantizing energy in Plank's black-body radiation formula actually came from Boltzmann . 1:01:24  He says mathematics can never escape from arbitrary consequences of some definite representation ( 1:05:27).   1:12:47 On measure spaces not being spaces. See Joel Hamkins interviewed on About Logic and the Radon-Nikodym theorem . 18:05 Entropy and systems: See the full set of six lectures here . See also Mikhail Gromov on Mathematical Description of Biological Structures .    Subscribe to IHES . 

My comment : This is really interesting, but to claim that it's the last video anyone needs to watch about it sounds ridiculous. Are you really going to exhaust the whole topic in fifteen minutes? Or do you just mean watching videos is a waste of time in general. You might be right in that case. [ 13:21 "All that water flowing through Phoenix wasn't wasted, some of it will soak into the ground and refill the aquifer". That's what your next video about the flooding in Arizona should be about, getting yourself an education!]   See Beavers Making Money in Arizona .  Subscribe to  Curtis Webber . Same idea: but it's not wasted, ... some of it will soak in downstream, ... This project sounds like it's half a dozen people and some AI to handle the contractors. Subscribe to Salt River Project .  On refilling aquifers, see Robert Mace - Texas Springs Are Drying Up  and John Liu on The Real Economic Foundation . You need to do this over the catchment of the rivers...

Subscribe to  Instituto Geológico y Minero de España .