The Eternal Doorman

Starts at  2:20:06 . See  con-cat An experimental functional concatenative programming language inspired by Joy  and  Joy: Forth’s Functional Cousin by Manfred von Thun .  See also  Two Great Talks on Programming Languages .  Subscribe to ACM SIGPLAN . 

If you pay YouTube for advertising you should seriously consider a class-action law suit. The way it works is that in the YouTube mobile app they put one of their standard controls "V" under an ad-click link in the top-left corner, so when people don't want your ad and don't want to continue watching the video they get sent to your ad and you pay for the click. The only way for users to get back to the screen they came from is to either wait for the ad to finish, then click the "V" or click the "back" button.  In case they say it's not the meaning of "V" to minimise the player, it is: It's there all through the video, any time you touch the screen. YouTube are just a bunch of crooks.

See  Basics of Personal Information Management: Finding the best tool(s)  and  https://karl-voit.at/ . It's also on GooTube and my comment there was: "I am enlightened and also a bit dismayed to hear how badly I have been doing this whole computer-using thing! 😂"  We could do so much better than the crappy pile of garbage we have right now! See  The T.H.E. Mutiprogramming System Console Message Interpreter  and  Edger W. Dijkstra's 1972 Turing Award Lecture . 

Programming languages as vehicles for thought. See  Matthew Flatt on Rhombus and Syntax Transformers  and  The T.H.E. Mutiprogramming System Console Message Interpreter .  Some parts are missing. See the transcript  EWD 340 . 5:42​ "The overwhelming problem was to get and keep the machine in working order. The preoccupation with the physical aspects of automatic computing is still reflected in the names of the older scientific societies in the field, such as the Association for Computing Machinery or the British Computer Society, names in which explicit reference is made to the physical equipment. What about the poor programmer? " 25:46​ "vastly different from what it has been up till now, so different that we had better prepare ourselves for the shock. Let me sketch for you one of the possible futures. At first sight, this vision of programming in perhaps already the near future may strike you as utterly fantastic. Let me therefore also add the considerations t...

Starts around 33 minutes in. Audio is awful for the first few minutes. I'm not sure whether this is really about Rhombus or Racket, ... It's mostly about syntax languages, but here they're even more than syntax languages because they act at the lexical level as well. They even have a notion of lexical scope. I guess it's the original notion of lexical scope! See  Binding as Sets of Scopes . Subscribe to ACM SIGPLAN .

This is really interesting. Talk starts at 18:05 or so. See Efficient strong functional programming with effects and compiler guided reference counting  and https://github.com/microsoft/mimalloc . When I tried to look up these projects this morning I got this: Subscribe to ACM SIGPLAN . 

This is an amazing phenomenon. This language kind of invents type systems as it goes,... It's a bit like what set theorists do, in fact. More on that later,... The talk starts around 34:50 . See  The Verse Calculus: a core calculus for functional logic programming . Also Simon Peyton-Jones' lectures at OPLSS 2026:  Types, Proofs, and Program Logics .  On denotational semantics see also Domain-Theoretic Semantics for Functional Logic Programming : 17:23 On models which are termination-insensitive. See  Two Great Talks on Programming Languages , in particular Shriram Krishnamurthi on the 1991 paper On the expressive power of programming languages by Matthias Felleisen. Subscribe to  ACM SIGPLAN . 

We don't have any decent operating systems unfortunately, but I keep thinking about this device, because it is a cool toy. I once programmed something like it in Microsoft Basic, of all things. All it did was allow the program to open new windows on the screen with widgets of various kinds which it could configure by calling procedures. So there was a widget which could display a list of items and the widget handled the scrolling as each item was added. There was another which allowed input strings and the widget made the data available as the return result of another procedure. There was a status bar widget which showed various flags according to procedure calls etc. etc.  But we have much fancier displays in the form of web pages, so it occurs to me that you could make a system like this allowing programs to interact with local web servers, one for each app. These could be multiple different processes each serving http requests on a different port. Then one of them would be the ...

See his Google scholar list of publications and  Narya documentation .  Some noteworthy papers: Homotopy type theory: the logic of space  (2017) Comparing material and structural set theories  (2019) Subscribe to  About Logic .