The Eternal Doorman

My comment : So it's not actually a VPN in that case, is it? I'm not even sure you could call it a VN. It's just an ordinarily FUN. Subscribe to Defensive Podcasts . 

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

This is an idea about a different way to think about programming computers. It's really hard getting the individual bits of a program right so that behaves correctly as a whole. It's not unlike the problem of designing molecules to effect certain metabolic changes in a whole organism. It is much easier to do it the way life works: whole ecosystems adapt to the metabolic regimes induced in the individuals by the conditions in which they live. Adaptation can then be a kind of phase change in the whole system. Phase change is a global condition whereas the metabolic effects of a certain drug are local conditions, depending upon the organisms which ingest it. One of the reasons that modern software systems are so insecure is that they contain enormous amounts of superfluous functionality which can easily be co-opted to other ends. The trick with programming a computer is not just to get it to do some particular thing, it is to get it to do  only  that particular thing, and nothing...

I wrote the blog post yesterday, before I saw this. See Thorsten Altenkirch on NaÏve Type Theory and An Interesting and Useful Duality . 19:09 He mentioned Conor McBride talking about dependent type theory as a revolution. I found this series of 8 talks he did at Cambridge in 2013: Dependently Typed Metaprogramming . The course notes are available here : If you have never met a metaprogram in a dependently typed programming language like Agda [Norell, 2008], then prepare to be underwhelmed. Once we have types which can depend computationally upon first class values, metaprograms just become ordinary programs manipulating and interpreting data which happen to stand for types and operations.   See also  Jesper Cockx - Elaborating Dependent (Co)pattern Matching . Subscribe to About Logic .

See the paper by Jesper Cockx and Andreas Abel:  Elaborating Dependent (Co)pattern Matching . For anyone that wants to understand what Agda is really doing: Subscribe to ICFP Video .  

Who said naῗve? Subscribe to FOMUS 2016 . There's a thing which, in 1998,  Philip Wadler named The Expression Problem . See  Tillmann Rendel - Automatic Refunctionalization to a Language with Copattern Matching . Niklas Broberg: Revisiting the Expression Problem (December 2025):  See Data types à la carte by Wouter Swierstra and Trees That Grow by Shayan Najd and Simon Peyton Jones. Another oft-cited paper is one published in 1990 entitled Object-oriented programming versus abstract data types by William R. Cook with a follow-up in 2009 entitled  On Understanding Data Abstraction, Revisited . 51:01  One neat way to deal with complex boilerplate code is to write a syntactic transform.  See A Syntax for Composable Data Types in Haskell, A User-friendly Syntax for Solving the Expression Problem by Anna Romeborn and Fredrik Albers. References and recent work:  So, that's how far 27 years got us, ...  Subscribe to chalmersfpunit . In 2004...

The really amazing one:  Cisco Secure Firewall Management Center Software Authentication Bypass Vulnerability : This vulnerability is due to an improper system process that is created at boot time. An attacker could exploit this vulnerability by sending crafted HTTP requests to an affected device. A successful exploit could allow the attacker to execute a variety of scripts and commands that allow root access to the device.   This is normal. Links for each issue in the video description . Who thought it was a good idea for every single machine to be reachable from everywhere? What the hell were they thinking?  Support them on Patreon at https://patreon.com/defensivesec . Subscribe to Defensive Podcasts . 

Dreamlink was created through Mountain of Youth, a filmmaking organisation I founded as an experiment in giving young people real authorship over cinema. Beyond just filmmaking training, we created an immersive space where young people from diverse backgrounds could transform their lived experiences into a story. Over six months, eleven students explored their own lives through storytelling exercises, conversations and filmmaking workshops. Themes of online connection, fractured family relationships, loneliness, mental health and the pressure of social media began to surface. Those shared experiences became the emotional foundation of Dreamlink. It's really good. See https://www.mountainofyouth.org/  or the video description for YouTube-wrapped links to some InstaGram accounts. Subscribe to Dust . 

Subscribe to Pupina Plomer . A decade earlier Britain was getting ready for their Summer of Love: Subscribe to  Skinhead History .

13:06 On what books to read about languages.  I think he would enjoy The Definition of Standard ML (Revised) by Robin Milner, Mads Tofte, Robert Harper and David MacQueen. 14:28 On Lua JIT. It uses an abstract intermediate machine language that is designed to be assembled into specific machine code. See  Programming Paradigms . 30:29 Lua has some interesting features related to interpreter state.  My comment : 51:53 So people will drink the AI coolaid to the extent that they won't want to even have the possibility of knowing what the code it writes is actually supposed to be doing? Seriously? That sounds ridiculous, but maybe we are that stupid, in which case we deserve to go extinct and the sooner the better! Subscribe to Ryan Peterman .

Sold for £39.95 in the late seventies. I spent a lot of time looking at their advertisements in Personal Computer World or one of those other magazines, but I never saw one real life. See MK14 . The MK stood for Microcomputer Kit. Subscribe to Menadue . Old Apple dudes talking about Apple I and things at VCF West today (starts at 31:35 ): Subscribe to Vintage Computer Federation .

See  https://lum.cultura.pe/  and https://lum.cultura.pe/exposiciones/permanentes . Subscribe to OjoPublico .

  Subscribe to Hope . Zeke did a stream about this a few weeks ago: Subscribe to The Lookout . Set fire to your prairies too! Subscribe to Crime Pays but Botany Doesn't .

Scott Wlaschin gives popular talks. This one is on Pipeline-oriented programming, given at NDC in 2023: This stuff is actually complete rocket science, otherwise people at Google would know how to use it to design decent apps. Since people at Google can not design decent apps, ... My  comment : 15:36 Great to see Microsoft doing all it can to uphold Murphy's law! 22:38 His laptop was only displaying PowerPoint slides, but it crashed twice. Seems Microsoft can't design software either.  Subscribe to NDC. We don't need programming paradigms, we need effective methods for programming computers. There is a massive inefficiency in all modern software systems which people don't even seem to be able to see because it is so entrenched in the way programming languages and operating systems work. This inefficiency is also a major source of security vulnerabilities, so there is a lot to gain by not doing it. Most of the time most of what a computer does is just deconstructing ...

See Conflictos socioterritoriales: minería en territorios comunitarios en la Puna jujeña, durante la primera década del siglo XXI by Rocío Cecilia Núñezi.   Subscribe to Rut Alonso . 

She somehow found out that I only watched the first half of this, .... Subscribe to Lindsay Nikole . Lindsay hangs out with Maya sometimes, ... Subscribe to Alvea Sanctuary .

They are spending all their money on AI tokens just to make a piece of shit search engine that talks crap then argues about it! They've fallen for their own garbage!! It's the desperate assholes like this that are fuelling the data center insanity. See  Mercans Doin' Good . Subscribe to Bloomberg Podcasts . Subscribe to The Maybe . Meanwhile, ... Subscribe to PBS NewsHour .

My comment : These are fun talks, thanks for sharing them. One of the reasons I am interested in smooth manifolds and Lie group representations is that I think there's something interesting going on when you go up one dimension and an instance of it might be in this idea of identifying a knot from a picture taken with a phone. If instead of taking a picture you take a moving video recording as you move the point of view around the knot then you develop a kind of 2-manifold, don't you? I think of it like this because the knot itself is a 1-manifold, and as you turn it around in the embedding space its projection evolves continuously.This doesn't make sense mathematically because the point of view of the camera doesn't change anything about the knot itself which just sits there, but to me there seems to be some sense you could think of the string tracing out a continuous surface in space as it rotates, and if it rotates through 360° and the position ...

Brandon has spent two years moving rocks, branches and goats around in mysterious ways on some land in Arizona, ... Support the project at https://www.patreon.com/cw/GreenGuardians . See  Mercans Doin' Good . Subscribe to Grow Tree Organics .

Because it's part of the Military Industrial Complex, it can't do anything else. This stuff is not what Humanity needs, it's what big tech needs to stay in the driving seat. The plan is that computing becomes something that happens in Low Earth Orbit and so if you want to do anything with it you better make sure you have 20,000 satellites up there. This is fucking madness! See  Tom Waits - The Fly (Poem) . Subscribe to  The Association for Computing Machinery Special Interest Group on Programming Languages . Here's an example. If I try to read George Zipf's 1942 paper The Unity of Nature, Least-Action, and Natural Social Science on JSTOR then I am told "This item is not available for free online reading."  The author died 76 years ago according to this centenary publication  Biographical notes on G. K. Zipf  by Claudia Prün and Robert Zipf.  See Emil Post .