The Eternal Doorman

28:56  How to create human institutional reality. Choose your boss carefully , if you want it to last. 46:52 .  It's nice that he found five Common Notions at the bottom of it:    Subscribe to Philosophy Overdose . 

MSP Strathclyde: the sound gets better after 5 minutes or so, ... Containers are described like polynomial functors and you can get a category out of them in about 24 minutes and 41 seconds . By 37 minutes 42 seconds you can represent constructive propositions and some sort of smooth manifolds. By 50 minutes and 6 seconds you get container morphisms and you can make a goal-directed theorem prover thanks to Gordon, Milner and Wadsworth .    There's more:   And there are five lectures so far on Tangent Categories :   Subscribe to MSP -- Strathclyde .

I wonder if I imagined that Air France commercial we used to see in New Zealand in the seventies with a 747 landing and the music was Oxygene Part IV. Maybe it was TWA or something, ... Those sounds really made a difference: Subscribe to  Jean Michel Jarre .

Title "The Strip Mining of Mathematical Proofs" aaah, poor little mathematicians being colonised,... 29:20 On mathematical outreach. This seems a bit out of touch to me! See French high school protesters call on university students and Yellow Vests to take up the torch .  See  Collaborative Mathematics ,  Sophie Maclean is Not Happy about AI  and  John Searle's Chinese Room Argument .  Subscribe to Numberphile2 . Norman Wildberger: "I told you so." I unsubscribed from his channel because the way he was talking makes me feel mildly nauseous. What he is suggesting here as an AI-assisted research strategy would work just as well on somebody else's research. Maybe that's what he meant to say: AI is disrupting the egoistic perspective of mathematics. That's probably why he hides all his stuff behind paywalls now. The problem is when it is applied mathematics and physics and now biology: see Anthropic’s AI biolab finds ‘CRISPR-like’ DNA in viruses. What’s...

Don't rock the boat, we'll all drown!!!! AAaaargh! 

My comment : 3:58 Even for that they didn't need to be accessible to the Internet. It's just that the Internet is typically configured this way. That's not a law though, it's just what network managers do.   and : 3:37 It's the "had reached the end of its supported life" that you should look into. They were probably supposed to scrap the refrigerators and buy new ones, but they didn't want to because they were still refrigerating stuff fine.   and also : 10:29 What I think is that this is an industry-wide problem. If you look at the companies whose products were involved in this attack and just about every other, apart from the manufacturers of the products, it was networking hardware, software and service companies, cyber security companies, OS vendors like Microsoft, open source software like Linux, BSD etc, probably, proprietary firmware suppliers/contractors, chip-set vendors like Broadcom etc, etc. All of these together made a shed-load of mone...

Mathematics in the labyrinth 29:05 . This is in large part because of how hard it is to collaborate, I think. I can't prove this is the case, because I'm not a real mathematician, but I think that it might be that the whole system is set up so that mathematics and theoretical physics are solitary endeavours. You are supposed to have your own ideas, which you develop, and by way of that work, you personally are recognised as a mathematician. See  Brady Haran Interview with Hugo Duminil-Copin . So it's just good fortune that neither Mathematics nor Theoretical Physics involve anything that is inherently collaborative and in any sense involves choices made by the whole community, ... ( 32:50 ) See  Intensional and Extensional Semantics in Programming Languages and Type Theory : See  Sylvia Serfaty - Des équations personnelles : itinéraire d’une mathématicienne . Subscribe to  Institut Henri Poincaré . The reason I made this post was because I had a kind of half-waking ...

Another great Aksioma talk: 6:51 See Hito Steyerl - Mean Images . You can do the same with mathematics and theories of physics:  Károly Zsolnai-Fehér on AI Proofs . 22:31 The machine took over and in the end it even consumed the heating system of the gallery it had occupied, ...  See also Sylvia Serfaty - Des équations personnelles : itinéraire d’une mathématicienne .  Her web site: https://www.felicityhammond.com/  It's very slow, perhaps it's being continuously scraped by AI, ... I tried searching Google for "summary of the artist Felicity Hammond's work on AI images" and I got no AI summary!! But lots of good links:  RIBA Journal In pictures: a human-AI feedback loop captures reflections of the machine . British Journal of Photography In the studio with Felicity Hammond . The Photographer's Gallery Felicity Hammond: V3 Model Collapse . Aesthetica Magazine Constructing the Image . That's what I need. A search engine that finds stuff and doesn't try...

A lot of them are just a big ball of barf! Watching this it occurs to me that we might actually realize soon that we have no particular reason to believe any theoretical model of physics, because there are so many different models that can produce the same kinds of behaviour. See Mike McCulloch on Great Balls of Fire  and Sophie Maclean is Not Happy about AI . Support him on Patreon:  https://www.patreon.com/cw/TwoMinutePapers . Subscribe to Two Minute Papers .