The Eternal Doorman

5:14 This made me think a little about the idea of " Surplus value ", especially how it applies to bullshit industries like cybersecurity. These are bullshit because they came about when people realised that a problem, that of the software, particularly Microsoft Windows, being garbage, meant that there was an opportunity to make money by selling "tools" to help people deal with the consequences of the bad software they were being forced to use. I don't think Marx's theory applies unmodified to modern economics after businesses became divorced from the material and energetic substance and became information processing.  Subscribe to Verso Books . 

According to Google AI, Liz Oyer was fired from her position as a DoJ Pardon Attorney  after refusing to recommend restoring Mel Gibson's gun rights. Also according to Google AI "Gibson lost his right to own firearms in 2011 after pleading no contest to a misdemeanour domestic violence charge involving an altercation with his then-girlfriend in 2010". Oh wow, I didn't know that. The difference between real-life and the movies, ... See  DOJ official says she was fired after opposing the restoration of Mel Gibson's gun rights . Nancy Guthrie is the 84‑year‑old mother of NBC News journalist and Today co-anchor Savannah Guthrie, and she was apparently kidnapped from her home in Arizona with motives of extracting a ransom from someone. [Update: see this The Onion piece :  ]  Subscribe to  Lawyer Oyer . Subscribe to The Onion .  The people at the FBI have to put up with more than a lot of people realize:   Subscribe to Coral Gables Art Cinema . Subscribe t...

Why'd they call it that? Because it  made people fart ? It was a pretty comprehensive program to develop techniques to torture and maim people clandestinely. Who would want to be a pathologist these days anyway. Subscribe to Kim Iversen .

25:03 On the ATF sending weapons to Mexico.  See  https://www.derrickbroze.com/ . Subscribe to Kim Iversen . Inna Afinogenova:    Subscribe Inna Afinogenova . The Economist podcast Jason Palmer with their Mexico City bureau chief Sarah Birke. 3:39 The King Ping strategy is something to do with Chinese trade connections, I suppose. You have to be able to juggle a lot of balls when you're working for The Economist in Mexicico City, ... Subscribe to The Exonomist .  Maybe Private Eye are going to do something on this too, ... About ten years ago I thought he might offer himself up as a sort of very low-grade human sacrifice, ... maybe that's what this was? Subscribe to Private Eye . 

See  Reuters - Katy Daigle Interviewing Jeffrey Sachs on Sustainable Development . See also  https://www.caf.com/ . Subscribe to  TV UMSA LP .

See  Petrification in Contemporary Set Theory: The Multiverse and the Later Wittgenstein by José Antonio Pérez-Escobar, Colin Jakob Rittberg and Deniz Sarikaya : This paper has two aims. First, we argue that Wittgenstein's notion of petrification can be used to explain phenomena in advanced mathematics, sometimes better than more popular views on mathematics, such as formalism, even though petrification usually suffers from a diet of examples of a very basic nature (in particular a focus on addition of small numbers). Second, we analyse current disagreements on the absolute undecidability of CH under the notion of petrification and hinge epistemology. We argue that in contemporary set theory the usage of construction techniques for set-theoretic models in which the Continuum Hypothesis holds and those in which it fails have petrified into the normative demand that CH remain undecidable. That is, the continuous and successful practices involving the construction of various set-theo...

Talk given in London in 2017. Subtitle: how the Internet drowned in it's own bullshit. See  https://www.codemesh.io/codemesh2017/michael-sperber  and  https://www.active-group.de/en/ . Subscribe to  Erlang Solutions . Edward A. Lee on Making Concurrency Mainstream. Posted a decade ago, watched 70 times.   His idea is at 37:07 .  Subscribe to Microsoft Research . 

Subscribe to Theos Theory . In other news: AI traders take down the stock market Subscribe to  Breaking Points .

See  https://biolink.website/tienda.rutalonso . Subscribe to Rut Alonso .

This was a Covid talk on 18 May 2020, PLAS seminar, School of Computing, University of Kent. He has been doing this for a while: see this 2010 talk  Mixing induction and coinduction in Agda Thorsten Altenkirch . There are some interesting illustrations of the relation between formal theorem proving and (some other parts of) mathematics. See  Andrej Bauer on Intuitionistic Logic and Constructive Mathematics  and  Curt Jaimungal interviews David Bessis . Subscribe to  Olaf Chitil . See also  https://people.cs.nott.ac.uk/psztxa/AIMXV/Talk.html/Talk.html  and  Zainab Ali - Recursion Schemes from First Principles .

He doesn't seem to know anything about computers, so he thinks beg-tech companies are the only organizations that can develop communications systems. Subscribe to Institute of People Talking Crap in Hay on Wye .

My comment : Subscribe to Anton Petrov .

Sick of AI storytelling? I can assure you no AI was used in the making of my new short film Crash Site. Why, you ask? Are you against it morally and philosophically because AI will replace us all!?! No, no nothing like that. I didn’t use AI because in reality, this short film is not really new. It was shot in 2013 and while I had gotten very far into post on it, there was always one last thing to do. So now after more than 10 years, I finally got it done, without AI. It stars Steven Yeun and Sam Richardson giving awesome performances and is a true labor of love from a small crew of friends and a throwback to a time before AI existed and we made movies with people about people discovering and using things that have ramifications far beyond their control...Funded via Kickstarter and filmed in just four days with a crew of friends, this short is a scrappy, heartfelt tribute to the kind of sci-fi films we grew up loving.  It's really good! See  https://www.crashsitefilm.com/ Direc...

The questions Curt asks are so annoying that I am starting to wonder if maybe I know stuff that most other people don't.  Subscribe to Curt Jaimungal . 

See  https://graphicallinearalgebra.net/ ,  https://homotopy.io/ and  Brendan Fong and David Spivak - Seven Sketches in Compositionality: An Invitation to Applied Category Theory . See  Richard Southwell on Coxeter Groups  and  Discrete Mathematics from which this is a kind of follow-up. Also  Daniel Tubbenhauer Explaining What Lie Groups and Lie Algebras Are . It's also an appeal to studying things by translating them into other languages: see  Mark Jago on Type Theory in Computer Science, Logic and Linguistics . See also  Ian Clarke on Freenet . The final screen: adding complex numbers Subscribe to  Richard Southwell . Norman Wildberger's take on complex numbers: ... and quaternions, ... Recovering the algebra: Subscribe to  Insights into Mathemathematics . John Baez - The periodic Table of n-Categories.  He starts by explaining why it is that "categorification" seems ad hoc : it's because it's to undo an accidental decateg...

See  John Campbell on mRNA Vaccines  and  John Campbell and Claire Craig on COVID and mRNA Vaccines . 10:29 It's absolutely astonishing that these don't show up in autopsies, only in embalming. Ask the Pathological Society of Great Britain and Ireland (I thought that was a joke, but it's not!)  Subscribe to Dr John Campbell . See in particular the part ( 3:10 ) where she explains what she means by banality . Subscribe to Philosophy Overdose .

It's really, really interesting to see what sort of things this medium can do. Lot's of it is quite counter-intuitive. See the previous talk here:  Inductiva - Chantal Roth on Fundamental Physical Models . See the models at  https://jsfiddle.net/u/Chenopdodium/collection/spin-1-2/  and  https://jsfiddle.net/u/Chenopdodium/collection/wave-vs-particle/ . Subscribe to Inductica . 

13:42 A modality is a Monad on Propositions (and the theory of a monad is decidable! See  Oracle modalities  by Andrew W Swan  and  Andrej Bauer and Ronald Brown On Monads and Groupoids and Alexander Grothendieck on his idea for a Science Fiction Novel on Motives ). To understand this idea you need to be able to understand Kleene's notion of Realizability and Hyland's Effective Topos  which depends heavily upon Tripos Theory , a tripos  here is "a topos-representing, indexed, pre-ordered set".  Kleene's attempts to interpret intuitionistic logic were all more than a little weird, I suspect he had dubious motives. See Markov's principle  and Realizability .  Intuitionistic logic is in a sense strictly more expressive than classical logic. See  Emily Riehl on Univalent Foundations . Subscribe to  Types and Topology Workshop . Dr. Martin Escardo on Searchable sets and ordinals in system T given at a six month 2012 programme called...

Wow, I just discovered what a nightmare react is. You're out of your minds! See  Building a Simple Virtual DOM from Scratch . Subscribe to  Tech Talks YLD .

See  Probability in many-worlds theories by Anthony J. Short : We consider how to define a natural probability distribution over worlds within a simple class of deterministic many-worlds theories. This can help us understand the typical properties of worlds within such states, and hence explain the empirical success of quantum theory within a many-worlds framework. We give three reasonable axioms which lead to the Born rule in the case of quantum theory, and also yield natural results in other cases, including a many-worlds variant of classical stochastic dynamics.   See also  Mark Jago on Type Theory in Computer Science, Logic and Linguistics  and Robinson Erhardt - Tim Maudlin & Jacob Barandes: The Indivisible Approach to Quantum Theory .  Subscribe to Dr Maria Violaris .

First an introduction: My comment : This is great! For a long time I have been thinking that someone (I guess it's me!) should produce a system that allows people who are studying these different logical formalisms to fairly easily write formal descriptions of translations from one to the other and also to formally prove things about the translations and maybe about these translation processes themselves (You would want a very expressive system like HoTT with Univalence to do this though. See Voevodsky's comment at 2016 Heidelberg Laureate Forum "... it came out, as a result of practical work on formalization we just discovered that the law of excluded middle and axiom of choice can be avoided in the univalent foundations much more successfully than they can be avoided in set theory, so things which can not be done without them in set theory can be done without them in the univalent foundations, so then there was this understanding that the classical mathematics appears as...

It's really great to see how all the maths was developed and how the physical theories followed. Often it seems that it was the mathematical developments that gave the physicists the ideas about which models would yield solvable equations! See  Jorge Diaz on Heisenberg's "Über quantentheoretische Umdeutung kinematischer und mechanischer Beziehungen"  and  Robinson Erhardt - Tim Maudlin & Jacob Barandes: The Indivisible Approach to Quantum Theory . These two fill in some more gaps: In this one we get a look ( 7:45 ) at how Dirac "unified" the Heisenberg and Schrödinger pictures. See  Gabriele Carcassi on Why Statistical Mechanics is Fundamental in Physics :   See also his recent short essay:  How fundamental physics progresses . I looked into his claim that Maxwell's electrodynamics followed from a mathematical inconsistency in Ampere's law. That may be what actually happened, but it is hard to say whether the inconsistency was purely mathematica...

Watch right through to the end, ... in 2013 there was a near miss in almost identical conditions, an inquiry was conducted and a recommendation made to close that Helicopter route, but the FAA took no action. See  The Evolution of Air Traffic Control Procedures . One of the NTSBs findings was that there were inadequate mechanisms for sharing information between the different agencies involved. They don't have FaceBook pages then? How come? Dan has a film production company called Serendipitous: see  https://s-films.com/about/ Subscribe to Taking Off .

This is a bit short on science, but interesting: see  New science in plain sight: Citizen scientists lead to the discovery of optical structure in the upper atmosphere : A glowing ribbon of purple light running east-west in the night sky has recently been observed by citizen scientists. This narrow, subauroral, visible structure, distinct from the traditional auroral oval, was largely undocumented in the scientific literature and little was known about its formation. Amateur photo sequences showed colors distinctly different from common types of aurora and occasionally indicated magnetic field–aligned substructures. Observations from the Swarm satellite as it crossed the arc have revealed an unusual level of electron temperature enhancement and density depletion, along with a strong westward ion flow, indicating that a pronounced subauroral ion drift (SAID) is associated with this structure. ...  And without FaceBook it would never have happened! Subscribe to  Real Storie...

She's quite good at it, ... Subscribe to Kim Iversen .

This is a really good discussion. Far better than any interview I've seen someone try. 1:08:09  On the positivist's principle of instrumentalism. Here they are talking about Sydney Shoemaker's "thought experiment" (it's not an experiment that in principle could actually be done) described in his 1969  Time Without Change . 1:22:32  On the historical development of Quantum Mechanics see  Jorge Diaz on Heisenberg's "Über quantentheoretische Umdeutung kinematischer und mechanischer Beziehungen" . See also his video below on Hamilton-Jacobi mechanics for more details on Barandes' comments. 2:29:40 On decoherence and measurement, seeMaudlin's  Three measurement problems  ( pdf here if you're lucky ). 2:34:48 On probability see Maudlin's 2007  What could be objective about probabilities? On the derivation of the Foldy-Wouthuysen transformation of quantum states: see Harvey Brown  Aspects of Objectivity in Quantum Mechanics . Subscribe...

There was an ACM SIGPLAN ICFP track called ML'23 apparently. 20:47 It's a pity that they couldn't have worked on MLRisc a bit more: this was in 1994! " CPS is compiled to a tree language called MLRISC; intended in part, to describe the simplest kinds of operations implementable in hardware. No assumptions are made regarding addressing modes or types of instructions, and because of our register allocation scheme, there are few assumptions made about physical registers. The MLRISC is then converted to a flow graph of target machine instructions, which is optimized using generic optimization modules parameterized over a machine description . ... The new code generation strategy is implemented using an SML version of iBurg "  It was only 20% slower than code generated by the LLVM backend. See  A New Backend for Standard ML of New Jersey .   He also did a talk on the Pretty Printer system: I think the way to deal with this is to recognise that pretty-printing is jus...

This is about a paper published in 1991:  Functional programming with bananas, lenses, envelopes and barbed wire  by Erik Meijer, Maarten Fokkinga & Ross Paterson. Other references to articles and papers by Milewski , Wadler and Gibbons at 32:48 . I also came across this paper by Wadler:  The Girard-Reynolds Isomorphism . I wish I had known about this, it would have saved me several years of work! Mike Gordon presumably didn't know about it either: see Emily Riehl and Terrence Tau on The Future of Mathematics . Subscribe to  Lambda World . And I just found this 2016 ICFP talk by Dan Licata on Functional programming and Homotopy Type Theory. At 45:54 there is an example of taking this idea of higher inductive types to verify interpreters. Subscribe to ICFP . This was  given in 2019. See  Cubical Agda: A Dependently Typed Programming Language with Univalence and Higher Inductive Types : The principle of univalence is the major new addition in Homotopy...

She has a new album. See  Lykke Li Inks With Neon Gold Records, New Album ‘The Afterparty’ Due in May . Subscribe to Lykke Li . 

This is so different to the story you get from most introductory textbooks. See  Angela Collier and Gabriele Carcassi on Physics Textbooks . Here's his video on the ground state:   And here's his video on how Planck produced his black-body radiation curve formula: Subscribe to Dr Jorge S. Diaz .

  Subscribe to German Science Guy . There is a company that have been developing parametrised CAD software for this sort of thing. See  https://www.ntop.com/  and  The Plane That Will Change Travel Forever, ...  Subscribe to  nTop .

She doesn't think telecommunications is important. I guess WhatsApp works fine for her and her friends. See  On The State of the World . Subscribe to Channel 4 .

Subscribe to Angela Collier . Griffith's exercises are interesting. Her summary was definitely vastly more insightful than the AI one. Gabriele Carcassi on what an introduction to quantum mechanics could look like: it would start by pointing out that classical statistical mechanics is incompatible with the Third Law of Thermodynamics , ... They have a paper published yesterday on this: see  Gabriele Carcassi, Manuele Landini and Christine A Aidala,  Classical mechanics as the high-entropy limit of quantum mechanics   Phys. Scr . 101 065105. Subscribe to Gabriele Carcassi . See also  Curt Jaimungal Interview With Robert Spekkens  and  Vitaly Vanchurin on Thermodynamics of Machine Learning . Last night I listened to Janet talking about time and Quantum Mechanics. What she said was really interesting: that superposition states might only be superposition states because the time-keeping machinery is independent of the observer's time.  See  Gabriele ...

People like Richard Murphy and Chris Hedges who think they know the state of the world by listening to the BBC and watching YouTube are misguided. That's not the state of the world, that's a mechanism for creating consensus about the state of the world, and it is a damaging one. There are much better ways to create consensus but people are so busy worrying about the state of the world they don't have any cognitive capacity to think about alternatives. It's a self-sustaining storm of nonsense. The sad fact is that we are collectively incapable of doing anything that does not generate a financial profit for someone. See  HRH King Charles III Celebrating Fifty Years of Saying The Same Damned Thing Over and Over Again .  I spent almost two years in Britain and nobody wanted to talk to me me about this. A nation of castle-dwelling shop-keepers. Reposting this because I found a video that says it much better:  Subscribe to Kyla Scanlon . Chris Hedges doesn't get it: Subsc...

 Redefine success, ... Subscribe to  Awesome Coding . 

As well as this ecological aspect, there is also a financial one where the parents of the child and the village invest money in a deposit account,   according to Wikipedia .  See the series on Vimeo: HOPE! We are In Time . Subscribe to Hope .

They say this is the first time they played this song at a sound check in Chicago. They have an album coming out called 'As Time Explosions'. At least, that's how YouTube AI thinks the video description should be translated: Aquí está la primera vez que tocamos Big Crime: de la prueba de sonido en Chicago. Álbum 'As Time Explosions'. See As Time Explodes .   Subscribe to Neil Young . 

My comment : He started this in 2017 and by October 2018 he already had Richard Dearlove, retired head of some Secret spying operation in the FCO? See the Sky interview where he talks about what "people like him" were worried about. I seriously doubt this whole thing is all about the Labour Party, unless the Labour Party by then was the only thing between "these people" and ultimate world domination. So who are "these people"? The Rothschilds? The Rockefellers? The Medicis? The Pointer Sisters? Subscribe to Declassified UK .  John Le Carré interviewed in 2010:  5:40 Money laundering and the impossibility of preventing it. Unfortunately he didn't explain why it is impossible to do anything about it. It's just impossible. Maybe ask someone at the  University of Cambridge.  9:23  Mandelson at a money-laundering boat party off the coast of Corfu, ... See this Reuters piece from October 22, 2008:  Russian billionaire yacht affair shakes UK politics . ...

This is really great! Something just clicked for me about equality types ( 4:39 ).  See  Univalence as a principle of logic  and  Kripke-Joyal forcing for type theory and uniform fibrations . 24:05 the quote from Frege is  I am convinced that my Begriffsschrift will find successful application wherever particular value is placed on the rigor of proofs, as in the foundations of the differential and integral calculus. It seems to me that it would be even easier to extend the domain of this formal language to geometry. Only a few more symbols would need to be added for the intuitive relations occurring there. In this way, one would obtain a kind of analysis situs . Preface to Begriffsschrift, 1879, Gottlob Frege 26:15 How the discrete types are identified in type theory.  29:07  Thorsten on the question of the discreteness of the equality type and infinity groupoids being a very natural idea from the perspective of geometry. 35:08 On Identity types, Un...

It's interesting. He says ( 32:10 ) "A problem, you can solve or not solve, and that's a scoring function. And AI is pretty good at optimizing scoring functions. But a conjecture could be useful, or not useful, ... you can generate random conjectures, but to generate a really fruitful conjecture, ... we don't have a good scoring function for that."  See  Terence Tao on SAIR and Jazz Maia on Manifestation . Subscribe to SAIR . 

41:57  Trying to understand the thermodynamics of neural networks in terms of temperature, entropy, ensemble spaces etc. Then in the next 8 minutes or so he explains how he arrived, via grand canonical ensembles , at a linear dynamics described by a kind of Schrödinger equation. At 57:00 there is a rather confused discussion about some "second law of learning" but he never seems to get around to actually saying what it is. Maybe it's just that the second law of thermodynamics should be restated as something like "The entropy in a closed system increases at the maximum possible rate". See also  Philip Ball and Stuart Kauffman on Biology . Subscribe to Curt Jaimungal . 

It looks like they were trying to establish some sort of privatized WHO that would have executive powers over various governments, ...  They had parametrised "pandemic bonds" that were issued by insurance underwriters.   22:04  Maybe this explains the UK government's response to the "pandemic"? See  Krishnan Guru-Murthy interviewing Russian Ambassador Andrei Kelin . See  https://sayerji.substack.com/ Subscribe to Kim Iversen . 

See  https://sair.foundation/  and  Emily Riehl and Terrence Tau on The Future of Mathematics  and  https://www.math.inc/a-conversation-with-terry-tao . I wonder if any of these advertised at the Superbowl? See  Kyla Scanlon - Superbowl Ad Analysis .   Subscribe to SAIR .  Subscribe to  Innerverse with Jazz Maia .

AI is just a nostalgia amplifier. It's as if they are trying to find a way to monetize God. Now where could they have got that idea from? See  Jazz Maia and Steve Keen on Hope, ... Sara Imari Walker on Life . Subscribe to KylaScanlon .

See  Linus Torvalds' Other Hobby  and  Switch Angel - Vibe Coding Without AI . There are a couple of standards for DAW plugins that allow audio data to be mixed. Here is a demonstration of two plugins, one called plugindoctor and another called formula . Then see  Ian Clarke on Freenet . Subscribe to Computerphile and  David Domminney Fowler .  

Melvyn Bragg is the interviewer: The issue about whether or not "science" tells us the Universe is deterministic or random doesn't really have any relevance, because science presupposes human agency: reductionist science describes conditions that need to be established in a laboratory, and the only way to do this is for a human being to carry out whatever steps are necessary to bring those conditions about. If the subject of the scientific theory is a natural phenomenon then there must be some necessary context in which it occurs and again the science requires that a human being makes those particular observations, of monkeys in the forest in Costa Rica, say, or scientists in a laboratory in Berkeley. Subscribe to Philosophy Overdose . Vitaly Vanchurin on an idea inspired by modern cosmology:  Link to his publications on INSPIRE .  Subscribe to Curt Jaimungal . Alison Gopnik has an interesting perspective: see  Alison Gopnik - The Evolution of Human Intelligences . It s...

Who'd have thought that background radiation shows strong 'non-local' second-order correlations?! See  Inductiva - Chantal Roth on Fundamental Physical Models  and  The Action Lab - Branched Flow . Here's the photon sieve video: At 10:06 there's a kind of stop-motion effect achieved by changing the focal plane of the microscope, which then shows a different stage in the evolution of the image as the light moves away from the sieve. Here's his photon bunching ( Hanbury Brown and Twiss Effect ) video: This is a description of the process of making the sieve mask:  At 7:53 there's an interesting thing that happens when the etching isn't complete. And finally, here's a short course in photolithography: Subscribe to Huygens Optics .

 ... in two kinds of way, ... I was going to post a comment to the effect that the stock markets are basically all just one giant fraud, ... See  Michael Hudson Interviewed by Glenn Diesen . Subscribe to Steve Keen .  Then I listened to this, ... Now I think we desperately need a decent communications system! See Ian Clarke on Freenet . Subscribe to Innerverse with Jazz Maia .  YouTube didn't recommend this, I had to search for it, ...  48:03 The search worked! See  I Asked Google A Personal Question, ...  My comments : 58:22 I like hearing people talking about perfect circles. My favourite perfect circles are the ones which are curves where the perpendiculars to the tangents all intersect exactly one straight line. Other people may prefer other kinds of perfect circle, that's OK. I might be talking nonsense though.  1:04:20 Language as a physical causal structure?! How about perfect circles as a physical causal structure then? I think language...

This is really interesting. He has written a book  The Classical Wave Theory of Matter: A Dynamical Interpretation of Relativity, Quantum Mechanics and Gravity .    See his website:  https://classicalmatter.org/ . My comments : 17:28 It's not clear this is a conservative system though. What if this wheel, gummy-bear, whatever is not at the end of the string? If you hold the neighbouring wheels, gummy-bears, whatever, still and turn one on the middle then all that happens is you warm up the elastic band they're threaded on. So it is important that the neighbouring elements are free to move and that the elastic band is perfect. Then wouldn't you get half the twist going in one direction and the other half going in the other direction? [ 31:58 Ah OK] I think the more interesting model is that the 'photon' is a topological deformation in the perfectly elastic ether and is emitted by a spin 1/2 particle doing that Dirac belt trick thing, but that's not a material m...