The Eternal Doorman

Subscribe to Rare Earth . 

See  Solidarity With Cuba March 21, 2026 . Subscribe to Paquito Vlogs . 

This song was written by Violeta Parra in 1966. See  Colombina Parra - Sesiones Museo Violeta Parra  and  Nicanor Parra . Subscribe to Laura Pausini . 

See the paper at  https://dl.acm.org/doi/10.1145/3776727 First a presentation at POPL 2026 . My comment : 23:35 You have to get this far to see what they're actually doing! At 28:45 you start to wonder though,... 😂 I think one of these is a synthetic view and the other is analytic, though in Category theory it often isn't obvious which is which! Subscribe to ACM SIGPLAN .  Then a more recent one at Topos Institute:  Subscribe to Topos Institute .  Here's what seems like a good introduction to call-by-push-value: Here's a longer one: This thing turns up in a kind of congruence relation of effects: See Levy's 2006  Jumbo λ-calculus  (ref  https://dl.acm.org/doi/10.1007/11787006_38 ).  1:04:27  There is a categorical semantics of CBPV using adjunctions.  Adding fixpoints and "a mild extension of CBPV using a comonadic modality" See  Emily Riehl and Terrence Tau on The Future of Mathematics .  Subscribe to  ACM SIGPLAN ....

Time to visit your local US Embassy. Subscribe to  La Jornada de Oriente Puebla .  See  Tracks - Arte - Sneakernet and Dead Drops .  See also  Marco Rubio on Migrants October 01, 2021  and  Felix Rodriguez and The CIA In Cuba and Bolivia September 21, 2021 . Subscribe to Al Jazeera . 

Apparently it's being screened at MoMA in NYC  tomorrow. Subscribe to Deepfocuslens . Subscribe to AFI . Watch it here! Subscribe to  Movie Con. See  Janet Axelrud's First Draft for a Short Film .

She wants to hire an editor, ... Subscribe to Math-Life Balance .

See  Dr Jonas Birch on Intel SMM and SEAM . Subscribe to  Dr. Becky . See also these posts of mine mentioning peptides  and  Lori And I Have Been Doing This Project, ...   Subscribe to Anton Petrov . Scott Manley on the same experiment  Subscribe to Scott Manley .   Subscribe to  Adam Savage's Tested .

Part II:  My comment : When I was a kid I designed an 8-bit computer whose state transitions were a function of its global operation. It was very simple. All I did was use memory-mapped I/O registers to control address-decoding logic. At the simplest level this was just a memory management unit where logical addresses mapped to physical memory addresses via whatever the address-decoding logic determined. But then I realised that the memory addresses at which the address-decoding logic registers appeared could themselves be controlled by the address-decoding logic. I didn't build it because the immediately obvious problem was how you could reliably program it. If there were any error in writing the registers then the machine state would have departed from the small subset of states which had deterministic behaviour. But in principle systems like this would have the property that Andrés talks about: their microstate is determined in part by their macrostate. I had never thought of ...