The Eternal Doorman

Well, if you're like me, ... Subscribe to Asianometry .

See https://reticulum.network/  and  Ian Clarke - Freenet Update . He has a company https://buildwithparallel.com . Subscribe to Data Slayer . I saw this talk at 38C3 on YouTube:  My comment : Poor guy. Nobody's listening to him so he gets no feedback. I think he's doing it wrong. The first few requirements (disaster areas and places with scant network resources) preclude connectivity within minutes. Sometimes some people find themselves in environments where their messages aren't received for years. Also, the ability to communicate with one specific person anonymously is questionable. What's that for? To enable terrorism? Stick to sending poison pen letters you made from cutting words out of newspapers. Austin is nearly connected to San Antonio, ...  Subscribe to FUTO .

See  Meta Are Hiring Intelligence Analysts .  Subscribe to Naomi Karavani . 

This idea about elaborating relations under constraints is really interesting. See  Thorsten Altenkirch on NaÏve Type Theory and An Interesting and Useful Duality  and  Condensing Programs .    See miniKanren, live and untagged: quine generation via relational interpreters (programming pearl) by William E. Byrd, Eric Holk and Daniel P. Friedman and  https://minikanren.org/  for more on Micro Kanren ( 21:00 ). See also  What is Formal Logic?  and  Nada Amin - Metacircular Interpretation ad infinitum . Subscribe to Strange Loop . See A small embedding of logic programming with a simple complete search  by Jason Hemann, Daniel P. Friedman, William E. Byrd and Matthew Might and  Visualizing miniKanren Search with a Fine-Grained Small-Step Semantics by Brysen Pfingsten and Jason Hemann where they describe a web interface to  a semantic model which lets users interactively view the reduction steps. Here are some rela...

See  Sakara Dee at Strawberry Fair . Subscribe to Sakara .

See An extreme North Atlantic Oscillation event drove the pelagic Sargassum tipping point by Julien Jouanno, Sarah Berthet, Frank Muller-Karger, Olivier Aumont and Julio Sheinbaum and also Productivity, growth, and biogeochemistry of pelagic Sargassum in a changing world by Brian E. Lapointe, Deanna F. Webber and Rachel A. Brewton. Subscribe to Anton Petrov . It must have been bacteria and algae like this that created the atmosphere we have today. There is a 1.5 billion year gap between the Great Oxidation Event and the appearance of the first photo-synthesizing plants. My comment : Wow, I had no idea how grateful I should be that I don't live in a regime of mass-independent isotope fractionation!!! I would like to hear something about the dynamics of the system that came out of that event. It seems like some sort of homeostasis was reached. Subscribe to GEO GIRL .

  He did a nice one about Langton's Ant too: He has written a 25 page paper on his path theorem: Finite-Support Periodic Highways of Langton's Ant . Subscribe to rand.nerdAJ .

Subscribe to Miranda Lambert .  Subscribe to Daniela Spalla . Subscribe to Pomme .

Two talks given in 2014 at Indiana University. I've never heard him talk directly about computation and software before ( 12:59 ). It's really interesting. I hope Douglas Hofstadter was in the audience. See  What is Formal Logic?  I wish George Ellis had heard it too. See Why is Physics So Difficult? 23:06 He points out that syntactic structure is observer-relative: it requires someone to interpret the machine state as representing some formal structure in a certain context, and this context is almost always ignored. My comment :  54:05 It's interesting that he returns to molecules and their observer-independent reality to explain by analogy his position on consciousness as a physical effect. The thing is that most of the particular properties of water are not reducible to properties of the molecules alone, but only in terms some of higher-level organisation. I think the observer-independent existence of molecules is not that far from the idea of an observer-independent...