The Eternal Doorman

From the way she describes it, it sounds positively Aristotelian! Anora sounds more fun: Subscribe to Deepfocuslens . Yup, cheese all the way through, ... I love the AI "Yes" soundtrack on the trailer: It's like Hollywood did that thing monkeys are said to do if they get shot in the stomach. They pull all their intestines out to find the bullet. Well, that's what a kid once told me at school. Subscribe to  Movie Trailers Source HD . Red Rocket sounds more like it: Trailer: Subscribe to  A24 .

  See this post . And just yesterday I realized that Che Guevara was killed on John Lennon 's 27th Birthday. And the hand-sign for peace and victory are the same. See Happy Birthday John Lennon and https://www.violentlypeaceful.com/ . Subscribe to Zero Podcasts . So, I have a playlist of songs I listen to when I go for a walk. They're all downloaded onto my phone:

She does custom builds for people: And this was one she did five months ago: Her email is in the video description . Subscribe to Fazio Electric .

Dijkstra makes several references to US politics in this lecture he gave in 2001 or thereabouts. I'm sure it will be a long Tuesday ! Subscribe to  Senad Mehic . Kim Iversen talking to John Wood Jr. about Braver Angels and depolarization. See  https://braverangels.org/ : Social media has nothing to do with this? OK, if you say so. You're welcome to your opinion. See  https://www.kimiversenshow.com  for the full episode. Subscribe to Kim Iversen . Then I saw this and it's brought me to tears!  Subscribe to Caught in Providence .

Subscribe to Hannah Fry .

Ditto! Subscribe to Sabine Hossenfelder .

Hi 🙂 There are tons of videos on the internet that teach you *things*. This is not one of those! What you’re getting is watching me learn, watching me follow my curiosity. Maybe it will remind you what learning and curiosity looks like (if you have forgotten). Maybe it will inspire you to follow yours. It is SLOW. It’s about going on tangents, getting lost, and finding your way back. This is what learning looks like. This is not high dopamine content. Grab a cup of tea, let this video be a bedtime story if you want. Let the video play in the background while you do work or study (if you’re one of those that likes someone talking about random things in the background. I like that sometimes. Or, sure, listen to what I'm saying. I’m glad you’re along for the ride. What are you curious about learning? There are awesome people in the comments, I hope you connect with each other and I’ll drop in as well to respond to what I can, when I can. Notes: 1. I did notice my microphone picked up...

Yes! See  https://www.deepfocuslens.com Subscribe to Deepfocuslens .

For more Eelectrical  Engineering, see Jade on The Integral Formulation of Maxwell's Equations . For more on music and poetry, see Moritz Klein's DIY Synth Prototyping Station . The idea is to be able to use computation to make languages for describing how modular synthesisers interconnect, and then to use those languages to describe sounds at different levels. I had this big bust-up with Richard Stallman in 2014, because I was basically saying that we should make the abstract information about the devices free, not some concrete realization of just a limited instance of it, which is what people typically mean by the term sofware . In fact the term software as it was originally used in the US defense world was to refer to manuals and training, as opposed to hardware, which is the term for the actual mechanical devices. In the world today software is fundamentally mechanical: a program is a concrete mechanism that performs some mechanical action in response its input. So wha...

Watch it through to the end of the commercial, it's even funnier than the sketch. Subscribe to Julie Nolke . Lana Del Rey has a huge black truck: Listen to the whole album here .  If you lie down with me, ... you'll get a proper Harlem funeral baby! You can listen to the whole album here . Subscribe to Lana Del Rey . I took some photos for her: But I got way too many girlfriends now, ... Subscribe to Laura Pausini .

19:59 "Q: What is an equivalence class under isomorphism ? A: A set !" and the meaning of a proposition in intuitionstic logic is the set of its proofs. Now what a set is is a matter of taste, but Set Theory is the first-order theory of extensional equality and one binary operator. And a theory is a set of formulae closed under deduction. A theory is characterised by a signature . The language of a signature is the set of all well formed sentences built from the symbols in that signature together with the symbols in the logical system. See Standard ML For The Lady Programmer .  For more on infinity-goupoids and homotopy see Wikipedia's page Homotopy hypothesis , and John Baez's slides: The Homotopy Hypothesis . See also Daniel Tubbenhauer on Diagrammatic Algebra and Quantum Topology . Subscribe to Copernicus . I talked a bit about this idea last night: And I just noticed that YouTube has deleted all of Norman Wildberger's videos, or he deleted them, which ...

It's amazing what a difference you can make to the subject with just a few carefully chosen examples! For example, just watch this and then think about how it is that we know about the actual existence of electric and magnetic fields in empty space. Subscribe to Up And Atom . You can see and feel the interactions between magnetic, electrical and gravitational fields, if you do a bit of work to set up some appropriate boundary conditions: Here;s a more complex shape:   Subscribe to Robinson Foundry . So I spend my days connecting ideas, but I'm not supposed to be doing that. I am supposed to be securing an income so that I don't "spend my capital". Which makes one wonder what is capital? I am not sure about money being the device to control capital. I think it is data and information processing. Subscribe to Richard J Murphy . Now look at the monster that IBM has turned itself into after buying Price Waterhouse Cooper in 2002, (see IBM Gets A Bargain In PwC Cons...

They don't use language carefully enough. And what a great example she gives! Subscribe to Sabine Hossenfelder . At least they don't get implication the wrong way around: Subscribe to University of Saarland - Introduction to Computational Logic .

That swap-map diagram is just composition of permutations, I think. Every permutation can be decomposed into a chain of swaps. Quantum Topology and the Jones Polynomial : See Wikipedia on Quantum topology . Subscribe to Visual Maths . These diagrams all seem to involve some sort of process of building up processes from primitive processes, ... that reminded me of Girard's Proof Nets in Linear Logic , ... Then I started watching Voevodsky's lecture on Type Systems from Vladimir Voevodsky - An Intuitive Introduction to Motivic Homotopy Theory where he talks about type systems over finitary monads on sets. 17:33 It seems I'm not the only one that doesn't have a fucking clue what he is talking about! 23:55 Bob Harper was in the audience, apparently. So it sounds like that was a Categorical semantics for the type system, which type system he then tried to define using a set of inference rules, but got a bit bogged down with the type of Types, which are usually called Ki...

Oh wow, ... what a fantastic Christmas present for a kid! This is lesson one: That's what you need to make an analog modular synth controlled by a digital computer, I think. See  https://www.ericasynths.lv/shop/diy-kits-1/edu-diy-labor/ See also Moritz Klein Doing Real Greek Lego . Subscribe to Moritz Klein . Amy Sandoval on What Made That 80's Sound?: See  these posts of mine mentioning Amy's videos. Subscribe to Soundpaint Academy .

Given at The Clay Mathematics Institute (CMI) 2002 Annual Meeting, this is a talk meant to be intelligible to non-mathematicians. As a non-mathematician, I think he's done a good job. As a mathematician, I can't really say. He did point out something I think is very significant, which is that there is a deep connection between Periodicity in Clifford Algebras and in Homotopy Groups of spheres. See Bott Periodicity Theorem . So it's a kind of linking of Algebraic Geometry and Geometric Algebra. I am also starting to get an idea of what "set theory in higher dimensions" might be about. See Curt Jaimungal Interviews Gabriele Carcassi and Andrej Bauer and Ronald Brown On Monads and Groupoids and Alexander Grothendieck on his idea for a Science Fiction Novel on Motives . 19:35 Formally defining a Category. Considering the category of Topological spaces,"Instead of looking at the structure of an object, we look at his social relationships". See Digital Ch...

This was a bit difficult to listen through: See  Myra West's Hello, World Program . Subscribe to Myra West . I suggested she sharpen her throwing knives and practices to keep her eye in, and told her to watch this again, and maybe think about taking up archery as well as knife-throwing: Subscribe to Dead Can Dance . I tried to look up Maggie Ferreira, and this was the only hopeful-looking thing I could find. Her son's name is Brendan, ...: She had an MRI scan at some point:  Subscribe to Maggie Ferreira . Then I found Victoria's recent video on authenticity: See her blog https://www.violentlypeaceful.com where she talks about fashion. See Can I wear Intention? Subscribe to Zero Podcasts .

These are from the June 2009 archive of the Categories mailing list at MTA, Canada: https://www.mta.ca/~cat-dist/ One is Andrej Bauer on convergent rewrite rules for monad theories I thank eveyone who answered my question so quickly. For reference I post a summary of the answers. Bill Lawvere answered that "the theory of a monad is just that of ordinal addition of 1 on the augmented simplicial category Delta considered as a (non-commutative) monoidal category wrt ordinal addition." A relevant reference in this regard is his "Ordinal Sums and Equational Doctrines" which was part of the Zurich Triples Book, available online as TAC Reprints 18. Similarly, Jaap van Oosten pointed out that the free "monad on a category" on one generator is the simplicial category \Delta (nonempty finite ordinals and monotone functions). It follows from these observations that the theory of a monad is decidable. Todd Wilson kindly pointed me to a thesis by Wolfgang Gehrke, see ...

See Miss Smilla's Feeling for Snow : And here's The Van Gogh Café by Cynthia Rylant .  See Proof-Stories With Janet . Subscribe to Architect of Ideas .

Subscribe to Architect of Ideas . I made this this morning: See Curt Jaimungal Interviews Gabriele Carcassi . Then I went for a walk, ... Here's my windy video about Proofs and Truths See Curt Jaimungal Interviews Gabriele Carcassi . Larry Paulson's CADE-12 paper is A fixedpoint approach to implementing (Co)inductive definitions (1994). See Tom Ridge's paper Simple, Efficient, Sound and Complete Combinator Parsing for All Context-Free Grammars, Using an Oracle .  Tom did a talk at OCAML-2014 Subscribe to Malcolm Wallace . See also Architect of Ideas - Some Thoughts About Calculus and Infinity . On Lawvere's Fixpoint Theorem: see A Universal Approach to Self-Referential Paradoxes, Incompleteness and Fixed Points by Noson S. Yanofsky https://arxiv.org/pdf/math/0305282 , the original paper Diagonal Arguments and Cartesian Closed Categories by F.W. Lawvere and this video: See also Cantor's Theorem for posets on nLab . Subscribe to  Nikolaj-K .

46:24 Let me tell you what I think Quantum Mechanics is, ... This is where physics is upside-down. A physical system is defined by boundary conditions and these are macroscopic, if anything is to be observable by human beings. It is the boundary conditions which determine the measurable variables, not some idealised notion of the internal 'objective state' of that system. 1:34:15 Interesting discussion about non-additive measures of entropy in Quantum Mechanics. 1:47:51 What counts as a measurement? This is hard to say because in quantum mechanics individual measurements do not actually occur. When they do they have no statistical significance. It is only in the aggregate as a whole that the expectation values predicted by the theory can be verified. 1:59:33 He thinks of it as an engineering project. It's not about doing new physics, it's about finding the right connections between disciplines. There is an issue here though, because our knowledge develops in betwee...

Her name is Olivia Squizzle: Subscribe to Olivia Squizzle .

This is what I was hoping to find when I went to the City of Cambridge library during Mental Health Week to learn about Parkinson's, Alzheimer's and other neuro-degenerative diseases, but all I could find was a large number of books that taught people how to live with and care for a person with Parkinson's or Alzheimer's and that was really, really depressing! See Toby on The Most Controversial Photograph in Biology . 15:17 About MDS (Molecular Dynamics Simulations). They model the action of the proteins as a fluid dynamics problem! That sounds crazy! But it's because they are trying to model the thermodynamical environment in which the protein folding occurs, and they are using a dissipative model, I think. They are studying Cryo-electron microscopy structures, which are the proteins in a minimum energy configurations, so they aren't wiggling as they do in vivo. I recall that one of the goals of Robin Milner's development of the Pi Calculus was to be ab...

The first is a maths and physics one from Toby . The second is one on job-seeking from Richard Murphy . Richard J. Murphy is Professor of Accounting Practice at Sheffield University Management School. That sounds like a proper job. He has a blog: https://www.taxresearch.org.uk/Blog/ My thoughts on listening to his video: Leaving employment to the "jobs market" has the same effect on people's time that leaving pricing to the free market has on the value of natural resources. What ends up determining the monetary value of the goods is solely the opinion of those who happen to have enough money to actually buy those goods. Donald Trump seems to have the same problem with his policies of tariffs in the United States. He has to convince people there that imposing tariffs on imports will force those multinational companies who want to sell into the US market to move their manufacturing into the United States and invest in US citizens and US real estate in order to access US ...

... or maybe Cosmology, ... Subscribe to Architect of Ideas . Then I thought about Roger Penrose and his Twistor Theory. See Curt Jaimungal Talking With Roger Penrose and Sabine Hossenfelder on Physics Funding in Academia : I looked it up and the original EPR experiment (1934) supposed that two particles were emitted from one source with opposite momenta, and then observers A and B could choose whether to measure position or momentum, and in either case would be able to infer the opposite of the other particle, independently of what the other observer had chosen to measure. The variant invented by Bohm (1951) was an electron-positron pair with opposite spins. In this the source of the particles is something in a "spin singlet" state, where the particles' net angular momentum is zero. See Wikipedia article https://en.wikipedia.org/wiki/Singlet_state In a "Bohr-type model" atom the Azimuthal Quantum Number is supposed to determine the angular momentum for an ...

The best thing about it is that it makes it easier for people to do things together and to make a better future than the one we individually imagine. Subscribe to Zero Podcasts .

That Calculus Quest story sounds like a souped-up version of something somebody wrote as Brillant for their calculus course. Here's ChatGPT getting into the technical details.  I have a feeling there is a way to make sense of this: Subscribe to Architect of Ideas . Here are some women at Pembroke singing. As usual, the best bit is the ending: Subscribe to Anna Lapwood . Yes, that's really her name!

Most remarkable of all is P.A.M. Dirac's thesis for which the University of Cambridge awarded him the title Doctor of Philosophy. See  Toby Explaining Category Theory, Bob Ross Style . Subscribe to Tibees . It seems that post-structuralism was alive and well in Cambridge in the roaring twenties.

Palestinian Children's Relief Fund:  https://www.pcrf.net/ It's not just that that link might go away, it's that a link like that can be redirected based upon who looks at it. Ta-Nehisi Coates' links:  https://ta-nehisicoates.com/books/the-message/notes which redirects to a blog post right now: https://ta-nehisicoates.com/blog/notes-on-the-catastrophe/ . See also  Architect of Ideas - Welcome to Organised Chaos . Subscribe to Angela Collier . Ta-Nrhisi Coates interviewed by Trevor Noah Subscribe to What Now?

See  Architect of Ideas - Welcome to Organised Chaos  and  Architect of Ideas - Some Thoughts About Calculus and Infinity . Subscribe to Tibees .

Courtesy CoFarm Cambridge , Cambridge Sustainable Food , Together Culture and lots of sparrows and a tree: And for people: