The Eternal Doorman

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 . 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...

My comment: There are two other occupants that are interesting: the Community Company and the Community Foundation . I looked up the former's web page and doesn't say anything about how they are funded. Maybe that's what the Community Foundation is for? It sure is great there is so much support for the non-profit sector of the economy! See  VeloCity Startup Accelerator for Undergraduates .  Subscribe to  Robert Elder Software .  1:35 The Community Company work with non-profits to build revenue models...  Or "generating undesignated revenue".  Subscribe to  Waterloo Region Small Business Centre .  It's some sort of Ponzi scheme Obama and Trudeau set up to absorb all the cash they printed and keep a handle on inflation. Probably invented by Mark Carney. See  Nima Alkhorshid talking with Richard Wolff and Michael Hudson .  See this piece:  Learning by Doing: How We Turned an Investment Decision into a Community Learning Opportunity I...

Listening to Freya Holmér last night I started to get glimmers of an idea I had long ago about how to represent vector spaces in computational processes using this recursive abstract type :  abstype 'a point = POINT   of {getx :  'a vector,       diff :  'a point -> 'a point,       move :  'a point -> 'a point,       scale : 'a -> 'a point,       proj :  'a point -> 'a} with    fun new i (op +) (op -) (op * ) dot =    let fun self x =  POINT       {getx = x,        move = fn (POINT pr) =>           (self (x + (#getx pr))),        diff = fn (POINT pr) =>          self (x - (#getx pr)),        scale = fn i =>          (self (x * i)),        proj = fn (POINT pr) =>     ...

See  https://ginwigmore.lnk.to/BMS See also  Gin Wigmore - Country Diamond .  Subscribe to  Gin Wigmore . 

See my comment : 13:54 That "burst of evolutionary innovation" was also when qualia like colour evolved, ... As well as evolving predator-prey relationships there were plants evolving coloured flowers and fruit that changed colour when it was ripe which meant that birds and animals could see it, and birds whose plumage became coloured because their mates could see it, and finally people who hunted the birds and animals etc, etc, .... I wonder what new qualia trilobites evolved?  Subscribe to Anton Petrov . 

See Stuff That Used to Happen in Ontario  and  Financial Viability of Livestreaming v. Outdoor Living .  Subscribe to Robert Elder .  Subscribe to Startup Canada . On taking over the TVs: See  https://fcast.org/   Subscribe to FUTO .