The Eternal Doorman

They're trying to encourage more women to get involved in politics despite the hostility some experience. Subscribe to Alianza por la Solidaridad Andina . Natalia Aparicio has been doing monthly podcasts from all over the country:  Subscribe to Natalia Aparicio .

See  https://www.fazioelectric.com/merch . She also fixes amplifiers and she makes them, and she teaches other people how to make them: Subscribe to Fazio Electric . 

The subtitle of this post is "What is a proof and of what is a proof a proof?". Recently Thomas Forster wrote that he had been revising his SEP entry on NF. (There is apparently some excitement about a surprising theorem that it recently proved, something to do with failure of well-ordered choice). See Quine’s New Foundations by Thomas Forster. In the 11 page  1937 American Mathematical Monthly paper where he introduced the theory, Quine opens with: In Whitehead and Russell's Principia Mathematica we have good evidence that all mathematics is translatable into logic. But this calls for the elucidation of three terms: translation, mathematics, and logic. The units of translation are statements; also statement forms, i.e., expressions abstracted from statements by supplanting constants by variables. Thus it is not held that every symbol or combination of symbols of mathematics, say "Δ" or "d/dx," can be equated directly to an expression of logic. Bu...

Subscribe to Mike McCulloch .  Philip Johnston, co-founder and president of the Fermi Explorer Mission and CEO of Starcloud, discusses the ambitious plan to send a robotic spacecraft on an 80,000-year journey to Alpha Centauri, our nearest neighboring star system. Subscribe to  632nm Podcast . Seems like the problem is just that the money can't follow the smarts.  

My comment : 4:00 "It's pointless getting into an argument with claude because it's a machine, ..." but it's not even a machine! That's the whole problem. It's a random walk on a matrix. It's not worth arguing because it just takes you to another random subspace of a hyper-dimensional garbage tip of rotting word salad. Subscribe to Tall Paul Tech . 

Subscribe to Credence Clearwater Revival .

See ICFP 2026 .  Isidore Mohr - Girard's Paradox as Structure Music. See Demo: Girard’s Paradox as Structure Music by Isidore Mohr. I present a translation of Girard's paradox into music using Soundproof, an in-progress system for translating proof terms of dependently typed lambda calculus into electronic music according to their tree structure. I explore methods of representing tree structures sonically, and points of choice in the translation and presentation of the result.   You can listen to the whole album at  https://isdra.bandcamp.com/album/girards-paradox . Claire Wang on what the FARM thing is about ( 1:23:10 ) See CompositionCodes YouTube . Chen Xu - Drawing Algorithms as Modular Objects (starts at 6:08:53 ) This is really clever. You can abstract structure from random binary matrices by constructing finite automata to recognise certain regular patterns as they appear. Then as you progressively scan the matrix a network of automata appear and disappear ac...

See https://www.ninadavies.net/info https://www.ninadavies.net/bionic-step and Image Syncers at Axioma . This was recorded in February 2026. I hope she's OK! Subscribe to Aksioma . If that freaked you out, here's a video about friendly robots:  Subscribe to Asianometry .

See the paper at https://arxiv.org/abs/2602.19868 :   See Patrick Cousot & Radhia Cousot. Abstract interpretation and application to logic programs. Journal of Logic Programming, 13(2--3):103--179, 1992 , and also Coinductive big-step operational semantics by Xavier Leroy and Hervé Grall and Big-Stop Semantics: Small-Step Semantics in a Big-Step Judgment by David M. Kahn, Jan Hoffmann and Runming Li.   Starts at around 3 hours .  See also  Patrick Bahr - Safety First: How to Safely Disregard Unsafe Behaviour in Compiler Calculations .  Subscribe to ACM SIGPLAN .