Brian Kernighan Talking About Unix at VCF East 2025

See What's Wrong With Unix? which I posted in April 2014.

He mentions Domain Specific Languages, pipes, programs that write programs, AI that doesn't do a very good job of writing programs (because AI is not a program) ... and that's only in the first half!

37:50 What's changed since then? Could you do it again? 

43:26 Question about Plan 9. "Oh, the Unix filesystem was great, so make everything a filesystem!"

47:32 A very amusing observation that Unix made programmers portable! 

51:35 "Do you have any hot takes on the state of software as it is used today?" 

Subscribe to Vintage Computer Federation.

On using pipes and Domain Specific Languages: what if you could actually plug languages together like you can plug programs into pipelines?

See See Robin Milner's Polyadic pi-calculus Tutorial (1991) and Alan Kay's talk given to some people at Qualcomm in San Diego, on October 30, 2013, posted on YouTube in July 2014:

Also try and find something about Sharpie online (mentioned here: https://www.cs.tufts.edu/~nr/cs257/archive/jeannette-wing/pi.pdf "Rather, π-calculus is best viewed as a formal framework for providing the underlying semantics for a high-level concurrent or distributed programming language. For example, Jim Larus, Sriram Rajamani, and Jakob Rehof give the semantics of their new Sharpie language, for asynchronous programming, in terms of π-calculus [LRR02]."). See  Dustin Casto - A Raspberry Pi 5 OpenWRT Router with 2.5Gbps LAN.

Subscribe to da009999.

Comments

Post a Comment

Popular posts from this blog

Steven Johnson - So You Think You Know How to Take Derivatives?

Image
A derivative is linearisation, and differential calculus is essentially linear algebra, ...  See  Freya Holmér - Why Can't You Multiply Vectors?  and  Freya Holmér on Continuity of Splines . See also the MIT OCW page:  Matrix Calculus For Machine Learning And Beyond  (Alan Edelman, Steven G. Johnson) Subscribe to The Julia Programming Language . Alan Edelman talking about expressing mathematics as computer code. The idea is that you can use computer languages to communicate mathematical ideas precisely to other people. See my comments about functional programming languages here:  https://prooftoys.org/ian-grant/hm/ Subscribe to TEDx Talks .
Read more

Welsh Republic Podcast Talking With Kars Collective on Armenia Azerbaijan Conflict

Image
  In the last 30 hours, Azerbaijan has blocked the Berdzor Corridor (the only route in and out of Artsakh), established a military police presence, threatened to shoot any flying object leaving the capital Stepanakert, and has now cut the gas supply. This is now a blockage. — Kars Collective (Կարսի Կոլեկտիվ) (@KarsCollective) December 13, 2022 Subscribe to Welsh Republic Podcast .
Read more

Hitachi HD44780U LCD Display Fonts

Image
I finally got the bit-mapped fonts from the Hitachi "1602" display :  Here's some JavaScript: const HD44780U01ASCII=[ [],[],[],[],[],[],[],[],[],[],[],[],[],[],[],[], [],[],[],[],[],[],[],[],[],[],[],[],[],[],[],[], [0, 0, 0, 0, 0, 0, 0, 0, 0, 0, ], [4, 4, 4, 4, 0, 0, 4, 0, 0, 0, ], [10, 10, 10, 0, 0, 0, 0, 0, 0, 0, ], [10, 10, 31, 10, 31, 10, 10, 0, 0, 0, ], [4, 15, 20, 14, 5, 30, 4, 0, 0, 0, ], [24, 25, 2, 4, 8, 19, 3, 0, 0, 0, ], [12, 18, 20, 8, 21, 18, 13, 0, 0, 0, ], [12, 4, 8, 0, 0, 0, 0, 0, 0, 0, ], [2, 4, 8, 8, 8, 4, 2, 0, 0, 0, ], [8, 4, 2, 2, 2, 4, 8, 0, 0, 0, ], [0, 4, 21, 14, 21, 4, 0, 0, 0, 0, ], [0, 4, 4, 31, 4, 4, 0, 0, 0, 0, ], [0, 0, 0, 0, 12, 4, 8, 0, 0, 0, ], [0, 0, 0, 31, 0, 0, 0, 0, 0, 0, ], [0, 0, 0, 0, 0, 12, 12, 0, 0, 0, ], [0, 1, 2, 4, 8, 16, 0, 0, 0, 0, ], [14, 17, 19, 21, 25, 17, 14, 0, 0, 0, ], [4, 12, 4, 4, 4, 4, 14, 0, 0, 0, ], [14, 17, 1, 2, 4, 8, 31, 0, 0, 0, ], [31, 2, 4, 2, 1, 17, 14, 0, 0, 0, ], [2, 6, 10, 18, 31, 2, 2, 0, 0,...
Read more