The Eternal Doorman

  Subscribe to Marina del Pilar .

1:16:57 On metrics that don't measure and hair-dressers! See  Intransitive dice . See  Tensor Fields and Simplicial Complexes  and  observable in nlab : In physics and in the theory of dynamical systems (deterministic, stochastic, quantum, autonomous, non-autonomous, open, closed, discrete, continuous, with finite or infinite number of degrees of freedom…), an observable is a quantity in some theoretical framework whose value can be measured and observed in principle. Any good theoretical framework of physical phenomena should come with carefully established notion of an observable.  ... See also measurement in nlab : In principle, any interaction between two physical systems is a measurement, whereby each system measures the state of the other. In practice, we break the symmetry by treating one system as the real physical system S of study and the other system as merely a measuring apparatus A with the sole purpose of measuring S. If the properties of A are mo...

See  Queen's Bush : It is known as the location of communities established by Black settlers, many formerly enslaved in the United States, in what would become Canada. Established in 1820 and known as the Queen's Bush Settlement, the community grew to more than 2,000. In the early 1840s, the land on which they lived was surveyed for future sale. Following the survey, many of the Black residents were unable to pay for the land and migrated out of Queen's Bush. Listen to Michel Hudson on his sequel to his book on the future of civilization:  Michael Hudson Interviewed by Glenn Diesen .  Subscribe to  Robert Elder Software .  Subscribe to  Glenn Diesen . 

My comment : 6:09 Why, it's a department of energy scam of course. Didn't some AI once say intelligence would be something you can get on a metered account, like electricity? Or was that an AI CEO that said that? Or was it a goblin? 29:53 They destroyed science funding but they had to, to save the economy, see. This is how it goes: we have a huge amount of private debt invested in AI companies that have no "revenue model", i.e. they have no conceivable way to actually ever make a profit, because people only use AI because it's free. If you charge any reasonable amount for it (i.e. enough to cover the costs) then nobody will be able to afford to use any AI at all. So these businesses are not viable, but thousands of shadow banks and sovereign wealth funds and goodness knows what else have invested in them. Now the only thing to do is throw more money at it, so you get more institutions dependent on cheap AI and then you charge the smart ones to make the necessary...

Subscribe to Robert Elder Software . This was from March, 2025: Ready to fast-track your startup? The Accelerator Centre's AC:Studio program  offers up to $100,000 in seed funding, personalized one-on-one mentorship, and expert tactical support to help you take your business to the next level.  Eligibility: Early-stage startups with an innovative tech product or process. Support: Mentorship, in-kind hours with industry experts, market research, and more. Results: $40M+ raised, 700+ new jobs created, and $21M+ in revenue generated in 2023 alone! Applications open April 30, 2025. Don’t miss out on the chance to grow your business with AC:Studio’s comprehensive support!   They have this group meeting "She talks tech", ... See  The Non-profit Industry in Kitchener, Ontario . Subscribe to Accelerator Center .

There is a really serious underlying problem here and it's beyond just British mass hysteria. Or maybe it is just a consequence of over half a century of BBC news? See the full interview on her Patreon:  https://www.patreon.com/posts/patreon-full-max-157487338 . They just released episode three featuring J. K. Rowling: Subscribe to Katie Halper .

Before it became known as a disaster, ... Subscribe to The History Guy .

..., and he made a four-and-a-half-hour analysis of it. See the Senate hearing:  To receive testimony on the posture of United States Indo-Pacific Command and United States Forces Korea in review of the Defense Authorization Request for Fiscal Year 2027 and the Future Years Defense Program  ( transcript here ). It's horrifying:   Subscribe to The New Atlas .

See the video description : This talk advances the case for logical pluralism at the object logic level within a unifying meta-logical framework. While modern proof assistant systems often enforce a single foundational logic — a tendency we may call logical imperialism — such rigidity impedes the kind of interdisciplinary reuse that robust knowledge representation demands. Our proposed alternative is LogiKEy: a logic-pluralistic methodology for knowledge representation and reasoning in which object logics are treated as first-class, analyzable entities, with applicability across many fields, including but not limited to computational metaphysics and ontology. The virtues of LogiKEy are illustrated through a concrete case study: Gödel's modal ontological argument and Dana Scott's variant of it. Supported by experimental studies in a proof assistant system for classical higher-order logic, we demonstrate how the framework promotes interdisciplinary research and education on logic...