The Eternal Doorman

25:03 On the ATF sending weapons to Mexico.  See  https://www.derrickbroze.com/ . Subscribe to Kim Iversen . Inna Afinogenova:    Subscribe Inna Afinogenova . The Economist podcast Jason Palmer with their Mexico City bureau chief Sarah Birke. 3:39 The King Ping strategy is something to do with Chinese trade connections, I suppose. You have to be able to juggle a lot of balls when you're working for The Economist in Mexicico City, ... Subscribe to The Exonomist .  Maybe Private Eye are going to do something on this too, ... About ten years ago I thought he might offer himself up as a sort of very low-grade human sacrifice, ... maybe that's what this was? Subscribe to Private Eye . 

See  Reuters - Katy Daigle Interviewing Jeffrey Sachs on Sustainable Development . See also  https://www.caf.com/ . Subscribe to  TV UMSA LP .

See  Petrification in Contemporary Set Theory: The Multiverse and the Later Wittgenstein by José Antonio Pérez-Escobar, Colin Jakob Rittberg and Deniz Sarikaya : This paper has two aims. First, we argue that Wittgenstein's notion of petrification can be used to explain phenomena in advanced mathematics, sometimes better than more popular views on mathematics, such as formalism, even though petrification usually suffers from a diet of examples of a very basic nature (in particular a focus on addition of small numbers). Second, we analyse current disagreements on the absolute undecidability of CH under the notion of petrification and hinge epistemology. We argue that in contemporary set theory the usage of construction techniques for set-theoretic models in which the Continuum Hypothesis holds and those in which it fails have petrified into the normative demand that CH remain undecidable. That is, the continuous and successful practices involving the construction of various set-theo...

Talk given in London in 2017. Subtitle: how the Internet drowned in it's own bullshit. See  https://www.codemesh.io/codemesh2017/michael-sperber  and  https://www.active-group.de/en/ . Subscribe to  Erlang Solutions . Edward A. Lee on Making Concurrency Mainstream. Posted a decade ago, watched 70 times.   His idea is at 37:07 .  Subscribe to Microsoft Research . 

Subscribe to Theos Theory . In other news: AI traders take down the stock market Subscribe to  Breaking Points .

See  https://biolink.website/tienda.rutalonso . Subscribe to Rut Alonso .

This was a Covid talk on 18 May 2020, PLAS seminar, School of Computing, University of Kent. He has been doing this for a while: see this 2010 talk  Mixing induction and coinduction in Agda Thorsten Altenkirch . There are some interesting illustrations of the relation between formal theorem proving and (some other parts of) mathematics. See  Andrej Bauer on Intuitionistic Logic and Constructive Mathematics  and  Curt Jaimungal interviews David Bessis . Subscribe to  Olaf Chitil . See also  https://people.cs.nott.ac.uk/psztxa/AIMXV/Talk.html/Talk.html  and  Zainab Ali - Recursion Schemes from First Principles .

He doesn't seem to know anything about computers, so he thinks beg-tech companies are the only organizations that can develop communications systems. Subscribe to Institute of People Talking Crap in Hay on Wye .

My comment : Subscribe to Anton Petrov .