The Eternal Doorman

According to Google AI, Liz Oyer was fired from her position as a DoJ Pardon Attorney  after refusing to recommend restoring Mel Gibson's gun rights. Also according to Google AI "Gibson lost his right to own firearms in 2011 after pleading no contest to a misdemeanour domestic violence charge involving an altercation with his then-girlfriend in 2010". Oh wow, I didn't know that. The difference between real-life and the movies, ... See  DOJ official says she was fired after opposing the restoration of Mel Gibson's gun rights . Nancy Guthrie is the 84‑year‑old mother of NBC News journalist and Today co-anchor Savannah Guthrie, and she was apparently kidnapped from her home in Arizona with motives of extracting a ransom from someone. [Update: see this The Onion piece :  ]  Subscribe to  Lawyer Oyer . Subscribe to The Onion .  The people at the FBI have to put up with more than a lot of people realize:   Subscribe to Coral Gables Art Cinema . Subscribe t...

Why'd they call it that? Because it  made people fart ? It was a pretty comprehensive program to develop techniques to torture and maim people clandestinely. Who would want to be a pathologist these days anyway. Subscribe to Kim Iversen .

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 .