Posts

Emily Riehl - The synthetic theory of ∞-categories vs the synthetic theory of ∞-categories

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

Nir Lichtman Building Kernels and Systems for a 1999 Sony Vaiao

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

Real Prague Guides on Czech Freemasonry

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

Cultivating Chocolate in Alto Beni

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

Laura Pausini - Porqué te Vas

Image
«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 . 

Jeremy Howard on Using AI

Image
His commentary sounds unusually sensible. Though that no longer seemed to be the case by about six minutes in, ...  Subscribe to Machine Learning Street Talk .  See also these two: Terrence Tao 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

US Military Weaponising Jesus

Image
See  https://www.militaryreligiousfreedom.org/  and  MS NOW’s Ali Velshi Covers MRFF in Superb Segment on the Dangerous Infusion of Religion into the Iran War by Commanders Pushing End-Times Prophecy .  I made this before I saw that:  See The History Guy on Warfarin. It was discovered in 1944 in  Coumarin , a chemical appearing in sweet clover hay after an innoculation with mould.  Subscribe to The History Guy .  Then see  Flaming Lips - American Head  and  Glenn Diesen Interview With Ted Postol .  Subscribe to DemocracyNow!   Academy of Ideas on Selective Totalitarianism Subscribe to Academy of Ideas .  The Onion :

Glenn Diesen Interview With Ted Postol

Image
See  Glenn Diesen interview with Lawrence Wilkerson .  Subscribe to Glenn Diesen . 

Flaming Lips - American Head

Image
This just gets better with every listening. There's more in it every time. It must have been written with a dude from the future. See  Janet Axelrud's First Draft for a Short Film .  See the album here . Riding the Fun Work Train in Cochabamba,...  Madness:  See?  Maybe being some particular Christian is  what causes all the problems?  Me thinking about Jeremy Narby's book The Cosmic Serpent .  Subscribe to  The Flaming Lips . 

Janet Axelrud's First Draft for a Short Film

Image
Working title:  If I Love a Little Harder    She writes: When videoing yourself improv dancing lends itself to an artsy film.  This is draft 1. I'm not sold on all the words and titles I chose but I do like this version. It's good enough. It makes me want to dance all over again. Its slow. It asks me to pause. Subscribe to Curious Wandering Souls .  This set me off on a new musical trajectory that feels life-changing:  Subscribe to Anita Lane .  Subscribe to  Lateleigh .  Subscribe to Nick Cave & The Bad Seeds .  I met Lana Del Rey on my Birthday in 2020: That was directed and filmed by her sister Chuck, I think, and it all seemed like a wide-open invitation to collaborate . I tried, I really did, and I think I did OK , all told. And it definitely did me a lot of good, self-esteem-wise! I want to connect these two superficially quite different views of human consciousness. One is the Western Philosophical tradition and the other is t...