The Eternal Doorman

See  ICFP 2026 Program . I just caught the end of an interesting talk by  Hongshuo Fan  who has been experimenting with musical gesture recognition. That would be interesting to try in collaborative composition projects too. Also Jared Gentner on what sounds to me like an interesting way to compose languages. It definitely works for performance programming! There was also a miniKanren thread. See  William Byrd on Relational Programming and Quines . Starts at 1:18:34 . At 3:08:42  Towards bottom-up enumeration in miniKanren via pruning and memoization. At  6:04:44 Compiling polymorphic relations without monomorphization.  6:52:18 Efficient Rational Unification for miniKanren.  Questions & Answers at 7:26:12 .  8:14:53 Lean, Mean miniKanren Machine.  9:03:12 Q&A. Subscribe to ACM SIGPLAN .  Also, tomorrow at 9AM Edward Lee on Deterministic Concurrency .  It is not uncommon, particularly in the early literature in co...

Somebody please inform the Vatican ,... See also this Patreon post by Anton and these articles: Deep subsurface organic-rich shale supports abundant, diverse, and novel fungi  by Quinn S Moon et al. Rock-eating fungi flourish deep below our feet   (U. Michigan Press Office.)  Subscribe to Anton Petrov . 

See  CuriousMarc - Taking Apart an HP 16702 Logic Analyzer .  Some of this rings bells. I think I must have done an HP/UX upgrade from CD-ROM once,... Buy SCSI knives from  Jurassic Computing .  Subscribe to  Curious Marc . 

Born into the prominent political and banking Medici family of Florence, Giovanni was the second son of Lorenzo de' Medici, the de-facto ruler of the Florentine Republic, and was elevated to the cardinalate in 1489. Following the death of Pope Julius II, Giovanni was elected pope after securing the backing of the younger members of the College of Cardinals. See Pope Leo X  on Wikipedia. See also  Fugger family  (well in the sixteenth century they spelled words differently.)  Subscribe to  Uncover Things  (shit, etc.) and  Uncover History  (more shit than you can shake a stick at.)  Pope Leo XVI is going to make up for it I'm sure. Subscribe to Lena Petrova . 

This is interesting. See the paper  Hyperfunctions: Communicating Continuations  by Donnacha Oisín Kidney and Nicolas Wu. We use this framework to solve a long-standing problem: giving a fully-abstract continuation-based semantics for a  concurrent calculus, the Calculus of Communicating Systems. Finally, we use hyperfunctions to build a monadic Haskell library for efficient first-class coroutines. I found this by interrogating Google search AI for ten minutes on coroutines and reactive systems. Google search AI is stupid and rude. That company is finished.  Subscribe to ACM SIGPLAN . 

Both of  these talks are relevant to this post of mine:  The Story of Unix - Chapter Ω: The Captains All Jumped Ship . Douglas Creager on Concatenative Programming and Stack-based Languages  See  The Theory of Concatenative Combinators  by Brent Kirby.  Subscribe to Strange Loop .  Shriram Krishnamurthi on the 1991 paper  On the expressive power of programming languages  by Matthias Felleisen. He does a great job describing a quite subtle idea to a non-mathematical audience.  35:36 I really need to read this paper to understand exactly what is the difference between Ω and halt . [ 40:13 halt   is just call/cc ].  Subscribe to Papers We Love . 

There used to be this philosophy, that some people called an Operating System, ... The people who came up with the idea weren't so besotted with it as those who followed and they set out to do it better. That was called Plan-9 from Bell Labs . Ever since the Unix ship has just been sailing around, who knows where? Don't ask any of the crew. And Plan-9 ? Unix came with a new programming language and a new way to write programs, by composing them together using shell scripts. Plan-9 didn't . The Viewpoints Research Institute STEPS project was the sort of thing Plan-9 needed, but Viewpoints was terminated in 2018.  See Condensing Programs for more on functional components. See also these parts of the STEPS project: KScript and KSWorld: A Time-Aware and Mostly Declarative Language and Interactive GUI Framework by Yoshiki Ohshima, Aran Lunzer, Bert Freudenberg and Ted Kaehler and Open, extensible composition models (extended abstract) by Ian Piumarta. Douglas Hofstadter gave...

These things ran HP/UX : 7:05 Lamenting the software issues. It's because we never figured out how to write programs. People were too busy building fancy hardware to run garbage code. Eventually they gave up and now they build fancy hardware to run garbage LLMs that generate shit-loads of garbage code. It's good for business! [See Robot Languages and Robot Languages - Another Part ]. Part 2: Applying HP sauce to the PS/2 Model 77: Part 3:  Part 4: See https://github.com/schlae/snark-barker-mca   The full series of videos on this is here .  Subscribe to CuriousMarc . IBM's Micro Channel was their last-ditch attempt to regain a monopoly on PCs ( 30:43 ):  There was also the RS/6000 though: Subscribe to Asianometry .

My comment : This sounds a bit crazy to me. Why do you want distributed computing to depend on particular endpoints? I don't want my messages to be delivered to some particular machine, I want them to be delivered to me. So why do I have to maintain particular machines to receive messages? And the same goes for companies that are accepting orders from customers etc. etc. It just seems like people are stuck in a rut thinking about programming as something you do to make a machine do some particular thing, but it doesn't have to be like that. [Aha, that's what this bit is about: 45:55 .] Subscribe to ACM SIGPLAN .  See also  Ian McKellar on Fuchsia .