The Eternal Doorman

Support Rachel on Patreon at  https://www.patreon.com/rachelblevins . Subscribe to Rachel Blevins .  Glenn Diesen interview with Seyed Marandi Subscribe to Glenn Diesen . 

See  Richard Clegg Explaining What's Wrong With Computer Science .  Subscribe to The Louisiana Channel . 

See  Terence Tao - Using Claude, ChatGPT to Formalise A Theorem About Magmas in Lean .  Here he is formalising a proof in Lean using Claude Code:  Subscribe to Terrence Tao .  Jaques Carette on Formalising Category Theory in Agda Subscribe to Topos Institute .  My thoughts last night from my hospital bed: Syntax, Semantics and Syllables Minds, Brains and Communications See also  More Robotics with Terence Tao May 27, 2025.

You can tell a lot about people through the company they keep. The University of Cambridge administration systems are run by an Oracle subsidiary.  Subscribe to  The Drey Dossier  and see her Substack page  https://substack.com/@thedreydossier . James Corbett just did a video about Ellison and his son: see  Episode 494 – Meet The Ellisons: Zionists, Technocrats, Moguls :  42:00 Blair practically works for Ellison. See  Blair and the Billionaire  in Lighthouse Reports .  46:11 Oracle does data management for UK Department of Defence. See  Openly Pro-Israel Tech Group Now Has Control over UK’s Most Sensitive National Security Data : This is the story of how a multibillionaire who has dedicated his life to advancing the cause of the Israeli national security state is now in control of Great Britain’s most sensitive public and military data. In 2020, software giant Oracle won a gigantic contract with the United Kingdom’s Ministry of Defenc...

Talk given in September 2018 at the IAS Vladimir Voevodsky Memorial Conference. See also  See also these posts: Emily Riehl on Univalent Foundations Emily Riehl and Terrence Tau on The Future of Mathematics Dana Scott on Lattice Fixpoint Semantics and Gopal Gupta on Logic, Co-induction and Infinite Computation Subscribe to  Institute for Advanced Study . 

An audio distro based on Alpine Linux packages. See  https://github.com/nir9/low-level-learning-resources/tree/master/setups/alpine . I wonder how many old Windows PCs there still are in Bolivia. Most of those old Internet places have closed, now there are just a few gaming centres still in business.  Last week he hacked Windows 2000 solitaire running inside a web browser. See these links:  https://bellard.org/jslinux/ https://www.pcjs.org/ Subscribe to Nir Lichtman . 

She says the most remarkable thing about this secret society is how bad they were at keeping secrets. But how does she know?  Subscribe to Real Prague Guides . 

See  Comparaciones a largo plazo de las prácticas agrícolas en Alto Beni, Bolivia .  Subscribe to Diario de in Altobeniano . 

«Porque te vas» (a menudo pero erróneamente conocida como «¿Por qué te vas?»)​ es una canción interpretada por la cantante hispano-británica Jeanette. Fue publicada por la compañía Hispavox en 1974, obteniendo escaso éxito, y fue el último trabajo musical de la cantante con esa discográfica. Posteriormente fue incluida en los discos recopilatorios Jeanette canta Porque te vas y 9 éxitos más (1976) y Sigo rebelde (1996). Fue compuesta por José Luis Perales y producida por Rafael Trabucchelli. See  Billboard Interview with Laura Pausini .  Suscribete á Laura Pausini .  Porqué? La maldita clima!  1976 fue el año en que llegué a Inglaterra con edad de 10 años.  Suscríbete á  Un Tiempo para Recordar .