The Eternal Doorman

See  About Logic interview with Giovanni Sambin . For more on Herbrand and "Syntax all the way down" listen to John Searle . My comment : 29:59 Deniz should be more discerning about the kinds of knowledge, otherwise he has to explain what he means when he finds Thorsten skipped breakfast. For example, you don't have to be the Pope to know that Bertrand Russell didn't have cereal for breakfast. See Polylog on The Busy Beaver .  Subscribe to About Logic .

So they get it?! But they don't call it syntax, they have to call it declarative meta-modelling otherwise nobody will give them money. See Category Theory May Actually be a Disease . Subscribe to Topos Institute .  My comment : The original source of this idea was in Volume II of the USAF Multics Security Evaluation report by Paul Karger and Roger Schell (1974) . You can get a copy of the full report online, this particular vulnerability is called an object code trapdoor. There is an even more insidious vulnerability in the machine's bootstrap loader. Amazing that these problems clearly identified in 1974 have never been addressed. Nobody I know of has ever suggested a method for detecting these exploits let alone preventing them. See  Nir Lichtman on Booting Linux Under GDB and Angelo Papenhoff on Plan9 . Subscribe to  Premature Abstraction . 

It's really interesting. He worked for the UN in Sudan. Jacques Baud is contesting punitive EU sanctions for allegedly contributing to Russian misinformation campaigns. He can no longer travel or receive his pension, or income from any of his books. See  EU extends sanctions against Jacques Baud . He is trying to raise a legal fund to contest the sanctions  https://www.liberteexpression.ch/ . Subscribe to Scott Ritter . 

 

The Flaming Lips. The Teardrop Throbs arrives everywhere on Friday, January 22, 2027. Coming soon: God Will Control the Werewolves .  Subscribe to The Flaming Lips out of Oklahoma . 

It looks really good. It's open access too. See  https://tomasp.net/cultures/  and he has an exhibition in Prague and is offering to tour with it too. 23:48 The Mathematical and Humanistic cultures he describes here are not rational, they are vegetative. See  Hope - It's not Just France and Italy, ...  and The Functional Craft of Programming on Being Intelligent About Stuff . This is just the 27 page introduction to the book that he talks about here, there is a lot more to come.   Subscribe to Tomas Petricek .

He is being intentionally inflammatory, and it's like a breath of fresh air after all the bullshit. See  Michael von der Schulenburg interviewed by Glenn Diesen . 6:42 His comments about Zelensky's physical security were a bit of an eye-opener for me.  My comment : 24:08 In France? I have no idea, but see my reply to this comment below for what they are in Spain. See Hope - It's not Just France and Italy, ... Subscribe to Glenn Diesen . 

These seem like really intelligent people talking about intelligent responses to problems. I hope George Monbiot learns something from this, and people in Italy and Serbia .  This is the Real Spanish Revolution. The basis of any true Nation's wealth has to be its land, and that means the state of its land. So the basis for any national economy has to also be the state of that nation's land. 30:36 See https://puedeserlahostia.es/ . If you get these models working properly then you won't need the actual money to do the investments, because the models will be more authoritative than the financial markets. But to get that we have to first restore the understanding of actual human knowledge which has been perverted by modern "logic". See Searle on Consciousness . 43:37 See what Spain used to have in the practical reason department:  @eugeniomonesma-documentales . 1:41:08 On the difficulty of making and executing national plans and integrating local initiatives. Th...

My comment :  There is a lot you can do if you change the problem! Take social media platforms for example. You don't need to have some fixed notion of simultaneity in the sense of a total order that your platform preserves on message timestamps. If you model time as a partial order then you can have distributed systems which update asynchronously according connectivity and available bandwidth. If you are smart enough to be able to change your business models then you can produce adaptive distributed booking systems on a similar basis. Imagine an airline booking system that only scheduled flights and routes once it had enough committed bookings, and whose prices adapted according to the booking status and what people were prepared to pay. If we were really smart we would be able to manage entire global supply chains like this, right down to scheduling where to build railway lines and roads. Maybe the Chinese will help us do this? Ask Jeff! See  Richard Wolff interviewed by Afs...