Posts

Robert Elder at the University of Waterloo Accelerator Center

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

Max Blumenthal on the Filton Six Trial in England

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

The History Guy on the Hindenberg

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

Brian Berletic Listened to A Two Hour Senate Armed Services Committee Meeting, ...

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

Christoph Benzmüller - Many Logics, One Methodology

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

The Non-profit Industry in Kitchener, Ontario

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

Tensor Fields and Simplicial Complexes

Image
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) =>     ...

Gin Wigmore - Beautiful Mess

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

Anton Petrov on the Evolution of Sight

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

VeloCity Startup Accelerator for Undergraduates

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