The Eternal Doorman

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 .

The questions Curt asks are so annoying that I am starting to wonder if maybe I know stuff that most other people don't.  Subscribe to Curt Jaimungal . 

See  https://graphicallinearalgebra.net/ ,  https://homotopy.io/ and  Brendan Fong and David Spivak - Seven Sketches in Compositionality: An Invitation to Applied Category Theory . See  Richard Southwell on Coxeter Groups  and  Discrete Mathematics from which this is a kind of follow-up. Also  Daniel Tubbenhauer Explaining What Lie Groups and Lie Algebras Are . It's also an appeal to studying things by translating them into other languages: see  Mark Jago on Type Theory in Computer Science, Logic and Linguistics . See also  Ian Clarke on Freenet . The final screen: adding complex numbers Subscribe to  Richard Southwell . Norman Wildberger's take on complex numbers: ... and quaternions, ... Recovering the algebra: Subscribe to  Insights into Mathemathematics . John Baez - The periodic Table of n-Categories.  He starts by explaining why it is that "categorification" seems ad hoc : it's because it's to undo an accidental decateg...

See  John Campbell on mRNA Vaccines  and  John Campbell and Claire Craig on COVID and mRNA Vaccines . 10:29 It's absolutely astonishing that these don't show up in autopsies, only in embalming. Ask the Pathological Society of Great Britain and Ireland (I thought that was a joke, but it's not!)  Subscribe to Dr John Campbell . See in particular the part ( 3:10 ) where she explains what she means by banality . Subscribe to Philosophy Overdose .