The Eternal Doorman

16:45 On light pollution. Just because you can afford to buy a cheap LED floodlight doesn't mean you have the right to shine light all over the surrounding countryside all night, yes,  even if  you are you so stupid that you think it protects your business! See also Ally Berry on Atmospheric Rivers . Subscribe to Symbiosys TX . Some of this is to make datacenters so assholes can pretend they're biologists: Subscribe to FUTO .

I've only seen 15 minutes of this but it looks like it's going to be a really great lecture. Who invented this stuff? (Thierry Coquand, Benjamin Pierce and David Turner, I think). Google suggests it was a bunch of people hacking on compilers in the 90s. It's funny how you can produce really pretty theories doing stuff like that, isn't it? It's as if there's a kind of implicit discipline of mechanism. There is a survey article here: Bidirectional Typing  by Jana Dunfield and Neel Krishnaswami. But note the remark at  1:02:35 . Maybe see 4.1. "Turning CCω Bidirectional" of Meven Lennon-Bertrand's PhD Thesis (2022): Bidirectional Typing for the Calculus of Inductive Constructions . This talk is a lot better than the  Metaprogramming in Agda course  he gave at Cambridge in 2013. See About Logic - Dependent Types .  Subscribe to MSP – Strathclyde .

It's not as bad as it sounds, if you're happy searching through megabytes of CSS definitions to find out who runs the State, ... See  Popper's Non-dualist Theory of Objective Knowledge  and John Searle on the Logical Structure of Human Civilization . The Drey Dossier .

I don't think this would be a problem for intelligent life. The question is, ...  From May 2022: SwRI-led team finds younger exoplanets better candidates when looking for other Earths  and  Mantle Degassing Lifetimes through Galactic Time and the Maximum Age Stagnant-lid Rocky Exoplanets Can Support Temperate Climates  by Cayman T. Unterborn, Bradford J. Foley, Steven J. Desch, Patrick A. Young, Gregory Vance, Lee Chiffelle, and Stephen R. Kane. Subscribe to  Anton Petrov . 

Subscribe to  Elle Cordova . See also Toby's video about the maths  Toby Reviewing Books - Liu Cixin's Remembrance of Earth's Past : Apparently I thought I understood some of this : 11:07 There's no violation of any facts , it's just that their entangled computers messed with our theorems, the first one being the no-communications one, ... that's really clever!😀  Our science would not be so hard to mess with! See Sheaf Theory, Probability and Topology .  Subscribe to Tibees .

This was a really great event they held in Ljubljana in March this year. See Nina Davies - Synchronising With Images and Martyna Marciniak : Subscribe to Aksioma .

See  Popper's Non-dualist Theory of Objective Knowledge  and the remark Popper made in 1977 about abstract invariants being causally efficient: I think that these considerations tell us a lot about natural selection. While Darwin still worried that he could not explain variation, and while he felt uneasy about being forced to look at it as chancelike, we can now see that the chancelike character of mutations, which may go back to quantum indeterminacy, explains how the abstract invariances of the environment, the somewhat abstract selection pressures, can, by selection, have a downward effect on the concrete living organism — an effect that may be amplified by a long sequence of generations linked by heredity. See Samson Abramsky's talk on Quantum Monads in  Martin Elsman - Deriving a Kronecker-Free Functional Quantum Simulator   where he explains the sheaf-theory approach to contextuality in Quantum Mechanics: See The Sheaf-Theoretic Structure Of Non-Loca...

In John Searle's 1998 lecture Social Ontology and the Philosophy of Society he said:  The question is: 'what is the ontology of social reality?' To begin with, I'm going to make an assumption which l won't justify today, though perhaps in tomorrow's discussion I can. The assumption is that we should abandon the traditional Western distinction between mind and body. We have in the Western intellectual tradition been cursed with this dualism, with the idea that there is a fundamental distinction between the mind and the body, between the mental and the physical. And in some respects the situation is made even worse by those philosophers who say that in addition to two worlds we also live in a third world. Philosophers such as Frege and Popper, and more recently Jürgen Habermas have said we should think of reality as dividing into three different worlds. My own view is we should never have started counting.  Popper's "three worlds" theory seems to ha...

She's beautiful and hilarious! Buy her and her sister's jewellery at  https://www.etsy.com/shop/Luxulite . Subscribe to Karolina Żebrowska .