The Eternal Doorman

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

It's a classic tragedy of the Commons situational logic: The Edwards Aquifer is the primary water supply for more than 2 million people across South Central Texas:  Subscribe to  Symbiosis Texas .  See What is Water Worth On the Free Market? Peabody Energy developed two coal strip mines on the Black Mesa reservation: the Black Mesa Mine and the Kayenta Mine. The company pumped water from the underground Navajo Aquifer for washing coal, and, until 2005, in a slurry pipeline operation to transport extracted coal 273 mi (439 km) to the Mohave Generating Station in Laughlin, Nevada. With the pipeline operating, Peabody pumped an average of 3 million gallons of water from the Navajo Aquifer every day. Subscribe to Spagoshi .

It's a really excellent talk given in December 2016: You can read McClintock's article here for now.  See https://www.denisnoble.com/ and Dance to the Tune of Life: Biological Relativity . See also Why is Physics So Difficult?  and also  William Jaworski on Hylomorphism  and Semantic Closure . Subscribe to Voices from Oxford . 

See  Susan Stepney - Life as a Cyber-bio-physical System .  My comment : This is interesting. I had never heard the term hylomorphism before, outside of computer science! Being in this sense is the higher ground in terms of which we abstract notions such as matter and energy which our senses could never perceive if it weren't structured. Reductionist science sees the problem upside-down: they wonder where is the structure, but ultimately the structure is the only thing we can actually understand. Think of the particle traces in cloud chambers or colliders at CERN. There is nothing to know about subatomic particles apart from the structure they were once a part of. At the end of a particle track you don't find the particle! See  https://williamjaworski.com  and his book Structure and the Metaphysics of Mind (Oxford University Press 2016) .  See also  John Searle on the Logical Structure of Human Civilization  and  Jacob Barandes' Talk at ESA Quantu...

See https://con.racket-lang.org/  and you can get a ticket at  https://www.eventbrite.com/e/racketcon-2026-tickets-1997181002140 . The live stream is publicly available, but buying this $10 ticket helps pay for the live stream and ensure its availability for the entire community. Subscribe to  Racket . It's fun. They have a corresponding amount (16 years or so) of cruft they need to deal with though: See Matthew Flatt's Sunday morning talk A New Foreign-Function Interface: ffi2 . Subscribe to  The Functional Cruft of Programming . I mean craft ! I am interested in the general problem, of how you build runtime systems and interfaces to existing code. I thought of using Standard ML modules to specify the interfaces in terms of something like GNU lightning, and then meta-programming the runtimes in the high-level language. I guess I could do this by writing a Standard ML #lang for racket, ... The GNU people weren't interested (see Graham Hutton, Zac Garby and Patrick B...

Subscribe to World of Art .  Subscribe to Crime Pays but Botany Doesn't .

I had a strange dream last night in which Euclid explained why he wrote his Optics as if "... visual rays proceed from the eyes onto objects, and that the different visual properties of the objects were determined by how the visual rays struck them." He said it's simply that geometry is the eye of God, i.e. that organ by which we know (i.e. determine ) where things are and what are their shapes etc. See  Martyna Marciniak . I forgot about this dream until I got to 21:45  where he mentions the measurement problem.  Subscribe to Jacob Barandes . 

I didn't get much of this!  See nlab on  Diaconescu-Goodman–Myhill theorem and Wikipedia's  Diaconescu's theorem . My comment :    11:05 FYI I found this very hard to follow. Actually it has so far been impossible for me to follow! I don't know the context of these statements like "a predicate of booleans is a function from bool (Boole?) to prop" I can guess that it means a well-formed formula with a parameter P, say, which when substituted with any well-formed boolean-valued expression produces a well-formed statement of a proposition, i.e. just another boolean-valued expression? But it could also be interpreted extensionally in set theory and the result would be completely different. So what is the sense in which these things are equivalent? The only way I can see to make this meaningful is to restrict to a language where you speak only of how these translations are made. To talk about sets and types as if they exist independently of this seems like mad...

I think it might just be another kind of headache she's made, ... My comment : I'm glad you could do this, but I just wish the ordinary calendar app on your phone could do it. A tracker is just an interface and a tagged data type in the events (headache, cake, sunny day etc.). Lot's of people need different interfaces to their calendars for lots of different reasons, and if it was really a calendar app it would let you do this, but the calendar app is not that, it's just one tiny part of what a calendar could be. The problem is that the AI probably wrote a brand new calendar data format and keeps separate database, etc, etc, [but maybe not: see Android Calendar Provider API ] and the other problem is that it probably wrote a whole lot of Java/ Kotlin whatever and when something changes or you want to change the app what do you do? Next time you want to use AI to modify the program it may be more difficult because you have to tell the AI about what the last AI did and w...