The Eternal Doorman

For more Eelectrical  Engineering, see Jade on The Integral Formulation of Maxwell's Equations . For more on music and poetry, see Moritz Klein's DIY Synth Prototyping Station . The idea is to be able to use computation to make languages for describing how modular synthesisers interconnect, and then to use those languages to describe sounds at different levels. I had this big bust-up with Richard Stallman in 2014, because I was basically saying that we should make the abstract information about the devices free, not some concrete realization of just a limited instance of it, which is what people typically mean by the term sofware . In fact the term software as it was originally used in the US defense world was to refer to manuals and training, as opposed to hardware, which is the term for the actual mechanical devices. In the world today software is fundamentally mechanical: a program is a concrete mechanism that performs some mechanical action in response its input. So wha...

He starts out talking about Higher Education and goes on to talk about Corporations and how hard it is to produce scalable solutions to problems, ... I'm only half way through though. I hope he doesn't stop at computing, ... I am amazed at how hard it was to figure out what software I needed to create this PDF page: The languages are English, Greek, mathematics, SVG and Standard ML. The problem is the number of different pieces of concrete software involved. These are all fairly well-defined languages, but there is no software that actually knows what languages are in general, and how they can be translated one into another. At 41:30 he lost me completely. I didn't know what HANA is, I had to look it up. I think what he's saying is that by choosing what you "buy your way into" at the beginning, you have some control over what kinds of economic development happen in the future.  Maybe this explains the comment at 36:44 about businesses not being allowed to...

My comment was deleted by YouTube: Open Source is not the solution. I have been trying to get people to understand this for nine years. Richard Stallman didn't get it either. Google "karger schell multics security evaluation" and read about object code trap doors in the 1974 USAF report. [ https://csrc.nist.gov/csrc/media/publications/conference-paper/1998/10/08/proceedings-of-the-21st-nissc-1998/documents/early-cs-papers/karg74.pdf ] The problem is that the semantics of the language, whether assembly or higher-level are determined in practice by some object code, which is the machine language the CPU executes as it compiles the program. Karger and Schell recognised and described this problem and produced an example in Multics in the early seventies. The problem is still not recognised by security professionals. So what do we do? I wrote about my 2014 battle with Richard Stallman in a blog post called "The Mother of All Software Vulnerabilities" on a blog calle...

It all started 75 million years ago when a huge shale deposit was laid down, under the sea, presumably, which is now the oil-rich Maracaibo Basin of northwestern Venezuela, site of several hundred menes , which are fossil-rich tar pits. There are other sites in the Americas, such as La Brea in Southern California which feature this phenomenon. See  La Brea Del Sur: the fossil-rich tar pits of Venezuela may rival those of Southern California.  Then the story continues in March 2013 when I was in Rurrenabaque, Bolivia, failing to get any help from my former colleagues at the University of Cambridge and, having sold everything I owned, facing a very uncertain future in the Bolivian Amazon. Realising my problem was economics and people's failure to understand what it is all about, I made what I thought might be my last attempt to explain Aristotle's economics to the general public. As I wrote, I listened to this on repeat. I think I must have heard it over a hundred times in three...

See  Gerald Jay Sussman on Using Computer Programs to Understand Physics . I just listened to the second half of this Strange Loop 2011 talk, starting from the story about the constraint propagator model at 25:05 : Subscribe to Strange Loop . There are some really interesting ideas there. They aren't pie-in-the-sky (or pis in the concrete !) either. Those lambda models of electronic circuits he described could be used to specify the code to implement control systems on embedded computers, so you don't have to use hand-coded control loops and load device-specific driver API libraries which are all vulnerable to subversion of software development systems. See  The Mother of all Software Vulnerabilities (jueves, 16 de julio de 2015)  and  Ian Grant's Weather Report 8/23/22 . See  Juan Browne on Some Of The Mechanics of Pilot Training . You really want to be sure the software development tools they use at Garmin are not subverted.

See  ‘It won’t simply be sanctions’: Biden adviser threatens to punish Russia with ‘tools seen & unseen’ for SolarWinds hack Over a thousand Russian engineers attacking one li'l ol'e software company! Dang, they didn't stand a snowball's chance in Texas! See The Mother of All Software Vulnerabilities and Amy Ziegart on Cyberwar . Then see  This Campaign is on The Road .

This just sounds like people with fragile egos who are deeply insecure. Does it really need a label beyond that? Why is narcissism formidable? (Actually he says people ask "Why are narcissists formidable?") How not to mistake a psychopath for a narcissist: See the comment by Ronnie for a detailed index of the talk: Having listened to those three talks I guess I must seem incredibly naive! See  Sunsets and Psychology With Myra West . Or am I just a narcissist? Somebody once told me I was, when I tried to get people to design decent computer software. See  The Mother of all Software Vulnerabilities . Oh dear, principle type schemes, Andy Pitts? Or  Principal type-schemes for functional programs ? See  Hilary Putnam on Philosophy And our Mental Life  and  https://prooftoys.org/ian-grant/hm/ . Subscribe to Dr. Todd Grande .

My suggestion would be identifying the underlying problems that made these hacks possible. How many are they? Are there any known solutions to any of them? In other words, generalize the problem. See also  The Mother of all Software Vulnerabilities  and  Amy Zegart on Cyberwar .

Just listen to him. He speaks for himself. See  The Mother of all Software Vulnerabilities .

See  Brittany Venti and Alex Stein - It's Easy To Be Complacent  and these posts on The Mother of all Software Vulnerabilities .