The Eternal Doorman

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 .

It  turned out the whole theory of Fourier Series is one particular instance of a general theorem about Representations of Compact Groups. See Peter-Weyl Theorem  and Pontryagin duality . See also  Dual Spaces, Lie Groups and Conservation Laws .  Subscribe to Daniel Tubbenhauer .  Sam Ritchie on a computer algebra system https://emmy.mentat.org/ inspired by Functional Differential Geometry by Gerald Jay Sussman and Jack Wisdom.  Subscribe to Strange Loop . Owen Lynch with some ideas on how to do computer algebra that get at this idea of generic operations that Gerald Sussman likes so much, and I think they are also why he doesn't have much time for statically typed languages. In a sense types are least fixed points and generic operations and general algebras are greatest fixed points. See How Could One Unify CMU and MIT  and David Jaz Maiers - Compositionality via 2-algebra . See his blog post  Algebraic geometry for the working progra...

This was from ADC2024 but only posted on YouTube in August last year: Somebody made a whole operating system and a GUI for Pipewire: https://github.com/dimtpap/coppwr . See  Using Pipewire to Make A Music Synthesizer  and the greatly expanded examples https://docs.pipewire.org/examples.html . A talk at FOSDEM in 2025 by Wim Taymans: PipeWire state of the union .  I came here after seeing a bit of Ian McKellar on Fuchsia  and Chris Ford on Birdsong . Subscribe to ADC .