The Eternal Doorman

See  The Edge of Sentience: Risk and Precaution in Humans, Other Animals, and AI . My comment: Well, I am not a child, but I once walked for six days through the forest on the border with Colombia and Panama. I didn't have any food apart from one tin of fish and a packet of soda crackers that I ate on day one. One day I found some fruit that the monkeys had dropped from a tree and it was delicious! That was between Christmas and New Year in 2021.  I don't think I will ever forget that meal! Here's her full video: See also James Cussen interviewing Cognitive Neuroscientist Peter Tse . Subscribe to Hana Clio . 

I still hear this here in Bolivia every few days,... It's the way the music business works it's not a government/industry psy-op. Subscribe to  Gente Music .  She sang a song with Shakira in Madrid too,... Subscribe to Shakira . 

My comments: Great discussion. Thank you. Bit about the money supply growing at the rate gold comes out of the ground triggered me a bit, but then I realised that under those conditions the gold price would have been the absolutely most stable measure of monetary value. Or am I wrong? Somebody correct me please if so. The thing that triggered me was that gold doesn't just spontaneously come out of the ground like plants, earthworms or water or something... Gold is ripped out of the ground and dissolved in mercury and the tailings and the mercury go into the river and poor people kill themselves to get it. The gold price rises since 2020 were an economic, social, ecological and public health disaster for the regions of Bolivia where there are gold deposits close to the surface. Evo Morales' government never managed to properly regulate miners because they were (and still are) a powerful political group. It was a stupid mess. 44:34 They haven't thought of everything you can ...

See his article published in IAI News on 10th July 2026. "Considerations of information and computing complicate thermodynamic analysis and contribute precisely nothing."  CEO and co-founder of Google DeepMind, Demis Hassabis, has recently speculated that information might be as fundamental as mass and energy. As AI hype rolls on, many like him are increasingly tempted to apply computing principles to reality as a whole. Those who support this view rely on the idea that information has a thermodynamic cost, as proposed by physicist Leo Szilard.   See  Happy Birthday Raymond Solomonoff  (in particular 22:33  on how to get information from experiments) and  Mike McCulloch on Why Everyone Should Care About Quantized Intertia . I recently heard that the formalisation of the simplified Taylor/Wiles proof of Fermat's Last Theorem had been completed by Anthropic AI agents . I asked Google's AI how much energy this took and the estimate was of the order of one mil...

My comment : I care about QI, really I do. Mostly because if you're right then there's a whole lot of stuff I have completely misunderstood about physics! I don't mean that facetiously though, even though it probably sounds like that. I'll tell you why I don't get it and it's that the whole of physics basically depends upon the duality of symmetry laws and conversation laws, including everything we think we know about the visible universe and it's size and mass and whatnot, basically everything about Cosmology depends on Noether's principle , and Unruh radiation is, as far as I know (which is not very far at all!) a vacuum fluctuation affect which is precisely where our measurement precision fails to be able to pick out the ground state because basically there's nothing there to measure anymore, so all we see is the noise: the signal is gone. And this means that the conservation laws are gone and so the symmetry principles are thrown out as well. An...

He was born July 25, 1926, a few days after Max Born sent his paper Zur Quantenmechanik der Stoßvorgänge for publication in the journal  Zeitschrift für Physik . 37:53 To my shame I never bothered to look up the proof of why Ackermann-Péter function A(m,n) is not Primitive Recursive. I guessed it would be something complicated arguing about how  A  is implicit in the recursion parameter, i.e. that you need higher-order primitive recursion to represent function exponentiation f^(A(m,n)) meaning the function f applied A(m,n) times, ... but it uses an argument about the size of the partial sums of successive terms, ....  See PlanetMath: Ackermann function is not primitive recursive . See also this ProofWiki proof which is the same. More interesting is Larry Paulson's Ackermann's Function in Iterative Form: A Proof Assistant Experiment  which he wrote whilst I was living in Chiapas, Mexico, begging at the traffic lights for my bus fare to Tijuana. 1:05:06 S...

Here's her video on forest fires and water: She's really good. She did a summary of the Nepal disaster: Subscribe to AquaDiary Podcast .

16:45 On light pollution. Just because you can afford to buy a cheap LED floodlight doesn't mean you have the right to shine light all over the surrounding countryside all night, yes,  even if  you are you so stupid that you think it protects your business! See John Searle on the Logical Structure of Human Civilization . See also Ally Berry on Atmospheric Rivers . Subscribe to Symbiosys TX . Some of this is to make datacenters so assholes can pretend they're biologists: Subscribe to FUTO .

I've only seen 15 minutes of this but it looks like it's going to be a really great lecture. Who invented this stuff? (Thierry Coquand, Benjamin Pierce and David Turner, I think). Google suggests it was a bunch of people hacking on compilers in the 90s. It's funny how you can produce really pretty theories doing stuff like that, isn't it? It's as if there's a kind of implicit discipline of mechanism. There is a survey article here: Bidirectional Typing  by Jana Dunfield and Neel Krishnaswami. But note the remark at  1:02:35 . Maybe see 4.1. "Turning CCω Bidirectional" of Meven Lennon-Bertrand's PhD Thesis (2022): Bidirectional Typing for the Calculus of Inductive Constructions . I wonder if you can use this algorithm to derive custom type systems from programs, or is that too weird an idea?  See Girard, Lafont & Taylor's Proofs and Types , Section 3.3 on the significance of the Curry Howard Correspondence: This talk is a lot better than th...