Posts

John Baez talking to Jonathan Hickman on the Kakeya Conjecture

Image
At around 34:00 you get a glimpse of why measure theory is such a mess!  See Charles Fefferman's 1971 paper  The multiplier problem for the ball . Jonathan Hickman's 2025 paper:  The Kakeya Conjecture: where does it come from and why is it important?   Subscribe to John Baez .

Spiritually Depraved and Misery Inducing Landscapes of North America Episode IV

Image
With a guest host in North Carolina,... See  Spiritually Depraved, Misery Inducing Landscapes of North America Episode III .  Compare this with Brad Lancaster's barrio in Tucson: See Urban Planning Problems and Americans Doing Real Science . Subscribe to Crime Pays but Botany Doesn't . 

Glenn Diesen talking with Jeffrey Sachs on his Open Letter to the German Chancellor

Image
See  An Open Letter to Chancellor Friedrich Merz . So-called leaders behaving like children.  Richard Wolff a few days ago:  Subscribe to Glenn Diesen . 

Requiem for the World Wide Web

Image
My comment : I think the web as it was designed doesn't work anymore, and this is just another issue in a long list of issues. So we need something better, but Google are not going to help with that. So I don't know how it is going to come about. But Google didn't start this thing, they just got a foot in the door because the original design didn't have a way for people to search. You had to ether know the URL for the information you needed or you had to know a directory that would link you to it, but there was no top level to that system, and it was all multilingual and distributed across continents. Google have now joined it all up and they're monetizing it and sitting at the top and trying to make it so nobody can knock them off their perch.  Subscribe to  General Musings .  My comment : The last sentence,... Ouch! Call Justin Trudea! Call Barack Obama, call the RCMP, call a lumberjack,... Hell I don't know what you're supposed to do when stuff like thi...

Thierry Coquand on Computational Interpretation of Topos Theory

Image
See  Stefan Milius - Demystifying Codensity Monads through Duality  and  Terence Tao Formalising Riemann-Stieltjes Integrals in Lean Mathlib .  Subscribe to  IHES France .  Subscribe to  Weizsäcker-Zentrum Universität Tübingen .  53:29 He describes a type theory as a living object, programmed in some language [and running on computers.]  Subscribe to  Institute for Advanced Study This talk by Steve Awodey was given in December 2010 Subscribe to Institute for Advanced Study .  See the list of the 4th Huawei IHES workshop talks here . This is the one by Olivia Caramello on Grothendieck Toposes in Mathematics:  8:22 See  Morita equivalence in nlab . Also more on finitary models at  35:50  and 45:08 . See also  Wiesław Kubiś - Generic Mathematical Structures .  See the  Toposes in Como 2018 talks here . See also these posts of mine:  Alain Connes on Toposes and Integers  and  Terence T...

Daniel Norman interview with Georg Greve

Image
22:00  Some of the interesting problems that come up in healthcare data management.  43:04 How to set up a private IPFS fragment, and how to get web API access through firewalls.  See  https://vereign.com/ Subscribe to  IPFS . 

Santana, Grupo Frontera - Me Retiro

Image
Becky G - Mi Gran Amor Subscribe to  Santana . 

Gregory Bateson on Metaphors and Butterflies

Image
Some great advice at 20:42 about how to program computers.  See  Janet Axelrud on the Soul .  Subscribe to  Cybernetic Explorer . 

Hazel Thayer on Work and AI and Robert Elder on Social Annealing with AI

Image
See  Nika Dubrovsky and Alistair Parvin on the David Graeber Institute and the Museum of Care, The Survival Kit Collection and the Open Systems Project . Mondragon is a worker owned cooperative with its own University. See  https://www.mondragon.edu . Subscribe to  Hazel Thayer . He just moved himself by paying the post office. The postal service in Canada seems pretty impressive if you can send a 28 Kg package across the country without taking out a mortgage to pay for it!  Subscribe to  Robert Elder Software .