Posts

Showing posts from April, 2026

Nima Alkhorshid talking with Richard Wolff and Michael Hudson

Image
My comment : I'm bored of listening to economists. All they talk about is fiat currency and mismanaged national economies. The problem is not something you can solve within the system that produced it, because the system needs these problems: that's how people make more money. What we have to do is start a parallel economy in which the existing fiat currencies have no value, otherwise the vast amounts of currency that now exist will always be able to subvert any such attempt. The question is, how do we set up this parallel economy in such a way as to avoid it becomig like the corrupt mess to which we are trying to make an alternative? But it seems as if economists only know this central bank/MMT nonsense. So how can we do this without the help of any economists? Subscribe to  Dialogue Works .  My comments : Yes, it's f___ed up everywhere! I think it's a consequence of nearly 20 years of unbridled money-printing. There is now a stratospheric layer of funny money and a bu...

Colleen Fazio Fixing a 1951 Supreme Spectator Amplifier

Image
Sign up for The 2026 Chicago Amp Build Class  here.  The tubes are seventy five years old and they still work perfectly. See the manual here.  Stay for the interesting thoughts on old-energy electronics! See  Lubbock Lights  and this March 12, 2001 FOIA request for information on UFOs held by the CIA.  Subscribe to Fazio Electric . 

Julia Buenaventura talking with Sasi Alejandre

Image
Really interesting stuff about Plan Condor, the CIA and drug & arms trafficking to finance black ops in the sixties.  Telesur website:  https://www.telesurtv.net/multimedia/ Television YouTube channel:  Multimedia del sur .  Subscribe to  Julia Buenaventura  and  Sasi Alejandre . 

Matt Mikhailov and Vincent McKibbon on The Problem with Open Hardware

Image
I don't understand much of this. It's something to do with hardware for FUBS. See  Eron Woolf on Why Open Source is Failing  and  Jason Kridner talking About BeagleBoard.org and Software Development .  See  JDWK Jobs .  Subscribe to FUTO . 

Jeremy Gibbons on Total Functional Programming

Image
See  Recursive coalgebras from comonads  by Venanzio Capretta, Tarmo Uustalu and Varmo Vene. Also  Intrinsically Correct Sorting in Cubical Agda  by Alexandru et al . and  The Genuine Sieve of Eratosthenes  by Melissa E. O’Neill.  Subscribe to  Topos Institute . 

Kevin Walmsley on AI in the USA and China

Image
It's diverging quickly. He has extensive references in the video description and in  this comment .  Subscribe to Inside China Business . Subscribe to Dwarkesh Patel . This WSJ article about the 2022 "Delete America" initiative:  A directive known as Document 79 ramps up Beijing’s effort to replace U.S. tech with homegrown alternatives .  Subscribe to Diary of a CEO . Subscribe to  Novara Media . 

Documentary About Water

Image
  Lots of pretty pictures. See  Experimental observation of the liquid-liquid transition in bulk supercooled water under pressure . Subscribe to  Slice Science . For another model, see  Gerald H. Pollack: Weather & EZ Water .

An Excellent Talk about Computability and Hilbert's Entscheidungsproblem

Image
He calls it the entschuldigungsproblem though.  My comment : 7:15 Jenann Ismael gave a talk at Johns Hopkins last year entitled "Cracks in the edifice of determinism" where she argues that this sort of self-reference produces questions which have no meaningful answer. There then arises the question as to how much one can reasonably deduce about physical processes (such as computation) based on their demonstrated inability to answer such questions. See  Jenann Ismael - Laplace meets Godel: How Self reference Foils Prediction  for more details and a suggestion as to a better way to define "effectively calculable" that does not depend on our incomplete knowledge of physics.  Subscribe to  Computable Secrets . Subscribe to  Hopkins Natural Philosophy Forum .  See  Dana Scott on Lattice Fixpoint Semantics and Gopal Gupta on Logic, Co-induction and Infinite Computation . On Monday, Aug. 29, 2016 in Berkely, Dana Scott gave  a lecture on a model ...

Olive Badger on Car "Kill Switches"

Image
My comment : I need to listen to this again because I got to the end and I was thinking "but wait, why do you need to id the driver at all? Don't you just need to check that the person sitting behind the wheel, whoever they may be, is not drunk, impaired, asleep, whatever?" This is a decision that can be made entirely locally by some "logic" in the car can't it? Or do these systems need really big AI back-ends to function. The answer would be for the legislation to mandate a "Chinese wall" between the DADSS subsystem and the vehicle ownership data, and to forbid the logging or transmission of the data. That might be a bit hard to enforce in practice, but there is technology that can do this and do it verifiably, however it seems we aren't allowed to talk about it.  Subscribe to  Olive Badger . The Supreme Court getting into difficulties trying to treat personal data as property: The problem is because data (it's really information describi...

Jazz Maia on the Illusion of Duality

Image
This made me think a bit harder about identity and separateness. My comment : Your remark about personal identity being necessary, and your earlier one about our personal identity being a construction reminded me of something that happened a couple of months ago. I passed out and evidently collapsed onto the floor, but I had no recollection of actually falling. Someone "woke me up" and as I became aware of this person talking to be, I felt as though I had been dragged away from a place of complete calm and comfort, into a world of pain and nausea with blood on the floor where I had apparently hit my head. The relevance to your remark is that it is actually our physical existence as healthy living organisms that lies at the root of that identity. Not just our ability to recall events in our past, which is a large part of our idea about what we really are, but the physiological memories that we carry completely unconsciously. As it happens I had a pulmonary thrombosis which cau...

Jade on Random Monkeys

Image
My comment : Ada and Isaac! Of course! ❤️ Great to see you again! It doesn't really matter that this whole video is based on a ludicrously implausible premiss, which in fact betrays some awful chauvanism: monkeys' behaviour is no more random than the behaviour of human beings! So, as the experiment in that English zoo indicated, even an infinite number of monkeys given an infinite amount of time would not even write out a couple of verses of one play. Maybe this was what they explored in that Simpsons episode. It is much more likely that the monkeys would get so bored and fed up that they would eventually figure out what it was they were expected to do, and then start deducing from the behaviour of the people studying them what was the sort of thing they should type, and then they probably would be able to learn to type out Shakespeare plays just as good as the plays that the monkey Shakespeare wrote. The sonnets, however, might be more difficult. Subscribe to  Up and Atom . 

Nondeterminstic Evaluation

I found this interesting 1982 paper by William Clinger:  Nondeterministic call by need is neither lazy nor by name  and another paper, this one from 2002 by Maribel Fernández and Lionel Khalil:  Interaction Nets with McCarthy's amb . See  Sean Haas on Models and Programming .

Lawrence Wilkerson, Matt Ho and Karen Kwiatkowski on US Diplomacy and the US Military

Image
Some eye-opening remarks towards the end of this.  Subscribe to  Dialogue Works . She mentions that the Pentagon did attempt to do an audit once, but I guess the data is just not there anymore? And their banks' data?  See  https://karenkwiatkowski.substack.com/ . See  https://matthewhoh.substack.com/ . Subscribe to  Judging Freedom . 

Toby on Publishing

Image
See  Toby Hendy has Published Her Book: A Guide to Making Friends in the Fourth Dimension  and  Toby on Why Her Book Isn't Available on Amazon .  If you just want people to read your book, then give away the PDF file. The only thing publishing does is provide some means to get money for your effort. Some publishers will market your book and therefore perhaps it will reach more potential readers, but who knows? See also  Toby on YouTube's AI Curation of Content Providers .  Subscribe to Tibees .  Luca the Jaguar turned 19 in June 2023 and according to one report he died later that year.  Subscribe to  Toronto Zoo . 

James Corbett on Cybernetics

Image
My comment : That slogan "The purpose of a system is what it does" probably has its origin in Aristotle's De Anima . For Aristotle the soul was three different but interdependent things: the vegetative, the animal and the rational. Plants have a vegetative soul which is how they reproduce, animals have a vegetative soul and an animal soul, and human beings have vegetative, animal and rational souls. The nature of these souls he called their perfection: what they strived to be. This was the teleological purpose or final cause of the soul. So Aristotle was saying that what a system does, when it is functioning properly , is its purpose. The kinds of system the cyberneticists studied were systems which had this teleological, goal-seeking behaviour by virtue of the internal relations of their parts to one another. So when you apply this slogan to what is loosely called "the education system" you are really abusing the terms 'system' and 'purpose'. It...

Kyla Scanlon on The Cost of Outsourcing Innovation

Image
You end up with shit like prediction markets and AI chatbots instead of social media that's actually helpful to people and empowers them.  Subscribe to  Kyla Scanlon . 

Katie Halper Talking to Yasha Levine About his Documentary

Image
See also  LA Times - California orders bottled water company to stop ‘unauthorized’ piping from springs  and  In California Bees Can Legally be Fish .  Subscribe to  The Katie Halper Show . Subscribe to  Watermelon Pictures . 

Sean Haas on Models and Programming

Image
I didn't realise until just now that Adjunct of Computing is an Adjunct to Advent of Computing. The adjunct to this episode is  People Talking about Programming . Subscribe to  Advent of Computing . 

Crisis in Perception - An Example of a Common Problem

Image
It's not just water, this happens with gasoline too. Ask an Iranian. But there are many, many, many equally dumb things people do all over the world. The problem is most of them are considered "part of the way of life" in whatever society in which they occur, and nobody wants to change their way of life.  Subscribe to  Crisis in Perception . 

Airship Entrepreneurs

Image
They're hiring:  https://sceye.com/career/ . Subscribe to KRQE News . Subscribe to  Electric Aviation . 

Tsoding Standard ML

Image
He first tries to build and install sml/nj but his GNU Binutils package isn't up to it, so he tries Moscow ML ,.. I can't bear to watch. Sad how little interest there is in God's programming language.  (But I did send kfl a PR for some very conservative changes to make utf8 encoded character I/O feasible.)  He next decided to write raylib bindings for Moscow ML: Subscribe to Tsoding Daily .  Here's some stuff that uses raylib .  Subscribe to  raylib . 

Asianometry - Fanuc and the NC Revolution

Image
My comment ; That was really interesting. Thank you. The causal gap between reading binary integers off a paper tape and the movement of the tool in that MIT machine controller is intriguing. There's quite a lot to do, because you have to parse the stream of numbers into at least x, y and z movements, but there must also have been some sort of timing control or feedback-driven wait condition. That's not too much short of a Turing nachine. In the early seventies, losses in a manufacturing downturn in the US, caused by tightening credit and a slowdown in the aerospace industry in the mid sixties, resulted in the merger of most small macine-tool businesses. See the book  When the machine stopped : a cautionary tale from industrial America  which is also available on the Internet Archive  and tells the story of Burgmaster  and its acquisition by Houdaille Industries .  This was the start of the long slow decline of American manufacturing which started sixty years ag...

Al Jazeera Inside Story - Who's in Control of AI?

Image
This panel, from the video description :  Ramesh Srinivasan -- Professor at UCLA Department of Information Studies, AI and technology specialist. Marc Einstein -- Research Director and Global Head of AI Research at Counterpoint Research & Digital Transformation analyst. Adrian Monck -- Senior Adviser on AI and Technology to the United Nations and Editor of the 'Seven Things' newsletter in Geneva. Subscribe to  Al Jazeera English . 

Robert Elder's Robot Tank Project with His Students

Image
See  Robot Tank Quality Assurance & Design Evaluation . He also did a great blog post about Jeri Ellsworth:  Jeri Ellsworth & the Robot Uprising of 2038 . Subscribe to Robert Elder Software . 

Dimitri Lascaris Interview With Abdulwahid Abu Ras

Image
From the video description : In August 2025, Israel murdered Yemen's Prime Minister and several other members of his cabinet, including Yemen's Foreign Minister. Shortly after the assassinations, Abdulwahid Abu Ras was appointed as Yemen's acting Foreign Minister. He has remained in that position since then.  On April 25, 2026, Foreign Minister Abu Ras sat down for an exclusive, wide-ranging interview with Dimitri Lascaris. The Foreign Minister and Dimitri discussed the possible closure of the Bab al-Mandab Strait by Yemeni forces, the strategic defeat of Israel, the expulsion of U.S. forces from the region of West Asia, and the damage that Saudi Arabia will suffer if it enters the war directly against Iran. Subscribe to  Reason 2 Resist . 

Niccolò Veltri - Type-Theoretic Constructions of the Final Coalgebra of the Finite Powerset Functor

Image
I was just idly searching GooTube for stuff on final coalgebras, as you do when you wonder why everybody thinks knowledge depends on concrete representation, ...  See the paper  Type-Theoretic Constructions of the Final Coalgebra of the Finite Powerset Functor . See also  People Talking about Programming .  This is post number 13,000 on this blog.  Subscribe to  FSCD 2021 .

Olivia Rodrigo - Drop Dead

Image
Subscribe to Olivia Rodrigo . Subscribe to Audacy Music . 

Europe's Cynical Stance on the Ukraine Conflict

Image
Subscribe to  Judging Freedom . Pink Floyd helped Andriy Khlyvnyuk raised £500,000 to support medical, humanitarian and refugee organisations in Ukraine and Poland.  From the video description :  Pink Floyd 8-Tracks - The New Compilation Album Featuring Eight Curated Classics, Spanning 1971 - 1979. https://pinkfloyd.lnk.to/8Tracks The tracklist includes hits ‘Money’, ‘Wish You Were Here’, ‘Another Brick in the Wall, Part 2’, ‘Time’ and ‘Comfortably Numb’, alongside earlier cuts ‘One Of These Days’ and ‘Wot’s… Uh The Deal’, as well as an exclusive full version of ‘Pigs On The Wing’, previously available on the 1977 Animals 8-Track cartridge release. Pink Floyd would like to thank everyone who has supported Hey, Hey, Rise Up . The single, recorded on 30th March with Andriy Khlyvnyuk of the Ukrainian band Boombox, has so far raised over £450,000 to help alleviate the suffering of the Ukrainian people. I wonder much 8-Tracks earned?  Subscribe to  Pink Floyd . Subsc...

The Global Economy

Image
James Rickards on Petrodollar 2.0 Subscribe to  The New Order TV . Lena Petrova See  https://www.worldaffairsincontext.com/  and  https://www.patreon.com/cw/LenaPetrova . Subscribe to  World Affairs in Context . Richard Wolff Here's a WaPo fact-check on Tommy Tuberville's stories about his father:  Tuberville’s tales about his father in World War II have false elements .  See  https://glenndiesen.substack.com/  and  https://www.patreon.com/glenndiesen . Subscribe to  Glenn Diesen . 

Participatory Budgeting Versus Private Equity

Image
Subscribe to  FREE . There's a lot of stuff that has to be sorted out before any public spending makes any sense at all.  Subscribe to  Inside China Business . See  Greek Democracy  and  Lewis F. Powell Jr. and His Memorandum of August 23, 1971 .

Next Level Computing on Old Hardware

Image
We're getting there,..  Slowly. See  https://ctx.graphics/terminal/ . See the terminal message processor at level 2 of Edsger W. Dijkstra's  The T. H. E. Multiprogramming System .  Subscribe to  media.ccc.de .  Subscribe to  orailnoor . 

Interview with Michael Stonebraker

Image
Subscribe to  Ryan Peterman .  Here he talks about the idea of operating systems being built over a database. Subscribe to  Datacamp . 

Greek Democracy

Image
See also  The Athenian Constitution  (at Yale!)  Subscribe to  Spectacles .  So much for the idea that the rot set in in 1971:  Lewis F. Powell Jr. and His Memorandum of August 23, 1971 . See  Toby on Capitalism and Arithmetic  and  Janet Axelrud Performing "Oh the places you'll go!" . 

Charlotte Moser on Climate Models and Data

Image
My comment: Wow, a cliff-hanger ending! I have often thought that the adaptive capacity of natural systems is a kind of learning and so by observing plant and animal behaviour and correlating this with local weather conditions (down to the micro-climatic level) might provide better general prediction methods than you could get from large-scale observations made from satellites. Of course, many of those ecosystems are in a quite severely degraded state so the amount of insight to be had is going to be quite limited, but if we worked on restoring land then in the process new patterns and new adaptive capacities would emerge at the same time.  Subscribe to  Charlotte Moser . 

Lewis F. Powell Jr. and His Memorandum of August 23, 1971

Image
See the memo  Attack on American Free Enterprise System . The first nine pages describe the "attack" the remaining 26 pages lay out the response. Powell eventually got an appointment to the Supreme Court.  See also  The [1998] Financial Coup d'état Explained With Former US Government Insider Catherine Austin Fitts ,  Alex Krainer on the Economic Outlook  and  Economic Madness .  My comment : I bet the corporations got tax rebates from donations to think tanks too. It's certainly the case now. "Most think tanks in the United States are registered as non-profit organizations under section 501(c)3" according to the onthinktanks organisation. Subscribe to  How History Works

Max Tegmark Running a Bullshit AI Psy-op

Image
My comment : 5:23 This is crazy. Any "hard-core nerd" would want to know how they can be sure that that docker image was actually running the verifier and that the verifier hasn't been tampered with somehow, but there is no infrastructure to allow that. Then they would want to know how they can be sure that the Telegram app on their device was actually compiled with that code, and then what does that really tell them about the security of Telegram on their device, because the device may have backdoors. There is no foundation at all in actual knowledge for believing anything about this verification process. And we haven't even discussed the belief in why eliptic curve cryptography is actually secure. Like all other public key cryptographic algorithms it is ultimately based on the absence of knowledge of any feasible way to solve a certain class of equations, and how fo you verify the absence of knowledge?  Subscribe to  Lean FRO . 

Anton Petrov on Another Reason Why Cutting Down Forests is a Bad Idea

Image
Subscribe to  Anton Petrov . 

World Domination Fundraising Day #365

Image
See  Uplink 2026 , in particular  https://ctx.graphics/  and  https://openrndr.org/ . See also  EWD196  which was published in 1967 in SOSP '67: Proceedings of the first ACM symposium on Operating System Principles. Subscribe to  Robert Elder Software . 

Israel Assassinating Journalists

Image
Subscribe to  Kim Iversen . Subscribe to  The Katie Halper Show .  See  Fiorella Isabel talking with Marwa Osman  and  Dimitri Lascaris talking with Marwa Osman .  Journalists should definitely not be using WatsApp to communicate! See  Maddy on the Dark Web . 

Maddy on the Dark Web

Image
There is a bit about the Tech Learning Collective that is interesting ( 6:33 ). My comment : That was interesting, but I didn't get any of the blurred-out stuff. I feel privileged to have led such a sheltered life! It's a pity that people like the Tech Learning Collective need to share the same space as all that garbage. For a while it looked like port-knocking might be a way to make private networks. Do you know about that? It requires communities to meet IRL first and establish some shared secrets to bootstrap the secure connection. Maybe that's why I don't have access to any private networks. Maybe ask someone at the TLC about this. I actually wrote an article about this on my blog in 2014 called "Shadow TCP stacks in OpenBSD" but if you Google that you won't find it. Even if you put in the blog domain name it won't tell you anything. The first sentence reads "This design outline concerns the implementation of a protocol for dynamic routing b...

Olive Badger on Claude "Mythos"

Image
This whole LLM thing is just a giant collective brain-fart. See  Hak5 - Security News  and  Toby on YouTube's AI Curation of Content Providers . Subscribe to  Olive Badger .  The dodgy accounting behind the AI "business plan" Subscribe to  The Tech Report .  This made me despair. Subscribe to  Topos Institute . 

Hak5 - Security News

Image
It's a madhouse! They're only a few thousand short of 1M subscribers, so subscribe to Hak5 and get them a new plaque. 

Toby on YouTube's AI Curation of Content Providers

Image
It's a bit depressing! My comment : 5:37 There are actually a few theorems in his "biography" The Life and Letters of Lewis Carroll. Not so bizarre, though I couldn't immediately prove them so maybe they are? Also if you include some of his other books like Sylvie & Bruno and A Mathematical Tale,  I think you could make a video.  This is quite an interesting glimpse into how "the algorithm" "works" (it definitely doesn't!) I wish the people who work there (all ten of them that aren't sub-contractors in India) took their responsibility a bit more seriously. And another :  10:55 I think they have a serious problem which is the enormous amount of disk/memory space needed to store all the uploads. They only make money from views, so it stands to reason they would prefer people to make videos that are viewed than ones that just sit there and only get a few incomplete views per year. I am really surprised they don't have quotas to dis...

Ringo Starr - Long Long Road

Image
See  https://ringo.lnk.to/LongLongRoad See the full playlist here . Subscribe to  Ringo Starr . 

Laura Pausini - Immensamente

Image
She wrote the script and shot the video herself. It's really good. Subscribe to  Laura Pausini . Song written by Umberto Tozzi Subscribe to  Umberto Tozzi . 

Dimitri Lascaris talking with Marwa Osman

Image
See  Fiorella Isabel talking with Marwa Osman .  Subscribe to  Reason 2 Resist . 

Uplink 2026

Image
This is the state of the art in open source/libre software. See  https://videoproof.appspot.com/  and  https://github.com/FontBureau/TypeRoof . His talk last year is  TypeRoof —Type Tooling Infrastructure .  See  https://openrndr.org/ See  https://upstage.org.nz/ See  https://ctx.graphics/ My comment : Very cool! This is the (enhanced) message interpreter at level 2 of Edsger Dijkstra's T. H. E. Multiprogramming System, with "fancy messages". See EWD196 . Subscribe to  media.ccc.de . 

Feliz día mundial de la tierra

Image
Subscribe to  Koka Tele . 

Fiorella Isabel talking with Marwa Osman

Image
See  Lebanon Ceasefire  and also  Vanessa Beeley Talking With Setareh Sadeqi and Marwa Osman  and  Vanessa Beeley and Fiorella Isabel on the UNSC Resolution - Oil over Human Lives .  See  https://x.com/Marwa__Osman . Subscribe to  Critical Perspectives .  33:00  I think that was recorded before this news: See  Marwa's X post here .  Subscribe to  Al Jazeera English . 

About Logic with Seunghyun Song and Jordi Fairhurst

Image
This is a really interesting insight into mathematical practice and mathematical politics! 46:25 On navigating unkind epistemic environments.  See  About Logic with Andrej Bauer .  Subscribe to  About Logic .  This reminds me that I haven't watched Norman Wildberger's latest:  And here's his previous talk on multisets:  They're just vector spaces, I think. See  Gabriele Carcassi on The Correspondence Between Quantum and Classical Mechanics .  Here's the Algebraic Calculus playlist (YouTube channel members only.)  Subscribe to  Norman Wildberger .  And I haven't listened to this yet, but it sounds quite interesting:  He is using this idea to introduce category theory (or maybe I'm just being epistemically over-friendly?)  From the video description : A finite-dimensional vector space is isomorphic to its dual, but only if you pick a basis. It's also isomorphic to its double dual, and that isomorphism requires no choi...

Abby Martin's Documentary Earth's Greatest Enemy

Image
She's showing it on YouTube to all her Empire Files channel members on April 30. Subscribe to  Empire Files . 

AI and Privacy

Image
Weird, I watched this short and YouTube hung up on me, because it wanted me to think about something: He's talking about his voice notes app,..  Subscribe to  JP makes apps .  So we can't have private peer-to-peer messaging without setting up a server on a well-known IP address, which is therefore a SPoF and vulnerable to denial-of-service or snooping attack, but...  2:51 Google have had this for ages, just not for users. Subscribe to  FUTO

UAE Funds WBD Buyout, then...

Image
The UAE could become the next beneficiary of a Federal Reserve swap line, which would give it the same status as other countries which have intelligence sharing agreements with the US. See  Clara Mattei talking with Costas Lapavitsas .  See  Private Equity in the US  and  The American Media Disaster . See also  Trump's "reshaping the media" post : Talking with Daniel Davis this morning: Subscribe to Lena Petrova . 

Przewalski's Horses, Yellowstone's Wolves and Finland's Wild Salmon

Image
See the Wikipedia entry for  Przewalski's horse .  The horses were a crucial part of the ecosystem and when they went extinct it became a desert. 15:19 Ecological economists calculated the value of each horse to the ecosystem, and it came to over US$47,000 per horse per year, just for being horses.  See  Wall Street Also Think this Whole Iran War Thing is Fake News .  Subscribe to  Ground Zero .  And if you let the salmon back into the rivers then the bears get better food to eat,... Subscribe to  Daily Discoveries .  So many stupid AI generated thumbnails! 

Private Equity in the US

Image
This is amazing. Apparently white-collar crime prosecution in the Unite Ststes these days that high-power lawyers have no work. They should try ambulance-chasing: 8:13 It's cross-border too, so ambulance manufacturers in the US and Canada are all wrapped up into just two companies. And this whole shit-show is publicly funded since 2016. See  https://substack.com/@mattstoller  in particular this piece  Monopoly Round-Up: Some Surprising Setbacks for Trump-Aligned Corporate America . See Trump's "reshaping the media" post and  The American Media Disaster .  Subscribe to  Inside China Business . 

Lambda Calculus to System-F

Image
The System-F one is the only one I have watched and it is excellent. The others are probably also just as good. See also  People Talking about Programming  and  Tsoding Standard ML .  Subscribe to  Computable Secrets . 

The American Media Disaster

Image
See this post and her previous video  Audrey Henson on the Paramount Warner Bros. Discovery Merger . Subscribe to  Senate in Session  and  The Drey Dossier . 

Anton Petrov on Limnic Eruptions

Image
See Lake Kivu on Google maps.  See these links to Wikipedia: Mazuku Limnic eruption Lake Monoun Lake Nyos disaster Lake Kivu Subscribe to Anton Petrov . 

Chinese Movie Production Facility

Image
They have a studio in Vancouver too,... See  SciFi Short - Moondays .  Subscribe to  Film Versatile . 

Lt. Col. Karen Kwiatkowski and Alex Krainer

Image
See  What Do Pirates Eat?  on her Substack .  See also  Glenn Diesen talking with Jack Matlock Jr .  Subscribe to  Judging Freedom . 31:26 On projected oil prices and the US$220 Trillion in the shadow banking system.  34:11 The question of why stock markets are so stable. See Kyla Scanlon's NYT op-ed in  Wall Street Also Think this Whole Iran War Thing is Fake News .  42:30 The transition to a multi-polar world structure which is a slow process, principally because of the United States (and I would add, the UK). This would be a lot easier if individuals could choose for themselves which systems they wanted to be a part of, which is something you could allow with technology,...  45:06 On a Russian invitation to African states to drop the IMF. Also he mentions Yemen and Bolivia turning down IMF rescue packages.  See  https://alexkrainer.substack.com/  and  https://substack.com/@lenapetrova . Subscribe to  Lena ...