Posts

A Real Life Wizard

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

Why Academia Can't Do Anything Useful

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

Pink Floyd - Great Gig in the Sky (Live in Venice)

Image
Rick Wright's birthday was on 28 July .  Subscribe to Pink Floyd .

Tom Waits - The Fly (Poem)

Image
Subscribe to Tom Waits .

Mercans Doin' Good

Image
See Brad's website https://www.harvestingrainwater.com/ and https://maearth.com/planttherain/grow . Subscribe to Andrew Millison . Subscribe to Symbiosis TX . Subscribe to Crime Pays but Botany Doesn't . Subscribe to Grow Tree Organics .

Mura Yakerson's Upcoming Series on Sofya Kovalevskaya

Image
See Sofya Kovalevskaya . Subscribe to  Math-life Balance .

Entire MIT ITS Emulation Running on a Raspberry Pi 5

Image
See also  How to Write An Emulator .  Subscribe to  Computerphile . 

Keenan Crane's Discrete Differential Geometry Course

Image
See the full series of lectures here .  Course notes and other materials at https://www.cs.cmu.edu/~kmcrane/Projects/DGPDEC/ .   This is really excellent and it makes a great complement to Frederic Schuller's Geometrical Anatomy of Theoretical Physics course . There is also a good Bright Side of Mathematics course on Manifolds .  Subscribe to Keenan Crane . 

Kim Iversen talking to Phil Tourney about the 1967 attack on the USS Liberty

Image
See  Afshin Rattansi Interviewing Brian McGinnis  and  The USS Liberty .  Subscribe to Kim Iversen . 

Tillmann Rendel - Automatic Refunctionalization to a Language with Copattern Matching

Image
From ICFP 2015. See the paper Automatic refunctionalization to a language with copattern matching: with applications to the expression problem by Tillmann Rendel, Julia Trieflinger and Klaus Ostermann and John Reynolds' Definitional Interpreters for Higher-Order Programming Languages .  17:02 Person asking about how you represent infinite streams with finite data. I think the answer is that you use a cyclic data structure. That is the clever trick in Reynolds' defunctionalization transform. See  David MacQueen on his Ideas for Successor ML  and  Open, extensible object models (2006) by Ian Piumarta and Alessandro Warth.  Subscribe to ICFP Video .