The Eternal Doorman

See  Petrification in Contemporary Set Theory: The Multiverse and the Later Wittgenstein by José Antonio Pérez-Escobar, Colin Jakob Rittberg and Deniz Sarikaya . Subscribe to About Logic .

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 .

talking 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 .

Sick of AI storytelling? I can assure you no AI was used in the making of my new short film Crash Site. Why, you ask? Are you against it morally and philosophically because AI will replace us all!?! No, no nothing like that. I didn’t use AI because in reality, this short film is not really new. It was shot in 2013 and while I had gotten very far into post on it, there was always one last thing to do. So now after more than 10 years, I finally got it done, without AI. It stars Steven Yeun and Sam Richardson giving awesome performances and is a true labor of love from a small crew of friends and a throwback to a time before AI existed and we made movies with people about people discovering and using things that have ramifications far beyond their control...Funded via Kickstarter and filmed in just four days with a crew of friends, this short is a scrappy, heartfelt tribute to the kind of sci-fi films we grew up loving.  It's really good! See  https://www.crashsitefilm.com/ Direc...

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. Subscribe to  Lawyer Oyer . The people at the FBI have to put up with more than a lot of people realize:   Subscribe to Coral Gables Art Cinema . Subscribe to Kim Iversen .