The Eternal Doorman

See  Alianza por la Solidaridad Andina - Voces Silenciadas, Espacios Reducidos .  Subscribe to Alianza por  la Solidaridad Andina . Tiffany Kimmel - Civil Service Interesting project, Nihil Declarandum . You wonder what the hell they're going to do next !: Nihil Declarandum is a creative company based in Highland Park, Los Angeles and the UK. Its mission is to create artist-driven works that tell uncomfortable truths, forgotten histories, and family secrets on a "need-to-tell" basis. Nihil & Friends designs and produces animated and live-action projects and events that are hand-crafted, emotional, and tactile. Subscribe to Dust and Nihil Declarandum .

I think of it as an advanced course in Security Engineering for Linux Users. See Security Engineering for Linux Users and Anti-Tempest Software and Pulp Fiction . Put together with Shadow TCP stacks in OpenBSD and  The T.H.E. Multiprogramming System Mk II  I dread to think what sort of thing the Internet could have become . Subscribe to Nir Lichtmann . 

What kind of knot are you? See Steven Strogatz on Mathematics, Biology and the Value of Simple Models  and Angela Collier's Funding Application . Subscribe to  Institut Henri Poincaré .

See Paronychia leucochthonicola (Caryophyllaceae: Paronychieae), a new species of the San Luis Valley, north-central New Mexico and adjacent Colorado by Cecilia Alexander . See her blog  and this post from 2011: Botany is hard .  So is being a Hernández's short-horned lizard . Fucking botanists! Imagine what it's like in a snowstorm up there. Doesn't bear thinking about. Subscribe to Crime Pays but Botany Doesn't . See also  Seven Year Study in Santa Fé NM Proves Native Plants Drought-proof Landscapes . 

The Atari 2600 cost around US$ 189 when it was released in 1977 and sold around 30 million units. The machine had only 128 Bytes of RAM memory and a 4KB ROM program memory on each cartridge. You can download a zip file containing a 4096 byte ROM image from https://www.atarimania.com/games/atari-2600-games-pitfall-14162 It runs in JavaScript in a web browser. Try https://javatari.org/?ROM=https://www.atarimania.com/2600/dumps/pitfall_cce.zip  It's too difficult for me! There is a user manual : You can disassemble the .a26 ROM images at https://www.masswerk.at/6502/disassembler.html . The reset vector for 6502 processor family is a 16-bit address stored at 0xFFFC and 0xFFFD: The 4KB ROM on the Atari 2600 is mapped at $F000-$FFFF even though the 6507 variant of the 6502 CPU had only a 13 bit address bus, it was internally the same silicon, so the 8KB of accessible memory was effectively mapped eight times through the full 16 bit (65KB) address space: Subscribe to VCF . Amazing ra...

Subscribe to Daniel Tubbenhauer . 

All running on a virtual machine which is in turn on an emulated Apple Macintosh, ... See https://hundredrabbits.itch.io/legs  and  Wireworld Automata . I hope that in here somewhere is a syntax and semantics for a DSL for succinctly describing Lego parts, ... from which the code to produce the 3D artifacts is automatically generated. Subscribe to Devine Lu Linvega . 

... and inspires a design for reducing flooding and urban heat-island effects in car parks, ...  See this Western Planner (2022) publication: Green Stormwater Infrastructure in a Semi-arid Climate: The Influence of Rain Gardens on Soil Moisture Over Seven Years by Aaron T. Kauffman. See Brad's books  (available in Spanish translations) and other projects at https://maearth.com/planttherain/grow . Subscribe to Brad Lancaster . Speaking of leave jokes, ... Leave Curious calling for beaver-bombers . See  The rise of ‘beaver bombing’ across Europe . See https://www.leavecurious.com/welcome . Subscribe to Leave Curious .

It's really good. He grew up in Bangalore in the eighties. See Two Great Talks on Programming Languages . 23:11 He has said before, in public, that his favourite syntax is raw-parenthetical. See https://pyret.org/ . They call it a scripting language, but it's actually self-hosted. I am not aware of many script languages that facilitate the writing of their own implementation. See  lang/src/arr/compiler/desugar.arr  for an example. 1:22:22 He makes an interesting point about models and soundness proofs. See Moshe Vardi talking about LTLf .  I am still amazed that people accept these undecidability results (where consistency is modelled by soundness in a representation) as if they say something about limits of human reason. See Intensional and Extensional Semantics in Programming Languages and Type Theory. Krishnamurthi has a scribble document instead of a blog: https://parentheticallyspeaking.org/ . They did a good interview with Philip Wadler a few months ago: Compare ...