Alexander Repenning created AgentSheets, an environment to help kids develop computational thinking skills. It wrapped an unusual computational model with an even more unusual user interface. The result was divisive. It inspired so many other projects, whilst being rejected at every turn and failing to catch on the way Scratch later did. So in 2017, Repenning published this obit of a paper, Moving Beyond Syntax: Lessons from 20 Years of Blocks Programming in AgentSheets, which covers his findings over the years as AgentSheets evolved and transformed, and gives perspective on block-based programming, programming-by-example, agents / rule / rewrite systems, automata, and more.

This is probably the most "normal" episode we've done in a while — we stay close to the text and un-clam many a thought-tickling pearl. I'm saying that sincerely now to throw you off our scent the next time we get totally lost in the weeds. I hear a clock ticking.

Links

$ Do you want to move beyond syntax? Frustrated by a lack of syntactic, semantic, or pragmatic support? Join our Patreon! Choose the tier that best reflects your personal vision of the future of coding. Get (frequently unhinged) monthly bonus content. Most of all: let us know that you enjoy this thing we do, and help us keep doing it for years to come.
Argos, for our non-UK listeners. They were acquired by future TodePond sponsor, Sainsbury's.
Once again, I am asking for your Marcel Goethals makes a lot of cool weird stuff and is a choice follow.
Scratch isn't baby programming. Also, you should try this bizarre game Ivan programmed in 3 blocks of Scratch.
Sandspiel Studio is a delightful block-based sand programming simulator automata environment. Here's a video of Lu and Max introducing it.
Simple Made Easy, a seminal talk by Rich Hickey. Still hits, all these years later.
Someday we'll do an episode on speech acts.
Rewrite rules are one example of rewriting in computing.
Lu's talk —and I quote— "at Cellpond", was actually at SPLASH, about Cellpond, and it's a good talk, about —and I quote— "actually, what if they didn't give up on rewrite rules at this point in history and what if they went further?"
Oh yeah — Cellpond is cool. Here's a video showing you how it works. And here's a video studying how that video works. And here's a secret third thingthat bends into a half-dimension.
Here's Repenning's "rule-bending" paper: Bending the Rules: Steps Toward Semantically Enriched Graphical Rewrite Rules
I don't need to link to SimCity, right? You all know SimCity? Will Wright is, arguably, the #1 name in simulation games. Well, you might not have caught the fantastic article Model Metropolis that unpacks the (inadvertently?) libertarian ideology embodied within the design of its systems. I'd also be remiss not to link to Polygon's video (and the corresponding write-up), which lend a little more colour to the history.
Couldn't find a good link to Blox Pascal, which appears in the paper Towards "Second Generation" Interactive, Graphical Programming Environments by Ephraim P. Glinert, which I also couldn't find a good link to.
Projectional / Structural Editor. Here's a good one.
Baba is You
Vernacular Programmers
Filling Typed Holes with Live GUIs is, AFAIK, the most current canonical reference for livelits.
I'm not linking to Minecraft. But I will link to the Repeater
32 Checkboxes
Wiremod is a… you know what, just watch this.
Chomsky Hierarchy
The Witness
Ivan wrote a colorful Mastodon thread surveying the history of the Connection Machine.
Harder Drive is a must-watch video by the inimitable Tom7.
Also couldn't find a good link for TORTIS. :/
Programming by Example (PbE)
Buffalo buffalo Buffalo buffalo buffalo buffalo Buffalo buffalo
Alex Warth, one of the most lovely humans Ivan knows, is a real champion of "this, because that".
Ivan's magnetic field simulations — Magnets! How do they work?
Amit Patel's Red Blob Games, fantastic (fantastic!) explorable explanations that help you study various algorithms and techniques used in game development.
Collaborative diffusion — "This article has multiple issues."
Shaun Lebron, who you might know as the creator of Parinfer, made a game that interactively teaches you how the ghost AI works in Pac-Man. It's fun!
Maxwell's Equations — specifically Gauss's law, which states that magnetic fields are solenoidal, meaning they have zero divergence at all points.
University of Colorado Boulder has a collection of simulations called PhET. They're… mid, at least when compared to building your own simulation. For instance.

Music featured in this episode:
snot bubbles

! Send us email, share your ideas in the Slack, and catch us at these normal places:
Ivan: Mastodon • Website
Jimmy: Mastodon • Website
Lu: Login • Website

See you in the future!

https://futureofcoding.org/episodes/073

<a href="https://en.wikipedia.org/wiki/Alexander_Repenning">Alexander Repenning</a> created <a href="https://en.wikipedia.org/wiki/AgentSheets">AgentSheets</a>, an environment to help kids develop computational thinking skills. It wrapped an unusual computational model with an even more unusual user interface. The result was divisive. It inspired so many other projects, whilst being rejected at every turn and failing to catch on the way Scratch later did. So in 2017, Repenning published this obit of a paper, <a href="https://agentsheets.com/img/educators/20YearsofBlockProgramingLessonsLearned_published.pdf">Moving Beyond Syntax: Lessons from 20 Years of Blocks Programming in AgentSheets</a>, which covers his findings over the years as AgentSheets evolved and transformed, and gives perspective on block-based programming, programming-by-example, agents / rule / rewrite systems, automata, and more.
This is probably the most "normal" episode we've done in a while — we stay close to the text and un-clam many a thought-tickling pearl. I'm saying that sincerely now to throw you off our scent the next time we get totally lost in the weeds. I hear a clock ticking.
Links
$ Do you want to move beyond syntax? Frustrated by a lack of syntactic, semantic, or pragmatic support? <a href="https://www.patreon.com/futureofcoding">Join our Patreon</a>! Choose the tier that best reflects your personal vision of the future of coding. Get (frequently unhinged) monthly bonus content. Most of all: let us know that you enjoy this thing we do, and help us keep doing it for years to come.
<ul>
<li><a href="https://en.wikipedia.org/wiki/Argos_(retailer)">Argos</a>, for our non-UK listeners. They were acquired by future TodePond sponsor, <a href="https://en.wikipedia.org/wiki/Sainsbury%27s">Sainsbury's</a>.</li>
<li>Once again, I am asking for your <a href="https://mastodon.social/@wolkenmachine">Marcel Goethals</a> makes a lot of cool weird stuff and is a choice follow.</li>
<li><a href="https://en.wikipedia.org/wiki/Scratch_(programming_language)">Scratch</a> isn't baby programming. Also, you should try <a href="https://github.com/ivanreese/2222">this bizarre game</a> Ivan programmed in 3 blocks of Scratch.</li>
<li><a href="https://studio.sandspiel.club/">Sandspiel Studio</a> is a delightful block-based sand programming simulator automata environment. <a href="https://www.youtube.com/watch?v=ecCVor7mJ6o">Here's a video</a> of Lu and Max introducing it.</li>
<li><a href="https://www.youtube.com/watch?v=SxdOUGdseq4">Simple Made Easy</a>, a seminal talk by <a href="https://en.wikipedia.org/wiki/Rich_Hickey">Rich Hickey</a>. Still hits, all these years later.</li>
<li>Someday we'll do an episode on <a href="https://en.wikipedia.org/wiki/Speech_act">speech acts</a>.</li>
<li>Rewrite rules are one example of <a href="https://en.wikipedia.org/wiki/Rewriting">rewriting</a> in computing.</li>
<li>Lu's talk —and I quote— "at Cellpond", was actually at SPLASH, about Cellpond, and <a href="https://www.youtube.com/watch?v=eQgxFuw8f1U">it's a good talk</a>, about —and I quote— "actually, what if they didn't give up on rewrite rules at this point in history and what if they went further?"</li>
<li>Oh yeah — <a href="https://cellpond.cool/">Cellpond</a> is cool. Here's <a href="https://www.youtube.com/watch?v=xvlsJ3FqNYU">a video</a> showing you how it works. And here's <a href="https://www.youtube.com/watch?v=2jX84iTXKg8">a video</a> studying how that video works. And here's <a href="https://www.youtube.com/watch?v=hlsDbXSZ2ko">a secret third thing</a>that bends into a half-dimension.</li>
<li>Here's Repenning's "rule-bending" paper: <a href="https://home.cs.colorado.edu/~ralex/papers/PDF/VL95-RuleBending.pdf">Bending the Rules: Steps Toward Semantically Enriched Graphical Rewrite Rules</a></li>
<li>I don't need to link to <a href="https://en.wikipedia.org/wiki/SimCity">SimCity</a>, right? You all know SimCity? <a href="https://en.wikipedia.org/wiki/Will_Wright_(game_designer)">Will Wright</a> is, arguably, the #1 name in simulation games. Well, you might not have caught the fantastic article <a href="https://logicmag.io/play/model-metropolis/">Model Metropolis</a> that unpacks the (inadvertently?) libertarian ideology embodied within the design of its systems. I'd also be remiss not to link to <a href="https://www.polygon.com/videos/2021/4/1/22352583/simcity-hidden-politics-ideology-urban-dynamics">Polygon's video</a> (and the corresponding write-up), which lend a little more colour to the history.</li>
<li>Couldn't find a good link to Blox Pascal, which appears in the paper Towards "Second Generation" Interactive, Graphical Programming Environments by <a href="https://www.cs.rpi.edu/~glinert/vita-pubs.html">Ephraim P. Glinert</a>, which I also couldn't find a good link to.</li>
<li><a href="https://en.wikipedia.org/wiki/Structure_editor">Projectional / Structural Editor</a>. Here's <a href="https://hazel.org/">a good one</a>.</li>
<li><a href="https://www.patreon.com/posts/baba-is-you-104986179">Baba is You</a></li>
<li><a href="https://futureofcoding.org/episodes/069">Vernacular Programmers</a></li>
<li><a href="https://hazel.org/papers/livelits-paper.pdf">Filling Typed Holes with Live GUIs</a> is, AFAIK, the most current canonical reference for livelits.</li>
<li>I'm not linking to Minecraft. But I will link to the <a href="https://minecraft.fandom.com/wiki/Redstone_Repeater">Repeater</a></li>
<li><a href="https://www.patreon.com/posts/32-checkboxes-103278355">32 Checkboxes</a></li>
<li><a href="https://wiremod.com/">Wiremod</a> is a… you know what, <a href="https://www.youtube.com/watch?v=6wEkNT2McKo">just watch this</a>.</li>
<li><a href="https://en.wikipedia.org/wiki/Chomsky_hierarchy">Chomsky Hierarchy</a></li>
<li><a href="https://en.wikipedia.org/wiki/The_Witness_(song)">The Witness</a></li>
<li>Ivan wrote a <a href="https://mastodon.social/@spiralganglion/112578884737169457">colorful Mastodon thread</a> surveying the history of the <a href="https://en.wikipedia.org/wiki/Connection_Machine">Connection Machine</a>.</li>
<li><a href="http://tom7.org/harder/">Harder Drive</a> is a must-watch video by the inimitable <a href="http://tom7.org/">Tom7</a>.</li>
<li>Also couldn't find a good link for TORTIS. :/</li>
<li><a href="https://en.wikipedia.org/wiki/Programming_by_example">Programming by Example (PbE)</a></li>
<li><a href="https://en.wikipedia.org/wiki/Buffalo_buffalo_Buffalo_buffalo_buffalo_buffalo_Buffalo_buffalo">Buffalo buffalo Buffalo buffalo buffalo buffalo Buffalo buffalo</a></li>
<li><a href="https://alexwarth.github.io/">Alex Warth</a>, one of the most lovely humans Ivan knows, is a real champion of "this, because that".</li>
<li>Ivan's <a href="https://ivanish.ca/magnetic-fields/">magnetic field simulations</a> — <a href="https://knowyourmeme.com/memes/miracles-fucking-magnets-how-do-they-work">Magnets! How do they work?</a></li>
<li>Amit Patel's <a href="https://www.redblobgames.com/">Red Blob Games</a>, fantastic (fantastic!) explorable explanations that help you study various algorithms and techniques used in game development.</li>
<li><a href="https://en.wikipedia.org/wiki/Collaborative_diffusion">Collaborative diffusion</a> — "This article has multiple issues."</li>
<li><a href="https://shaunlebron.github.io/">Shaun Lebron</a>, who you might know as the creator of <a href="https://shaunlebron.github.io/parinfer/">Parinfer</a>, made <a href="http://shaunlebron.github.io/gh4st/">a game that interactively teaches you how the ghost AI works in Pac-Man</a>. It's fun!</li>
<li><a href="https://en.wikipedia.org/wiki/Maxwell%27s_equations">Maxwell's Equations</a> — specifically <a href="https://en.wikipedia.org/wiki/Maxwell%27s_equations#Gauss's_law">Gauss's law</a>, which states that magnetic fields are <a href="https://en.wikipedia.org/wiki/Solenoidal_vector_field">solenoidal</a>, meaning they have zero divergence at all points.</li>
<li>University of Colorado Boulder has a collection of simulations called <a href="https://phet.colorado.edu/">PhET</a>. They're… mid, at least when compared to building your own simulation. <a href="https://phet.colorado.edu/sims/html/faradays-law/latest/faradays-law_all.html">For instance.</a></li>
</ul>
Music featured in this episode:
<ul>
<li><a href="https://www.youtube.com/watch?v=gSJeHDlhYls">snot bubbles</a></li>
</ul>
! Send us <a href="mailto:admin@futureofcoding.org?subject=Email%20from%20a%20listener">email</a>, share your ideas in the <a href="https://futureofcoding.org/community">Slack</a>, and catch us at these normal places:
<ul>
<li>Ivan: <a href="https://mastodon.social/@spiralganglion">Mastodon</a> • <a href="https://ivanish.ca/">Website</a></li>
<li>Jimmy: <a href="https://hachyderm.io/@jimmyhmiller">Mastodon</a> • <a href="https://jimmyhmiller.github.io/">Website</a></li>
<li>Lu: <a href="http://todepond.com/lab/login">Login</a> • <a href="https://www.todepond.com/">Website</a></li>
</ul>
See you in the future!
<a href="https://futureofcoding.org/episodes/073">https://futureofcoding.org/episodes/073</a>

Moving Beyond Syntax: Lessons from 20 Years of Blocks Programming in AgentSheets by Alexander Repenning

If you're anything like Ivan (oof, sorry), you've heard of Pygmalion but never caught more than the gist. Some sort of project from the early 70s, similar to Sketchpad or Smalltalk or something, yet another promising prototype from the early history of our field that failed to take the world by storm. Our stock-in-trade on this show.

But you've probably heard of Programming by Demonstration. And you've certainly heard of icons — you know, those little pictures that have become indelibly part of computing as we know it. Pygmalion is the originator of these concepts… and more!

The best introduction to Pygmalion is Mariano Guerra's No-code History: Pygmalion, which includes a clearly articulated summary of the big ideas, motivation, and design, with a video demonstration of the programming interface, key terminology, and links.

The most introduction to Pygmalion — or Pig Million, The Millionth Pig, as it'll surely come to be known — is the subject of today's episode: the original paper by David Canfield Smith.

Links

$ We don't run ads on this show anymore. Sometimes Ivan makes a fake ad for a nonsense product like CarrotGrid or Hest, but those don't pay for the dirt & vapor we grow them in. But what if they could?


Gonna just get this one out of the way: Quotation — and I quote, "A crucial semantic distinction between direct and indirect speech is that direct speech purports to report the exact words that were said or written EXACTLY AS THEY WERE SAID OR WRITTEN, LU, whereas indirect speech is a representation of speech in one's own words WHICH IS ALSO TOTALLY FINE, BUT JUST BE COOL ABOUT IT HEY?"


@TodePond@mas.to: but wouldn't it be funny... if i quoted those statements on a podcast... and the podcast editor thought... "that doesn't sound right, bret can't have said that"... (he can do no wrong after all)... and so they thought i was just paraphrasing him wrong... and they didn't mark them as quotes like all the other quotes in the show... wouldn't that be funny


DrawDeadFish.com


Shout out to Brian Hempel who sent us (among other treats) this concise summary of Pig Million from the seminal book Watch What I Do: Programming by Demonstration.


Recent FoC Patreon bonus episodes were about the game Baba is You and, on our first ever video episode, the design of a visual representation for machine code.


Leda and the Swan.


Lenna, a sexist test image that was and to some extent still is widely used in computer graphics.


Living Computation


Lu: Biscuit


Jimmy: Biscuit


Ivan: Limp Bizkit


Fine, I might as well link to Frege and analogy.


Aaron Sloman's INTERACTIONS BETWEEN PHILOSOPHY AND ARTIFICIAL INTELLIGENCE: The Role of Intuition and Non-Logical Reasoning in Intelligence


Ivan: Platonism


Jimmy: Neoplatonism


Lu: Neuplatonism


I would never Derrida


Nosey words


History of the alphabet


TodeTode


Lu: Conlang


Ivan: Conlon Nancarrow, beloved (by Ivan, at least) composer of music for the Player Piano. Here's a baby-faced Adam Neely with the scoop if you're new to Nancarrow. Welcome.


Jimmy: Conway Twitty


Autological words


Heterological words


School for Poetic Computation


Programming by Demonstration


Player vs Environment


For the video demonstrating the programming model, check Mariano's post


Open Canvas Working Group


Lu's project CellPond, and their SPLASH talk


StageCast Creator


Marcel Goethals makes a lot of cool weird stuff and is a choice follow.

Why does it say "Put all the metal back in the ground" at the bottom of the show notes?

Music featured in this episode:
Various old stuff by Ivan. The music for StageCast Creator is called Between Two Tigers.
Conlon Nancarrow's Study No. 47
Wagner, the new Witness haunting every episode.

! Send us email, share your ideas in the Slack, and catch us at these normal places:
Ivan: Mastodon • Website
Jimmy: Mastodon • Website
Lu: Mastodon • Website

See you in the future!

https://futureofcoding.org/episodes/072

If you're anything like Ivan (oof, sorry), you've heard of <a href="https://worrydream.com/refs/Smith_DC_1975_-_Pygmalion.pdf">Pygmalion</a> but never caught more than the gist. Some sort of project from the early 70s, similar to Sketchpad or Smalltalk or something, yet another promising prototype from the early history of our field that failed to take the world by storm. Our stock-in-trade on this show.
But you've probably heard of Programming by Demonstration. And you've certainly heard of icons — you know, those little pictures that have become indelibly part of computing as we know it. Pygmalion is the originator of these concepts… and more!
The best introduction to Pygmalion is Mariano Guerra's <a href="https://instadeq.com/blog/posts/no-code-history-pygmalion-1975/">No-code History: Pygmalion</a>, which includes a clearly articulated summary of the big ideas, motivation, and design, with a video demonstration of the programming interface, key terminology, and links.
The most introduction to Pygmalion — or Pig Million, The Millionth Pig, as it'll surely come to be known — is the subject of today's episode: the original paper by <a href="https://en.wikipedia.org/wiki/David_Canfield_Smith">David Canfield Smith</a>.
Links
$ We don't run ads on this show anymore. Sometimes Ivan makes a fake ad for a nonsense product like CarrotGrid or Hest, but those don't pay for the dirt &amp; vapor we grow them in. <a href="https://www.patreon.com/futureofcoding">But what if they could?</a>
<ul>
<li>
Gonna just get this one out of the way: <a href="https://en.wikipedia.org/wiki/Quotation">Quotation</a> — and I quote, "A crucial semantic distinction between direct and indirect speech is that direct speech purports to report the exact words that were said or written EXACTLY AS THEY WERE SAID OR WRITTEN, LU, whereas indirect speech is a representation of speech in one's own words WHICH IS ALSO TOTALLY FINE, BUT JUST BE COOL ABOUT IT HEY?"
</li>
<li>
<a href="https://mas.to/@TodePond/112319116050265379">@TodePond@mas.to: but wouldn't it be funny... if i quoted those statements on a podcast... and the podcast editor thought... "that doesn't sound right, bret can't have said that"... (he can do no wrong after all)... and so they thought i was just paraphrasing him wrong... and they didn't mark them as quotes like all the other quotes in the show... wouldn't that be funny</a>
</li>
<li>
<a href="file:///Applications/iA%20Writer.app/Contents/Resources/Templates/Sans.iatemplate/Contents/Resources/drawdeadfish.com">DrawDeadFish.com</a>
</li>
<li>
Shout out to <a href="http://brianhempel.com/">Brian Hempel</a> who sent us (among other <a href="https://maniposynth.org/">treats</a>) this <a href="http://acypher.com/wwid/Chapters/01Pygmalion.html">concise summary of Pig Million</a> from the seminal book <a href="http://acypher.com/wwid/">Watch What I Do: Programming by Demonstration</a>.
</li>
<li>
Recent FoC Patreon bonus episodes were about the game <a href="https://www.patreon.com/posts/baba-is-you-104986179">Baba is You</a> and, on our first ever video episode, the design of a <a href="https://www.patreon.com/posts/32-checkboxes-103278355">visual representation for machine code</a>.
</li>
<li>
<a href="https://en.wikipedia.org/wiki/Leda_and_the_Swan">Leda and the Swan</a>.
</li>
<li>
<a href="https://en.wikipedia.org/wiki/Lenna">Lenna</a>, a sexist test image that was and to some extent still is widely used in computer graphics.
</li>
<li>
<a href="https://www.livingcomputation.org/">Living Computation</a>
</li>
<li>
Lu: <a href="https://en.wikipedia.org/wiki/Biscuit">Biscuit</a>
</li>
<li>
Jimmy: <a href="https://en.wikipedia.org/wiki/Biscuit_(bread)">Biscuit</a>
</li>
<li>
Ivan: <a href="https://en.wikipedia.org/wiki/Limp_Bizkit">Limp Bizkit</a>
</li>
<li>
Fine, I might as well link to <a href="https://en.wikipedia.org/wiki/Gottlob_Frege">Frege</a> and <a href="https://en.wikipedia.org/wiki/Analogy">analogy</a>.
</li>
<li>
Aaron Sloman's <a href="https://www.cs.bham.ac.uk/research/projects/cogaff/sloman-analogical-1971.pdf">INTERACTIONS BETWEEN PHILOSOPHY AND ARTIFICIAL INTELLIGENCE: The Role of Intuition and Non-Logical Reasoning in Intelligence</a>
</li>
<li>
Ivan: <a href="https://en.wikipedia.org/wiki/Platonism">Platonism</a>
</li>
<li>
Jimmy: <a href="https://en.wikipedia.org/wiki/Neoplatonism">Neoplatonism</a>
</li>
<li>
Lu: <a href="https://www.youtube.com/watch?v=dQw4w9WgXcQ">Neuplatonism</a>
</li>
<li>
I would never <a href="https://en.wikipedia.org/wiki/Jacques_Derrida">Derrida</a>
</li>
<li>
<a href="https://www.grammarphobia.com/blog/2007/03/a-nosy-question.html">Nosey words</a>
</li>
<li>
<a href="https://en.wikipedia.org/wiki/History_of_the_alphabet">History of the alphabet</a>
</li>
<li>
<a href="https://github.com/TodePond/TodeTode">TodeTode</a>
</li>
<li>
Lu: <a href="https://en.wikipedia.org/wiki/Constructed_language">Conlang</a>
</li>
<li>
Ivan: <a href="https://en.wikipedia.org/wiki/Conlon_Nancarrow">Conlon Nancarrow</a>, beloved (by Ivan, at least) composer of music for the <a href="https://en.wikipedia.org/wiki/Player_piano">Player Piano</a>. Here's a baby-faced Adam Neely with <a href="https://www.youtube.com/watch?v=e2reuQyLoZM">the scoop</a> if you're new to Nancarrow. Welcome.
</li>
<li>
Jimmy: <a href="https://en.wikipedia.org/wiki/Conway_Twitty">Conway Twitty</a>
</li>
<li>
<a href="https://en.wikipedia.org/wiki/Autological_word">Autological words</a>
</li>
<li>
<a href="https://en.wikipedia.org/wiki/Grelling%E2%80%93Nelson_paradox">Heterological words</a>
</li>
<li>
<a href="https://en.wikipedia.org/wiki/School_for_Poetic_Computation">School for Poetic Computation</a>
</li>
<li>
<a href="https://en.wikipedia.org/wiki/Programming_by_demonstration">Programming by Demonstration</a>
</li>
<li>
<a href="https://en.wikipedia.org/wiki/Player_versus_environment">Player vs Environment</a>
</li>
<li>
For the video demonstrating the programming model, check <a href="https://instadeq.com/blog/posts/no-code-history-pygmalion-1975/">Mariano's post</a>
</li>
<li>
<a href="https://www.canvasprotocol.org/">Open Canvas Working Group</a>
</li>
<li>
Lu's project <a href="https://cellpond.cool/">CellPond</a>, and their <a href="https://www.youtube.com/watch?v=eQgxFuw8f1U">SPLASH talk</a>
</li>
<li>
<a href="https://en.wikipedia.org/wiki/Stagecast_Creator">StageCast Creator</a>
</li>
<li>
<a href="https://mastodon.social/@wolkenmachine">Marcel Goethals</a> makes a lot of cool weird stuff and is a choice follow.
</li>
</ul>
Why does it say "Put all the metal back in the ground" at the bottom of the show notes?
Music featured in this episode:
<ul>
<li>Various old stuff by Ivan. The music for StageCast Creator is called <a href="https://ivanish.ca/lost/">Between Two Tigers</a>.</li>
<li><a href="https://www.youtube.com/watch?UerzkjrLju8?t=280">Conlon Nancarrow's Study No. 47</a></li>
<li><a href="https://www.youtube.com/watch?v=wE1NyYT31Tw">Wagner</a>, the new <a href="https://en.wikipedia.org/wiki/The_Witness_(2016_video_game)">Witness</a> haunting every episode.</li>
</ul>
! Send us <a href="mailto:admin@futureofcoding.org?subject=Email%20from%20a%20listener">email</a>, share your ideas in the <a href="https://futureofcoding.org/community">Slack</a>, and catch us at these normal places:
<ul>
<li>Ivan: <a href="https://mastodon.social/@spiralganglion">Mastodon</a> • <a href="https://ivanish.ca/">Website</a></li>
<li>Jimmy: <a href="https://hachyderm.io/@jimmyhmiller">Mastodon</a> • <a href="https://jimmyhmiller.github.io/">Website</a></li>
<li>Lu: <a href="https://mas.to/@TodePond">Mastodon</a> • <a href="https://www.todepond.com/">Website</a></li>
</ul>
See you in the future!
<a href="https://futureofcoding.org/episodes/072">https://futureofcoding.org/episodes/072</a>

Pygmalion by David C. Smith

Inventing on Principle
Stop Drawing Dead Fish
The Future of Programming

Yes, all three of them in one episode. Phew!

Links

$ patreon.com/futureofcoding — Lu and Jimmy recorded an episode about Hest without telling me, and by total coincidence released it on my birthday. Those jerks… make me so happy.
Lu's talk at SPLASH 2023: Cellpond: Spatial Programming Without Escape
Gary Bernhardt's talk Wat
Inventing on Principle by Bret Victor ("""Clean""" Audio)
Braid, the good video game from the creator of The Witness
David Hellman is the visual artist behind Braid, A Lesson Is Learned but the Damage Is Irreversible, Dynamicland, and… the Braid section of Inventing on Principle.
Light Table by Chris Granger
Learnable Programming by Bret Victor
When Lu says "It's The Line", they're referring to this thing they're working on called Seet (or "see it"), and you can sneak a peek at seet right heet.
Paris Fashion Week absolutely struts, and so can you!
The Canadian Tuxedo. As the representative of Canada, I can confirm that I own both a denim jacket and denim pants. If you see me at a conference wearing this combo, I will give you a hug.
Jimmy runs a personal Lichess data lake.
Hot Module Replacement is a good thing.
Pygmalion has a lot of juicy silly bits, 'parently.
Cuttle is awesome! It's a worthy successor to Apparatus. Toby Schachman, Forrest Oliphant, I think maybe a few other folks too? Crushing it. Oh, and don't miss Toby's episode of this very podcast!
Recursive Drawing, another Toby Schachman joint.
Screens in Screens in Screens, another Lu Wilson joint.
Larry Tesler. Not a fan of modes.
Lu writes about No Ideas on their blog, which is actually just a wiki, but it's actually a blog, but it's actually just a garden.
When we mention Rich Hickey, we're referring to the talk Simple Made Easy
Jacob Collier, ugh.
Suffragettes, women advocating for their right to vote, absolutely had a principle. Not sure that we should be directly likening their struggle to what we do in tech. On the other hand, it's good to foster positive movements, to resist incel and other hateful ones.
Instead of linking to e/ anything, I'm just gonna link to BLTC for reasons that only make sense to longtime listeners.
Stop Writing Dead Programs by Jack Rusher. Jack Rusher? Jack Rusher!
It's the fish one, the one with the fish. …Sorry, these aren't actually fish, or something, because they're just drawings.
René Magritte is the creator behind La Trahison des Images, origin of "Ceci n'est pas une pipe". Or maybe it was Margit the Fell Omen?
Magritte's Words and Images are lovely. Here's an English translation, though its worth taking a look at the original in context.
Acousmatic Music
Lu has made art with behaviour — various sands, and CellPond, say.
Barnaby Dixon? Barnaby Dixon. Barnaby Dixon! Barnaby Dixon!!
You can listen to part of Ivan's """Metronome""", if you want. Or you can listen to an early version of the song he's using this metronome to write. Or you can hear snippets of it in the Torn Leaf Zero video (especially the ending). But, like, you could also go make yourself lunch. I recommend mixing up a spicy peanut sauce for your roasted carrots. Shred a bit of cheese, tomato. Toast the bread. Pull the sausages right when the oil starts to spit. Put them straight into the compost. Look at the bottom of the compost bucket. What's down there? It's shiny. Why are you reading this? Why am I writing this? Why do we make thispodcast?
Wintergatan — Marble Machine exists
Oh, I forgot to add a link to Arroost earlier. You can also watch a pretty good video that is basically an Arroost tutorial, not much to it. There are also some nice examples of things people have made with Arroost.
The Rain Room looks pretty cool. It's the exact inverse of how rain works in many video games. YOU MUST PLAY RAIN WORLD.
Here's a beautiful demo of a microtonal guitar, and speaking of using complex machines to make music that would be "easier" to make with a computer, here's a microtonal guitar with mechanized frets that can change the tuning dynamically. This entire YT channel is gold.
Shane Crowley wrote a lovely blog post about creating music with Arroost.
blank.page is a fun experiment in writing with various frictions.
Super Meat Boy (the successor to Meat Boy, a Flash game) and Celeste are great examples of communicating tacit knowledge through the design of a simulation.
Newgrounds and eBaum's World and Homestar Runner were early examples of (arguably) computer-native media.
Hey, here's this episode's requisite link to the T2 Tile Project and Robust-First Computing. I should probably just create a hard-coded section of the episode page template linking to T2, The Witness, and Jack Rusher.
The pun-proof Ivan Sutherland made Sketchpad. Planner exists.
The PlayStation 3 Cell processor was this weirdly parallel CPU that was a pain in the butt to program.
The SpaceMouse

Put all metal back into the ground.

Music featured in this episode:
Fingers from This Score is Butt Ugly
The Sailor's Chorus from Wagner's The Flying Dutchman.

! Send us email, share your ideas in the Slack, and catch us at these normal places:
Ivan: Mastodon • Website
Jimmy: Mastodon • Website
Lu: Mastodon • Website

See you in the future!

https://futureofcoding.org/episodes/71

<a href="https://vimeo.com/906418692">Inventing on Principle</a> <a href="https://vimeo.com/64895205">Stop Drawing Dead Fish</a> <a href="https://vimeo.com/71278954">The Future of Programming</a>
Yes, all three of them in one episode. Phew!
Links
$ <a href="https://www.patreon.com/futureofcoding">patreon.com/futureofcoding</a> — Lu and Jimmy recorded an episode about Hest without telling me, and by total coincidence released it on my birthday. Those jerks… make me so happy.
<ul>
<li>Lu's talk at SPLASH 2023: <a href="https://www.youtube.com/watch?v=eQgxFuw8f1U">Cellpond: Spatial Programming Without Escape</a></li>
<li>Gary Bernhardt's talk <a href="https://www.destroyallsoftware.com/talks/wat">Wat</a></li>
<li><a href="https://www.youtube.com/watch?v=NGYGl_xxfXA">Inventing on Principle by Bret Victor ("""Clean""" Audio)</a></li>
<li><a href="https://en.wikipedia.org/wiki/Braid_(video_game)">Braid</a>, the good video game from the creator of <a href="https://www.youtube.com/watch?v=KZokQov_aH0">The Witness</a></li>
<li><a href="file:///Applications/iA%20Writer.app/Contents/Resources/Templates/Sans.iatemplate/Contents/Resources/davidhellman.net">David Hellman</a> is the visual artist behind <a href="http://braid-game.com/">Braid</a>, <a href="http://www.alessonislearned.com/">A Lesson Is Learned but the Damage Is Irreversible</a>, <a href="https://dynamicland.org/">Dynamicland</a>, and… the Braid section of Inventing on Principle.</li>
<li><a href="https://www.kickstarter.com/projects/ibdknox/light-table">Light Table</a> by <a href="https://chris-granger.com/resume/">Chris Granger</a></li>
<li><a href="https://worrydream.com/LearnableProgramming/">Learnable Programming</a> by Bret Victor</li>
<li>When Lu says "It's The Line", they're referring to this thing they're working on called Seet (or "see it"), and you can <a href="https://github.com/TodePond/TodePondDotCom/blob/main/lab/readme.md">sneak</a> a peek at seet right <a href="https://www.todepond.com/wikiblogarden/see-it/prior-art/">heet</a>.</li>
<li><a href="https://en.wikipedia.org/wiki/Paris_Fashion_Week">Paris Fashion Week</a> absolutely struts, and so can you!</li>
<li>The <a href="https://en.wikipedia.org/wiki/Jean_jacket#Canadian_tuxedo">Canadian Tuxedo</a>. As the representative of Canada, I can confirm that I own both a denim jacket and denim pants. If you see me at a conference wearing this combo, I will give you a hug.</li>
<li>Jimmy runs a personal <a href="https://en.wikipedia.org/wiki/Lichess">Lichess</a> data lake.</li>
<li><a href="https://stackoverflow.com/questions/24581873/what-exactly-is-hot-module-replacement-in-webpack">Hot Module Replacement</a> is a good thing.</li>
<li><a href="https://instadeq.com/blog/posts/no-code-history-pygmalion-1975/">Pygmalion</a> has a lot of juicy silly bits, 'parently.</li>
<li><a href="http://cuttle.xyz/">Cuttle</a> is awesome! It's a worthy successor to <a href="http://aprt.us/">Apparatus</a>. <a href="http://tobyschachman.com/">Toby Schachman</a>, <a href="https://www.forresto.com/">Forrest Oliphant</a>, I think maybe a few other folks too? Crushing it. Oh, and don't miss <a href="https://futureofcoding.org/episodes/051">Toby's episode</a> of this very podcast!</li>
<li><a href="http://recursivedrawing.com/">Recursive Drawing</a>, another Toby Schachman joint.</li>
<li><a href="https://www.youtube.com/watch?v=Q4OIcwt8vcE">Screens in Screens in Screens</a>, another Lu Wilson joint.</li>
<li><a href="https://en.wikipedia.org/wiki/Larry_Tesler">Larry Tesler</a>. Not a fan of modes.</li>
<li>Lu writes about <a href="https://www.todepond.com/wikiblogarden/my-wikiblogarden/no-more-ideas/">No Ideas</a> on their <a href="https://www.todepond.com/wikiblogarden/">blog</a>, which is actually just a <a href="https://www.todepond.com/wikiblogarden/">wiki</a>, but it's actually a <a href="https://www.todepond.com/wikiblogarden/">blog</a>, but it's actually just a <a href="https://www.todepond.com/wikiblogarden/">garden</a>.</li>
<li>When we mention <a href="https://en.wikipedia.org/wiki/Rich_Hickey">Rich Hickey</a>, we're referring to the talk <a href="https://www.infoq.com/presentations/Simple-Made-Easy/">Simple Made Easy</a></li>
<li><a href="https://en.wikipedia.org/wiki/Jacob_Collier">Jacob Collier</a>, ugh.</li>
<li><a href="https://en.wikipedia.org/wiki/Suffragette">Suffragettes</a>, women advocating for their <a href="https://en.wikipedia.org/wiki/Women%27s_suffrage">right to vote</a>, absolutely had a principle. Not sure that we should be directly likening their struggle to what we do in tech. On the other hand, it's good to foster positive movements, to resist <a href="https://en.wikipedia.org/wiki/Incel">incel</a> and other hateful ones.</li>
<li>Instead of linking to e/ anything, I'm just gonna link to <a href="https://www.bltc.com/">BLTC</a> for reasons that only make sense to longtime listeners.</li>
<li><a href="https://jackrusher.com/strange-loop-2022/">Stop Writing Dead Programs</a> by <a href="https://jackrusher.com/">Jack Rusher</a>. <a href="https://futureofcoding.org/episodes/041">Jack Rusher</a>? <a href="https://futureofcoding.org/episodes/069">Jack Rusher</a>!</li>
<li><a href="https://www.youtube.com/watch?v=ZMklf0vUl18">It's the fish one, the one with the fish. …Sorry, these aren't actually fish, or something, because they're just drawings.</a></li>
<li><a href="https://en.wikipedia.org/wiki/Ren%C3%A9_Magritte">René Magritte</a> is the creator behind <a href="https://en.wikipedia.org/wiki/The_Treachery_of_Images">La Trahison des Images</a>, origin of "Ceci n'est pas une pipe". Or maybe it was <a href="https://www.youtube.com/watch?v=_9MQe7tR5xQ">Margit the Fell Omen</a>?</li>
<li>Magritte's <a href="https://gallica.bnf.fr/ark:/12148/bpt6k58451673/f38.item.r=les">Words and Images</a> are lovely. Here's an <a href="http://www.philosophical-investigations.org/2017/12/representing-reality-magritte-on-words.html">English translation</a>, though its worth taking a look at the original in context.</li>
<li><a href="https://en.wikipedia.org/wiki/Acousmatic_music">Acousmatic Music</a></li>
<li>Lu has made art with behaviour — various <a href="https://www.youtube.com/watch?v=BDyvjkAs5-Y">sands</a>, and <a href="https://www.youtube.com/watch?v=xvlsJ3FqNYU">CellPond</a>, say.</li>
<li><a href="https://www.youtube.com/user/barnabydixon">Barnaby Dixon? Barnaby Dixon. Barnaby Dixon! Barnaby Dixon!!</a></li>
<li>You can listen to part of Ivan's <a href="https://raised-sixth.surge.sh/">"""Metronome"""</a>, if you want. Or you can listen to an <a href="https://www.youtube.com/watch?v=CoP1bg1GQTM">early version</a> of the song he's using this metronome to write. Or you can hear snippets of it in the <a href="https://www.youtube.com/watch?v=-FgAHiI3ZNY">Torn Leaf Zero video</a> (especially the ending). But, like, you could also go make yourself lunch. I recommend mixing up a spicy peanut sauce for your roasted carrots. Shred a bit of cheese, tomato. Toast the bread. Pull the sausages right when the oil starts to spit. Put them straight into the compost. Look at the bottom of the compost bucket. What's down there? It's shiny. Why are you reading this? Why am I writing this? Why do we make thispodcast?</li>
<li><a href="https://www.youtube.com/watch?v=IvUU8joBb1Q">Wintergatan — Marble Machine</a> exists</li>
<li>Oh, I forgot to add a link to <a href="https://arroost.com/">Arroost</a> earlier. You can also watch a pretty good video that is basically an <a href="https://www.youtube.com/watch?v=DNBKdU6XrLY">Arroost tutorial</a>, not much to it. There are also some nice examples of <a href="https://www.todepond.com/wikiblogarden/arroost/examples/">things people have made with Arroost</a>.</li>
<li>The <a href="https://en.wikipedia.org/wiki/Rain_Room">Rain Room</a> looks <a href="https://www.youtube.com/watch?v=EkvazIZx-F0">pretty cool</a>. It's the exact inverse of <a href="https://www.polygon.com/23890979/starfield-rain-effects-how-its-made">how rain works in many video games</a>. YOU MUST PLAY <a href="https://www.youtube.com/watch?v=_0L-JzJhZbM">RAIN WORLD</a>.</li>
<li>Here's a <a href="https://youtu.be/iRsSjh5TTqI?feature=shared&amp;t=188">beautiful demo of a microtonal guitar</a>, and speaking of using complex machines to make music that would be "easier" to make with a computer, here's a <a href="https://www.youtube.com/watch?v=zbbyikFthEc">microtonal guitar with mechanized frets that can change the tuning dynamically</a>. This entire YT channel is gold.</li>
<li>Shane Crowley wrote <a href="https://edibotopic.com/blog/doing/leisure-sick/">a lovely blog post</a> about creating music with Arroost.</li>
<li><a href="https://blank.page/">blank.page</a> is a fun experiment in writing with various frictions.</li>
<li><a href="https://en.wikipedia.org/wiki/Super_Meat_Boy">Super Meat Boy</a> (the successor to Meat Boy, a Flash game) and <a href="https://en.wikipedia.org/wiki/Celeste_(video_game)">Celeste</a> are great examples of communicating tacit knowledge through the design of a simulation.</li>
<li><a href="https://en.wikipedia.org/wiki/Newgrounds">Newgrounds</a> and <a href="https://en.wikipedia.org/wiki/EBaum%27s_World">eBaum's World</a> and <a href="https://en.wikipedia.org/wiki/Homestar_Runner">Homestar Runner</a> were early examples of (arguably) computer-native media.</li>
<li>Hey, here's this episode's requisite link to the <a href="https://www.youtube.com/@T2TileProject">T2 Tile Project</a> and <a href="https://www.andrewwalpole.com/blog/an-introduction-to-robust-first-computation/">Robust-First Computing</a>. I should probably just create a hard-coded section of the episode page template linking to T2, The Witness, and Jack Rusher.</li>
<li>The pun-proof <a href="https://en.wikipedia.org/wiki/Ivan_Sutherland">Ivan Sutherland</a> made <a href="https://en.wikipedia.org/wiki/Sketchpad">Sketchpad</a>. <a href="https://en.wikipedia.org/wiki/Planner_(programming_language)">Planner</a> exists.</li>
<li>The <a href="https://en.wikipedia.org/wiki/PlayStation_3#Technical_specifications">PlayStation 3 Cell processor</a> was this weirdly parallel CPU that was a pain in the butt to program.</li>
<li>The <a href="https://3dconnexion.com/ca/spacemouse/">SpaceMouse</a></li>
</ul>
Put all metal back into the ground.
Music featured in this episode:
<ul>
<li>Fingers from <a href="https://ivanish.ca/this-score-is-butt-ugly/">This Score is Butt Ugly</a></li>
<li><a href="https://www.youtube.com/watch?v=wE1NyYT31Tw">The Sailor's Chorus</a> from Wagner's The Flying Dutchman.</li>
</ul>
! Send us <a href="mailto:admin@futureofcoding.org?subject=Email%20from%20a%20listener">email</a>, share your ideas in the <a href="https://futureofcoding.org/community">Slack</a>, and catch us at these normal places:
<ul>
<li>Ivan: <a href="https://mastodon.social/@spiralganglion">Mastodon</a> • <a href="https://ivanish.ca/">Website</a></li>
<li>Jimmy: <a href="https://hachyderm.io/@jimmyhmiller">Mastodon</a> • <a href="https://jimmyhmiller.github.io/">Website</a></li>
<li>Lu: <a href="https://mas.to/@TodePond">Mastodon</a> • <a href="https://www.todepond.com/">Website</a></li>
</ul>
See you in the future!
<a href="https://futureofcoding.org/episodes/71">https://futureofcoding.org/episodes/71</a>

Elephant in the Room

Dave Ackley's paper Beyond Efficiency is three pages long. With just these three pages, he mounts a compelling argument against the conventional way we engineer software. Instead of inflexibly insisting upon correctness, maybe allow a lil slop? Instead of chasing peak performance with cache and clever tricks, maybe measure many times before you cut. So in this episode, we're putting every CEO in the guillotine… (oh, that stands for "correctness and efficiency only", don't put us on a list)… and considering when, where, and how to do the robust thing.

Links

$ patreon.com/futureofcoding — The most recent bonus episode is a discussion with Stefan Lesser about new "laws of physics" we can invent inside the computer.

Don't destroy the earth, then make sure your thing can't be destroyed, then don't destroy your data, and finally, do your damn job, AAAAAAAAAAAAAAAAAAAAAAAAAAA.
A Software Epiphany, and the accompanying HN discussion — giga viral, so sick
PartyKit? Nice!
What started as a simple todo list turned into an ocean of tech boy milk and, ultimately, the AI apocalypse.
Jepsen is a rough, rugged, deeply thoughtful and fantastically cool approach to distributed systems testing, by Kyle Kingsbury. Also, we didn't talk about it, but his reversing / hexing / typing / rewriting / unifying technical interview series is essential reading.
Ivan's examples of robustness vs efficiency were RAID, the CAP theorem, Automerge, the engineering of FoundationDB, and Byzantine fault tolerance— all of which stake out interesting territory in the efficiency/robustness tradeoff spectrum, all of which are about distributed systems.
Can programming be liberated from the von Neumann style?, a paper by John Backus.
We Don't Really Know How to Compute!, a talk by Gerald Sussman.
The Robust-First Computing Creed is rock solid.
The Wikipedia article on von Neumann architecture did not come through with the goods.
Ivan works with Alex Warth now, and thus may fairly speak in half-truths like "I've been working with constraints recently…"
The Demon Hoard Sort
Bogosort is never coming to Dreamberd
The Witness was made by Jonathan Blow, who has Aphantasia, but he also made a game called Braid, and Braid is good.
Datamosh is a creative misuse of the lack of robustness that comes from storing diffs instead of full state snapshots. Here's a lovely gallery of examples.
Abstraction by xkcd
Reverse Engineering the source code of the BioNTech/Pfizer SARS-CoV-2 Vaccine
Can't let Lu get through the above without derailing onto Fiverr, PCP, Fight Club, and the Dust Brothers.
Randy Newman was nearly quoted in Ackley's Indefinite Scalability for Living Computation — god help you if you read our show notes and don't listen to the episode.
"It is difficult", says Upton Sinclair when asked about Jimmy Miller being Jimmy Miller, and how we all ought to approach our own sense of Jimmy Miller.

Music featured in this episode:
Hawker News by user: spiralganglion
Corporate World by the Dust Brothers

No more jokes! Find us at these normal places:
Ivan: Mastodon • Website
Jimmy: Mastodon • Website
Lu: Mastodon • Website
Dave: Mastodon • Website

Send us email, share your ideas in our Slack, and support the show on Patreon. Yes, do all three please.

http://futureofcoding.org/episodes/70

<a href="https://www.cs.unm.edu/~ackley/">Dave Ackley</a>'s paper <a href="https://www.cs.unm.edu/~ackley/be-201301131528.pdf">Beyond Efficiency</a> is three pages long. With just these three pages, he mounts a compelling argument against the conventional way we engineer software. Instead of inflexibly insisting upon correctness, maybe allow a lil slop? Instead of chasing peak performance with cache and clever tricks, maybe measure many times before you cut. So in this episode, we're putting every CEO in the guillotine… (oh, that stands for "correctness and efficiency only", don't put us on a list)… and considering when, where, and how to do the robust thing.
Links
$ <a href="https://www.patreon.com/futureofcoding">patreon.com/futureofcoding</a> — The most recent bonus episode is a discussion with Stefan Lesser about new "laws of physics" we can invent inside the computer.
Don't destroy the earth, then make sure your thing can't be destroyed, then don't destroy your data, and finally, do your damn job, AAAAAAAAAAAAAAAAAAAAAAAAAAA.
<ul>
<li><a href="https://johnwhiles.com/posts/programming-as-theory">A Software Epiphany</a>, and the accompanying <a href="https://news.ycombinator.com/item?id=38324486">HN discussion</a> — giga viral, so sick</li>
<li><a href="https://www.partykit.io/">PartyKit</a>? Nice!</li>
<li>What started as a <a href="https://mastodon.social/@TodePond@mas.to/111402970410628418">simple todo list</a> turned into an <a href="https://twitter.com/tldraw/status/1724892287304646868">ocean of tech boy milk</a> and, ultimately, the <a href="https://news.ycombinator.com/item?id=38309611">AI apocalypse</a>.</li>
<li><a href="https://jepsen.io/">Jepsen</a> is a rough, rugged, deeply thoughtful and fantastically cool approach to distributed systems testing, by <a href="https://aphyr.com/">Kyle Kingsbury</a>. Also, we didn't talk about it, but his <a href="https://aphyr.com/posts/340-reversing-the-technical-interview">reversing</a> / <a href="https://aphyr.com/posts/341-hexing-the-technical-interview">hexing</a> / <a href="https://aphyr.com/posts/342-typing-the-technical-interview">typing</a> / <a href="https://aphyr.com/posts/353-rewriting-the-technical-interview">rewriting</a> / <a href="https://aphyr.com/posts/354-unifying-the-technical-interview">unifying</a> technical interview series is essential reading.</li>
<li>Ivan's examples of robustness vs efficiency were <a href="https://en.wikipedia.org/wiki/RAID">RAID</a>, the <a href="https://en.wikipedia.org/wiki/CAP_theorem">CAP theorem</a>, <a href="https://automerge.org/">Automerge</a>, <a href="https://www.youtube.com/watch?v=4fFDFbi3toc">the engineering of FoundationDB</a>, and <a href="https://en.wikipedia.org/wiki/Byzantine_fault">Byzantine fault tolerance</a>— all of which stake out interesting territory in the efficiency/robustness tradeoff spectrum, all of which are about distributed systems.</li>
<li><a href="https://dl.acm.org/doi/10.1145/359576.359579">Can programming be liberated from the von Neumann style?</a>, a paper by <a href="https://en.wikipedia.org/wiki/John_Backus">John Backus</a>.</li>
<li><a href="https://www.youtube.com/watch?v=HB5TrK7A4pI">We Don't Really Know How to Compute!</a>, a talk by <a href="https://en.wikipedia.org/wiki/Gerald_Jay_Sussman">Gerald Sussman</a>.</li>
<li>The <a href="https://andrewwalpole.com/blog/an-introduction-to-robust-first-computation/">Robust-First Computing Creed</a> is rock solid.</li>
<li>The Wikipedia article on <a href="https://en.wikipedia.org/wiki/Von_Neumann_architecture">von Neumann architecture</a> did not come through with the goods.</li>
<li>Ivan works with <a href="https://alexwarth.github.io/">Alex Warth</a> now, and thus may fairly speak in half-truths like "I've been working with constraints recently…"</li>
<li>The <a href="https://www.youtube.com/watch?v=helScS3coAE">Demon Hoard Sort</a></li>
<li><a href="https://en.wikipedia.org/wiki/Bogosort">Bogosort</a> is never coming to <a href="https://github.com/TodePond/DreamBerd">Dreamberd</a></li>
<li><a href="https://en.wikipedia.org/wiki/The_Witness_(2016_video_game)">The Witness</a> was made by <a href="https://en.wikipedia.org/wiki/Jonathan_Blow">Jonathan Blow</a>, who has <a href="https://en.wikipedia.org/wiki/Aphantasia">Aphantasia</a>, but he also made a game called <a href="https://en.wikipedia.org/wiki/Braid_(video_game)">Braid</a>, and Braid is good.</li>
<li><a href="https://en.wikipedia.org/wiki/Compression_artifact#Artistic_use">Datamosh</a> is a creative misuse of the lack of robustness that comes from storing diffs instead of full state snapshots. Here's a <a href="https://eyecannndy.com/technique/glitch#datamosh">lovely gallery</a> of examples.</li>
<li><a href="https://xkcd.com/676/">Abstraction</a> by xkcd</li>
<li><a href="https://berthub.eu/articles/posts/reverse-engineering-source-code-of-the-biontech-pfizer-vaccine/">Reverse Engineering the source code of the BioNTech/Pfizer SARS-CoV-2 Vaccine</a></li>
<li>Can't let Lu get through the above without derailing onto <a href="https://en.wikipedia.org/wiki/Fiverr">Fiverr</a>, <a href="https://en.wikipedia.org/wiki/Phencyclidine">PCP</a>, <a href="https://en.wikipedia.org/wiki/Fight_Club">Fight Club</a>, and the <a href="https://en.wikipedia.org/wiki/Dust_Brothers">Dust Brothers</a>.</li>
<li><a href="https://en.wikipedia.org/wiki/Randy_Newman">Randy Newman</a> was nearly quoted in Ackley's <a href="https://cdn.aaai.org/ojs/9802/9802-13-13330-1-2-20201228.pdf">Indefinite Scalability for Living Computation</a> — god help you if you read our show notes and don't listen to the episode.</li>
<li><a href="https://www.goodreads.com/quotes/21810-it-is-difficult-to-get-a-man-to-understand-something">"It is difficult"</a>, says <a href="https://en.wikipedia.org/wiki/Upton_Sinclair">Upton Sinclair</a> when asked about Jimmy Miller being Jimmy Miller, and how we all ought to approach our own sense of Jimmy Miller.</li>
</ul>
Music featured in this episode:
<ul>
<li><a href="https://ivanish.ca/hawker-news">Hawker News</a> by <a href="https://news.ycombinator.com/user?id=spiralganglion">user: spiralganglion</a></li>
<li><a href="https://www.youtube.com/watch?v=dAtX4PjUXrM">Corporate World</a> by the <a href="https://en.wikipedia.org/wiki/Dust_Brothers">Dust Brothers</a></li>
</ul>
No more jokes! Find us at these normal places:
<ul>
<li>Ivan: <a href="https://mastodon.social/@spiralganglion">Mastodon</a> • <a href="https://ivanish.ca/">Website</a></li>
<li>Jimmy: <a href="https://hachyderm.io/@jimmyhmiller">Mastodon</a> • <a href="https://jimmyhmiller.github.io/">Website</a></li>
<li>Lu: <a href="https://mas.to/@TodePond">Mastodon</a> • <a href="https://www.todepond.com/">Website</a></li>
<li>Dave: <a href="https://hachyderm.io/@livcomp">Mastodon</a> • <a href="https://www.cs.unm.edu/~ackley/">Website</a></li>
</ul>
Send us <a href="mailto:admin@futureofcoding.org?subject=Email%20from%20a%20listener">email</a>, share your ideas in our <a href="https://futureofcoding.org/community">Slack</a>, and support the show on <a href="http://patreon.com/futureofcoding">Patreon</a>. Yes, do all three please.
http://futureofcoding.org/episodes/70

Beyond Efficiency by Dave Ackley

In the spirit of clearly communicating what you're signing up for, this podcast episode is nearly three hours long, and among other things it contains a discussion of a paper by author Mary Shaw titled Myths & Mythconceptions which takes as an organizing principle a collection of myths that are widely believed by programmers, largely unacknowledged, which shape our views on the nature of programming as an activity and the needs of programmers as people and the sort of work that we do as a sort of work, and where by acknowledging these myths the three of us (Mary Shaw primarily, and by extension Jimmy and I, those three people, that's it, no other people appear on this podcast) are able to more vividly grip the image of programming with our mind's eye (or somesuch) and conceive of a different formulation for programming, and in addition to these myths this paper also incudes a number of excellent lists that I take great pleasure in reading, beyond which I should also note that the paper does a job of explaining itself and that hopefully you'll find I've done a similar job, that's the spirit, please enjoy.

Links

$ patreon.com/futureofcoding — I've recently changed it so that there's only 1 instance of the INTERCAL tier available, so if you're interested in those perks you'd better hop on it quick before nobody else does!
There's also a video, though I haven't watched it.
Claude Shannon would have something to say about revealing information.
Top 10 Hits of the End of the World is an album by Prince Rama. Listen to it as loudly as you can on Bandcamp, Spotify, or Apple Music.
Val Town is the new startup by Future of Coding community founder Steve Krouse
Ivan recently took a job at Ink & Switch on the "Ink" research track.
Programmer Bums, or, rather, Computer Bums
Limmy's Wa
Retool
MythBusters
The Flop House's Final Judgements: Good-Bad, Bad-Bad, Kinda-Like
CRDT
Data
Robust-First Computing is an approach championed by the hero Dave Ackley, and I have a well-informed hunch that you'll be hearing a lot more about it in future episodes.
The T2 Tile Project is another Ackley joint that, perhaps, works as a wild example of what Mary Shaw means when she talks about an "execution ecosystem".
Devine's talk at Strange Loop: An approach to computing and sustainability inspired from permaculture
MUMPS (the medical thing, not to be confused with mumps the medical thing) is used by Epic (the software company, not to be confused with Epic the software company).
The Glass Cannon podcast network.
Lu's SPLASH talk Cellpond: Spatial Programming without Escape
The Turing tarpit
Functional Programming with Bananas, Lenses, Envelopes and Barbed Wire by Erik Meijer, Maarten Fokkinga, Ross Paterson.
Richard D. James is the same person as Richard P. (Peter) Gabriel, right?
Similarly, see Neil Armstrong's work on Erlang (which is popular in telephony, right?).
The Witness is not going to appear in our show notes.
Jack Rusher. Jack Rusher? Jack Rusher!
TrainJam
Gary Bernhardt's talk Ideology

Nobody remarked on these silly links last time, so this time I'm drawing more attention to them:
Tode: Neopets • MySpace
Berd: Angelfire • Orkut
Bot: Geocities • Friendster

https://futureofcoding.org/episodes/069

In the spirit of clearly communicating what you're signing up for, this podcast episode is nearly three hours long, and among other things it contains a discussion of a paper by author Mary Shaw titled <a href="https://dl.acm.org/doi/pdf/10.1145/3480947">Myths &amp; Mythconceptions</a> which takes as an organizing principle a collection of myths that are widely believed by programmers, largely unacknowledged, which shape our views on the nature of programming as an activity and the needs of programmers as people and the sort of work that we do as a sort of work, and where by acknowledging these myths the three of us (Mary Shaw primarily, and by extension Jimmy and I, those three people, that's it, no other people appear on this podcast) are able to more vividly grip the image of programming with our mind's eye (or <a href="https://aphantasia.com/">somesuch</a>) and conceive of a different formulation for programming, and in addition to these myths this paper also incudes a number of excellent lists that I take great pleasure in reading, beyond which I should also note that the paper does a job of explaining itself and that hopefully you'll find I've done a similar job, that's the spirit, please enjoy.
Links
$ <a href="https://www.patreon.com/futureofcoding">patreon.com/futureofcoding</a> — I've recently changed it so that there's only 1 instance of the INTERCAL tier available, so if you're interested in those perks you'd better hop on it quick before nobody else does!
<ul>
<li>There's also a <a href="https://www.pldi21.org/prerecorded_hopl.K1.html">video</a>, though I haven't watched it.</li>
<li><a href="https://en.wikipedia.org/wiki/Claude_Shannon">Claude Shannon</a> would have something to say about revealing information.</li>
<li><a href="https://en.wikipedia.org/wiki/Top_10_Hits_of_the_End_of_the_World">Top 10 Hits of the End of the World</a> is an album by Prince Rama. Listen to it as loudly as you can on <a href="https://princerama.bandcamp.com/album/top-ten-hits-of-the-end-of-the-world">Bandcamp</a>, <a href="https://open.spotify.com/album/2pbvIz40L97L87KGFnFnme?si=zbzT8JHKTCGJkObmh4qN1g">Spotify</a>, or <a href="https://music.apple.com/ca/album/top-ten-hits-of-the-end-of-the-world/1583505277">Apple Music</a>.</li>
<li><a href="https://www.val.town/">Val Town</a> is the new startup by Future of Coding community founder <a href="https://stevekrouse.com/">Steve Krouse</a></li>
<li>Ivan recently took a job at <a href="https://www.inkandswitch.com/">Ink &amp; Switch</a> on the "Ink" research track.</li>
<li><a href="https://daily.jstor.org/how-computer-science-became-a-boys-club/">Programmer Bums</a>, or, rather, <a href="https://www.jstor.org/stable/10.1086/682955?mag=how-computer-science-became-a-boys-club">Computer Bums</a></li>
<li><a href="https://www.youtube.com/watch?v=GceNsojnMf0">Limmy's Wa</a></li>
<li><a href="https://retool.com/">Retool</a></li>
<li><a href="https://en.wikipedia.org/wiki/MythBusters">MythBusters</a></li>
<li><a href="https://en.wikipedia.org/wiki/The_Flop_House">The Flop House</a>'s <a href="https://flophousepodcast.fandom.com/wiki/Final_Judgments">Final Judgements: Good-Bad, Bad-Bad, Kinda-Like</a></li>
<li><a href="https://en.wikipedia.org/wiki/Conflict-free_replicated_data_type">CRDT</a></li>
<li><a href="https://en.wikipedia.org/wiki/Data_(Star_Trek)">Data</a></li>
<li><a href="https://andrewwalpole.com/blog/an-introduction-to-robust-first-computation/">Robust-First Computing</a> is an approach championed by the hero <a href="https://hachyderm.io/@livcomp">Dave Ackley</a>, and I have a well-informed hunch that you'll be hearing a lot more about it in future episodes.</li>
<li><a href="https://www.youtube.com/watch?v=jreRFxN6wuM">The T2 Tile Project</a> is another Ackley joint that, perhaps, works as a wild example of what Mary Shaw means when she talks about an "execution ecosystem".</li>
<li><a href="https://xxiivv.com/">Devine</a>'s talk at Strange Loop: <a href="https://www.youtube.com/watch?v=T3u7bGgVspM">An approach to computing and sustainability inspired from permaculture</a></li>
<li><a href="https://en.wikipedia.org/wiki/MUMPS">MUMPS</a> (the medical thing, not to be confused with <a href="https://en.wikipedia.org/wiki/Mumps">mumps</a> the medical thing) is used by <a href="https://en.wikipedia.org/wiki/Epic_Systems">Epic</a> (the software company, not to be confused with <a href="https://en.wikipedia.org/wiki/Epic_Games">Epic</a> the software company).</li>
<li>The <a href="https://www.glasscannonnetwork.com/">Glass Cannon</a> podcast network.</li>
<li>Lu's SPLASH talk <a href="https://www.youtube.com/watch?v=cBYudbaqHAk&amp;t=6704s">Cellpond: Spatial Programming without Escape</a></li>
<li>The <a href="https://en.wikipedia.org/wiki/Turing_tarpit">Turing tarpit</a></li>
<li><a href="https://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.41.125">Functional Programming with Bananas, Lenses, Envelopes and Barbed Wire</a> by Erik Meijer, Maarten Fokkinga, Ross Paterson.</li>
<li><a href="https://en.wikipedia.org/wiki/Aphex_Twin">Richard D. James</a> is the same person as <a href="https://en.wikipedia.org/wiki/Richard_P._Gabriel">Richard P. (Peter) Gabriel</a>, right?</li>
<li>Similarly, see <a href="https://en.wikipedia.org/wiki/Neil_Armstrong">Neil Armstrong</a>'s work on <a href="https://en.wikipedia.org/wiki/Erlang_(unit)">Erlang</a> (which is popular in telephony, right?).</li>
<li><a href="https://en.wikipedia.org/wiki/The_Witness_(2016_video_game)">The Witness</a> is not going to appear in our show notes.</li>
<li><a href="https://jackrusher.com/">Jack Rusher</a>. <a href="https://berlin.social/@jack">Jack Rusher</a>? <a href="https://futureofcoding.org/episodes/041">Jack Rusher</a>!</li>
<li><a href="https://www.youtube.com/watch?v=9qVT0URkkGE">TrainJam</a></li>
<li><a href="https://www.destroyallsoftware.com/">Gary Bernhardt</a>'s talk <a href="https://www.destroyallsoftware.com/talks/ideology">Ideology</a></li>
</ul>
Nobody remarked on these silly links last time, so this time I'm drawing more attention to them:
<ul>
<li>Tode: <a href="https://mas.to/@todepond">Neopets</a> • <a href="https://www.patreon.com/todepond">MySpace</a></li>
<li>Berd: <a href="https://mas.to/@todepond">Angelfire</a> • <a href="https://www.patreon.com/todepond">Orkut</a></li>
<li>Bot: <a href="https://mas.to/@todepond">Geocities</a> • <a href="https://www.patreon.com/todepond">Friendster</a></li>
</ul>
<a href="https://futureofcoding.org/episodes/069">https://futureofcoding.org/episodes/069</a>

Myths & Mythconceptions by Mary Shaw

The subject of this episode's paper — Propositions as Types by Philip Wadler — is one of those grand ideas that makes you want to go stargazing. To stare out into space and just disassociate from your body and become one with the heavens. Everything — life, space, time, existence — all of it is a joke! A cosmic ribbing delivered by the laws of the universe or some higher power or, perhaps, higher order. Humanity waited two thousand years, from the time of the ancient Greeks through until the 1930s, for a means to answer questions of calculability, when three suddenly arrived all at once:
General recursive functions by Gödel in 1934, with functions of sets of natural numbers.
Lambda calculus by Alonzo Church in 1936, with anonymous single-variable functions.
Turing machines by Alan Turing in 1937, with a process for evaluating symbols on a tape.

Then it was discovered that these three models of computation were, in fact, perfectly equivalent. That any statement made in one could be made in the others. A striking coincidence, sure, but not without precedent. But then it was quietly determined (in 1934, again in 1969, and finally published in 1980) that computation itself is in a direct correspondence with logic. That every proposition in a given logic corresponds with a type in a given programming language, every proof corresponds with a program, and the simplification of the proof corresponds with the evaluation of the program.

The implications boggle the mind. How could this be so? Well, how could it be any other way? Why did it take so long to discover? What other discoveries like this are perched on the precipice of revelation?

Philip Wadler is here to walk us through this bit of history, suggest answers to some of these questions, and point us in a direction to search for more.

And we are here, dear listener, to level with you that a lot of this stuff is miserably hard to approach, presented with the symbols and language of formal logic that is so often inscrutable to outsiders. By walking you through Wadler's paper (and the much more approachable Strange Loop talk), and tying it in with the cultural context of modern functional programming, we hope you'll gain an appreciation for this remarkable, divine pun that sits beneath all of computation.

Links

=> patreon.com/futureofcoding — but only if you back the Visual Programming tier!! I'm warning you!
Wadler's Strange Loop talk Propositions as Types
Cocoon is good. It's not, like, Inside or Limbo good, but it's good. Actually, just play Inside. Do that ASAP.
Hollow Knight, also extremely good. Can't wait for Silksong. But seriously, if you're reading this and have haven't played Inside, just skip this episode of the podcast and go play Inside. It's like 3 hours long and it's, like, transformatively great.
Chris Martens has done some cool work (eg) bringing together linear logic and games.
Meh: Gödel, Escher, Bach by Douglas Hofstadter
Yeh: Infinity and the Mind by Rudy Rucker
Heh: To Mock a MockingBird by Raymond Smullyan.
The hierarchy of automata
Games: Agency as Art
The Incredible Proof Machine is what some would call a "visual programming language" because proofs are programs. But it's actually really cool and fun to play with. Approach it like a puzzle game, and give it 10 minutes or so to get its hooks into you.
"Stop Doing Logic" is part of the Stop Doing Math meme. Unrelated: Ivan's song Don't Do Math.
Bidirectional Type Checking, a talk by David Christiansen
List Out of Lambda, a blog post by Steve Losh

Nobody noticed that these links were silly last time, so this time I'm drawing more attention to it:
Ivan: Mastodon • Email
Jimmy: Mastodon • Twitter

This link is legit:
DM us in the FoC Slack

https://futureofcoding.org/episodes/068

The subject of this episode's paper — <a href="https://homepages.inf.ed.ac.uk/wadler/papers/propositions-as-types/propositions-as-types.pdf">Propositions as Types</a> by <a href="https://en.wikipedia.org/wiki/Philip_Wadler">Philip Wadler</a> — is one of those grand ideas that makes you want to go stargazing. To stare out into space and just disassociate from your body and become one with the heavens. Everything — life, space, time, existence — all of it is a joke! A cosmic ribbing delivered by the laws of the universe or some higher power or, perhaps, higher order. Humanity waited two thousand years, from the time of the ancient Greeks through until the 1930s, for a means to answer questions of calculability, when three suddenly arrived all at once:
<ul>
<li>General recursive functions by Gödel in 1934, with functions of sets of natural numbers.</li>
<li>Lambda calculus by Alonzo Church in 1936, with anonymous single-variable functions.</li>
<li>Turing machines by Alan Turing in 1937, with a process for evaluating symbols on a tape.</li>
</ul>
Then it was discovered that these three models of computation were, in fact, perfectly equivalent. That any statement made in one could be made in the others. A striking coincidence, sure, but not <a href="https://en.wikipedia.org/wiki/Multiple_discovery">without precedent</a>. But then it was quietly determined (in 1934, again in 1969, and finally published in 1980) that computation itself is in a direct correspondence with logic. That every proposition in a given logic corresponds with a type in a given programming language, every proof corresponds with a program, and the simplification of the proof corresponds with the evaluation of the program.
The implications boggle the mind. How could this be so? Well, how could it be any other way? Why did it take so long to discover? What other discoveries like this are perched on the precipice of revelation?
Philip Wadler is here to walk us through this bit of history, suggest answers to some of these questions, and point us in a direction to search for more.
And we are here, dear listener, to level with you that a lot of this stuff is miserably hard to approach, presented with the symbols and language of formal logic that is so often inscrutable to outsiders. By walking you through Wadler's paper (and the much more approachable <a href="https://www.youtube.com/watch?v=IOiZatlZtGU">Strange Loop talk</a>), and tying it in with the cultural context of modern functional programming, we hope you'll gain an appreciation for this remarkable, divine pun that sits beneath all of computation.
Links
=&gt; <a href="https://www.patreon.com/futureofcoding">patreon.com/futureofcoding</a> — but only if you back the Visual Programming tier!! I'm warning you!
<ul>
<li>Wadler's Strange Loop talk <a href="https://www.youtube.com/watch?v=IOiZatlZtGU">Propositions as Types</a></li>
<li><a href="https://www.cocoongame.com/">Cocoon</a> is good. It's not, like, <a href="https://playdead.com/games/inside/">Inside</a> or <a href="https://playdead.com/games/limbo/">Limbo</a> good, but it's good. Actually, just play Inside. Do that ASAP.</li>
<li><a href="https://www.hollowknight.com/">Hollow Knight</a>, also extremely good. Can't wait for <a href="https://hollowknightsilksong.com/">Silksong</a>. But seriously, if you're reading this and have haven't played Inside, just skip this episode of the podcast and go play Inside. It's like 3 hours long and it's, like, transformatively great.</li>
<li><a href="https://www.convivial.tools/">Chris Martens</a> has done some cool work (eg) bringing together linear logic and games.</li>
<li>Meh: <a href="https://en.wikipedia.org/wiki/G%C3%B6del,_Escher,_Bach">Gödel, Escher, Bach</a> by Douglas Hofstadter</li>
<li>Yeh: <a href="https://en.wikipedia.org/wiki/Infinity_and_the_Mind">Infinity and the Mind</a> by Rudy Rucker</li>
<li>Heh: <a href="https://en.wikipedia.org/wiki/To_Mock_a_Mockingbird">To Mock a MockingBird</a> by Raymond Smullyan.</li>
<li>The <a href="https://en.wikipedia.org/wiki/Automata_theory">hierarchy of automata</a></li>
<li><a href="https://www.goodreads.com/book/show/48765399-games">Games: Agency as Art</a></li>
<li><a href="http://incredible.pm/">The Incredible Proof Machine</a> is what some would call a "visual programming language" because proofs are programs. But it's actually really cool and fun to play with. Approach it like a puzzle game, and give it 10 minutes or so to get its hooks into you.</li>
<li>"Stop Doing Logic" is part of the <a href="https://knowyourmeme.com/memes/stop-doing-math">Stop Doing Math</a> meme. Unrelated: Ivan's song <a href="https://ivanish.ca/dont-do-math/">Don't Do Math</a>.</li>
<li><a href="https://www.youtube.com/watch?v=utyBNDj7s2w">Bidirectional Type Checking</a>, a talk by <a href="https://davidchristiansen.dk/">David Christiansen</a></li>
<li><a href="https://stevelosh.com/blog/2013/03/list-out-of-lambda/">List Out of Lambda</a>, a blog post by <a href="https://stevelosh.com/">Steve Losh</a></li>
</ul>
Nobody noticed that these links were silly last time, so this time I'm drawing more attention to it:
<ul>
<li>Ivan: <a href="https://mas.to/@todepond">Mastodon</a> • <a href="https://www.patreon.com/todepond">Email</a></li>
<li>Jimmy: <a href="https://mas.to/@todepond">Mastodon</a> • <a href="https://www.patreon.com/todepond">Twitter</a></li>
</ul>
This link is legit:
<ul>
<li>DM us in the <a href="https://futureofcoding.org/community">FoC Slack</a></li>
</ul>
<a href="https://futureofcoding.org/episodes/068">https://futureofcoding.org/episodes/068</a>

Propositions as Types by Philip Wadler

Go To Statement Considered Harmful is a solid classic entry in the X Considered Harmful metafiction genre, authored by renowned computer scientist and idiosyncratic grump, Edsger Wybe Dijkstra. Surprisingly (given the impact it's had) this is a minuscule speck of a paper, lasting only 1-ish pages, and it even digresses several times from the main point. Fear not! Jimmy and I spend the entirety of these two podcast hours thoroughly analyzing the paper, wringing every last drop of insight from it, speaking directly to how programming ought to be reimagined from the molten venture capital core on up. Yes indeed, this is another episode in the fine tradition of Future of Coding where we stay faithfully close to the text, we leave the second-order implications alone, and there's nothing more than that. Nothing portended, nothing changed.

Links

=> patreon.com/futureofcoding
Hest, which Jimmy is convinced that I refuse to call by name, or even talk about. He's clearly mistaken — and yet, I feel his philosophical force on my hand even now. Conundrum considered harmful.
"All Cretans are liars" doesn't have quite the ring of "dipping their breasts into the ripper", and is considered harmful.
Dijkstra's The Humble Programmer considered harmful.
Hoare's The Emperor's Old Clothes considered harmful.
Letter O Considered Harmful considered harmful.
“Considered Harmful” Essays Considered Harmful considered harmful! Scolds!
James while John had had had had had had had had had had had a better effect on the teacher considered considered considered considered considered considered considered considered harmful.
Proximity to Chomsky considered harmful.
Interlisp, an early lisp featuring the ] super paren, considered harmful.
The opening segment of the "I Want to Half-Believe" episode of Very Bad Wizards considered harmful.
The Witness considered harmful to our show notes.
Delimited Continuations considered harmful.
Notation as a Tool of Thought by "Kenneth E. Iverson considered harmful."
The Zen of Python considered a great honking idea.
Chunky Bacon considered harmful.
Copilot considered harmful.
Charles Babbage's Bridgewater Treatises considered harmful.
North & Whitehead's Principia Mathematica considered harmful.
The Sailor's Chorus from Wagner's The Flying Dutchman considered harmful.
PEP 8 considered harmful.
There are dozens of us considered harmful.
TC39 actually considered harmful.
Bifunctors considered harmful.
Chocolate
Radiolab considered one of the only good radio shows, because it's pushing hard against the norms of its medium.
UBI — consider it!
Forking The Queen considered harmful.
The Semantics of Graphical Languages, the paper about a visual formalism for visual programs, considered harmful.

Music featured in this episode:
Lemon
Wagner
Lu, Devine, William, Alex and Alex, Justin, Marcel, Peter, Matt, Blaine, Kevin, Nicki, Mae, Kate, Steve, Mitja, Philippa, Max, and everyone else who secretly said it like a swearword.

Get in touch, ask questions, don't ask questions:
Ivan: Mastodon • Email
Jimmy: Mastodon • Twitter
DM us in the FoC Slack
Support the show on Patreon

https://futureofcoding.org/episodes/067

<a href="https://dl.acm.org/doi/pdf/10.1145/362929.362947">Go To Statement Considered Harmful</a> is a solid classic entry in the <a href="https://en.wikipedia.org/wiki/Considered_harmful">X Considered Harmful</a> metafiction genre, authored by renowned computer scientist and idiosyncratic grump, <a href="https://en.wikipedia.org/wiki/Edsger_W._Dijkstra">Edsger Wybe Dijkstra</a>. Surprisingly (given the impact it's had) this is a minuscule speck of a paper, lasting only 1-ish pages, and it even digresses several times from the main point. Fear not! Jimmy and I spend the entirety of these two podcast hours thoroughly analyzing the paper, wringing every last drop of insight from it, speaking directly to how programming ought to be reimagined from the molten venture capital core on up. Yes indeed, this is another episode in the fine tradition of Future of Coding where we stay faithfully close to the text, we leave the second-order implications alone, and there's nothing more than that. Nothing portended, nothing changed.
Links
=&gt; <a href="https://www.patreon.com/futureofcoding">patreon.com/futureofcoding</a>
<ul>
<li><a href="https://ivanish.ca/hest-time-travel/">Hest</a>, which Jimmy is convinced that I refuse to call by name, or even talk about. He's clearly mistaken — and yet, I feel his philosophical force on my hand even now. Conundrum considered harmful.</li>
<li><a href="https://en.wikipedia.org/wiki/Epimenides_paradox">"All Cretans are liars"</a> doesn't have quite the ring of "dipping their breasts into the ripper", and is considered harmful.</li>
<li>Dijkstra's <a href="https://www.cs.utexas.edu/~EWD/transcriptions/EWD03xx/EWD340.html">The Humble Programmer</a> considered harmful.</li>
<li>Hoare's <a href="http://worrydream.com/refs/Hoare%20-%20The%20Emperors%20Old%20Clothes.pdf">The Emperor's Old Clothes</a> considered harmful.</li>
<li><a href="https://en.wikipedia.org/wiki/Fortran#Humor">Letter O Considered Harmful</a> considered harmful.</li>
<li><a href="https://meyerweb.com/eric/comment/chech.html">“Considered Harmful” Essays Considered Harmful</a> considered harmful! Scolds!</li>
<li><a href="https://en.wikipedia.org/wiki/James_while_John_had_had_had_had_had_had_had_had_had_had_had_a_better_effect_on_the_teacher">James while John had had had had had had had had had had had a better effect on the teacher</a> considered considered considered considered considered considered considered considered harmful.</li>
<li>Proximity to <a href="https://en.wikipedia.org/wiki/Noam_Chomsky">Chomsky</a> considered harmful.</li>
<li><a href="https://en.wikipedia.org/wiki/Interlisp">Interlisp</a>, an early lisp featuring the ] super paren, considered harmful.</li>
<li>The opening segment of the <a href="https://verybadwizards.com/episode/episode-266-i-want-to-half-believe">"I Want to Half-Believe" episode of Very Bad Wizards</a> considered harmful.</li>
<li><a href="https://store.steampowered.com/app/1985690/The_Looker/">The Witness</a> considered harmful to our show notes.</li>
<li><a href="https://en.wikipedia.org/wiki/Delimited_continuation">Delimited Continuations</a> considered harmful.</li>
<li><a href="https://www.eecg.toronto.edu/~jzhu/csc326/readings/iverson.pdf">Notation as a Tool of Thought</a> by "Kenneth E. Iverson considered harmful."</li>
<li><a href="https://en.wikipedia.org/wiki/Zen_of_Python">The Zen of Python</a> considered a great honking idea.</li>
<li><a href="https://en.wikipedia.org/wiki/Why%27s_(poignant)_Guide_to_Ruby">Chunky Bacon</a> considered harmful.</li>
<li><a href="https://github.com/features/copilot">Copilot</a> considered harmful.</li>
<li><a href="https://en.wikipedia.org/wiki/Charles_Babbage">Charles Babbage</a>'s <a href="https://en.wikipedia.org/wiki/Bridgewater_Treatises">Bridgewater Treatises</a> considered harmful.</li>
<li>North &amp; Whitehead's <a href="https://en.wikipedia.org/wiki/Principia_Mathematica">Principia Mathematica</a> considered harmful.</li>
<li><a href="https://www.youtube.com/watch?v=wE1NyYT31Tw">The Sailor's Chorus</a> from Wagner's The Flying Dutchman considered harmful.</li>
<li><a href="https://pep8.org/">PEP 8</a> considered harmful.</li>
<li><a href="https://www.youtube.com/watch?v=lKie-vgUGdI">There are dozens of us considered harmful.</a></li>
<li><a href="https://tc39.es/">TC39</a> actually considered harmful.</li>
<li><a href="https://wiki.haskell.org/Typeclassopedia#Bifunctor">Bifunctors</a> considered harmful.</li>
<li><a href="https://www.chocolate.wiki/">Chocolate</a></li>
<li><a href="https://www.radiolab.org/">Radiolab</a> considered one of the only good radio shows, because it's pushing hard against the norms of its medium.</li>
<li><a href="https://en.wikipedia.org/wiki/Universal_basic_income">UBI</a> — consider it!</li>
<li><a href="https://en.wikipedia.org/wiki/Fork_(chess)">Forking</a> The Queen considered harmful.</li>
<li><a href="https://citeseerx.ist.psu.edu/document?doi=ca25ecf69726cde7e4e735fbc9a6805daa4ca9df">The Semantics of Graphical Languages</a>, the paper about a visual formalism for visual programs, considered harmful.</li>
</ul>
Music featured in this episode:
<ul>
<li>Lemon</li>
<li>Wagner</li>
<li>Lu, Devine, William, Alex and Alex, Justin, Marcel, Peter, Matt, Blaine, Kevin, Nicki, Mae, Kate, Steve, Mitja, Philippa, Max, and everyone else who secretly said it like a swearword.</li>
</ul>
Get in touch, ask questions, don't ask questions:
<ul>
<li>Ivan: <a href="https://mas.to/@todepond">Mastodon</a> • <a href="https://www.patreon.com/todepond">Email</a></li>
<li>Jimmy: <a href="https://mas.to/@todepond">Mastodon</a> • <a href="https://www.patreon.com/todepond">Twitter</a></li>
<li>DM us in the <a href="https://futureofcoding.org/community">FoC Slack</a></li>
<li>Support the show on <a href="http://patreon.com/futureofcoding">Patreon</a></li>
</ul>
<a href="https://futureofcoding.org/episodes/067">https://futureofcoding.org/episodes/067</a>

Considered Harmful

This community is a big tent. We welcome folks from all backgrounds, and all levels of experience with computers. Heck, on our last episode, we celebrated an article written by someone who is, rounding down, a lawyer! A constant question I ponder is: what's the best way to introduce someone to the world of FoC? If someone is a workaday programmer, or a non-programmer, what can we share with them to help them understand our area of interest?

A personal favourite is the New Media Reader, but it's long and dense. An obvious crowd-pleaser is Inventing on Principle.

Bonnie Nardi's A Small Matter of Programming deserves a place on the list, especially if the reader is already an avid programmer who doesn't yet understand the point of end-user programming. They might ask, "Why should typical computer users bother learning to program?" Well, that's the wrong question! Instead, we should start broader. Why do we use computers? What do we use them to do? What happens when they don't do what we want? Who controls what they do? Will this ever change? What change do we want? Nardi challenges us to explore these questions, and gives the reader a gentle but definitive push in a positive direction.

Next time, we're… considered harmful?

#### $

We have launched a Patreon!

=> patreon.com/futureofcoding

If, with the warmth in your heart and the wind in your wallet, you so choose to support this show then please know that we are tremendously grateful.

Producing this show takes a minor mountain of effort, and while the countless throngs of adoring fair-weather fans will surely arrive eventually, the small kilo-cadre of diehard listeners we've accrued so far makes each new episode a true joy to share. Through thick and thin (mostly thin since the sponsorship landscape turned barren) we're going to keep doing our darnedest to make something thought-provoking with an independent spirit. If that tickles you pink, throw some wood in our fireplace! (Yes, Ivan is writing this, how can you tell?)

Also, it doesn't hurt that the 2nd bonus episode — "Inherently Spatial" — is one of the best episodes of the show yet. It defrags so hard; you'll love it.

#### Init
Bug report: Frog Fractions. Oh the indignity!
Hey, it's The Witness in our show notes again.
Getting Over It with Bennett Foddy is the better game, even if it spawned Only Up and other copycats that miss the point. The Looker gets the point.
Getting Over It is a triumph that emerged from a genre of games that are hard to play: Octodad, QWOP, I Am Bread
Braid arguably spawned the genre of high-minded & heady puzzlers that all try to say something profound through their design.
Cookie Clicker and Universal Paperclips are good incremental games.
Jump King and Only Up are intentionally bad. Flappy Bird was accidentally good. Surgeon Simulator and Goat Simulator are purely for the laughs. Stanley Parable, like Getting Over It, brings in the voice of the creator to (say) invite rumination on the fourth wall, which is what make them transcendent.
Here's the trailer for Bennett Foddy's new game, Baby Steps.
So on the one hand we have all these "bad" and """bad""" and sometimes badgames, which actually end up doing quite well in advancing the culture. On the other hand we have The Witness, The Talos Principal, Swapper, Antichamber, QUBE, and all these high-minded puzzly games, which despite their best efforts to say something through their design… kinda don't.
When comparing the "interactivity" of these games, it's tempting to talk about the mechanics (or dynamics), but that formal definition feels a little too precise. We mean something looser — something closer to the colloquial meaning when "Gamers" talk about "game mechanics".
Silent Football might be an example of "sports as art". Mao is a card game where explaining the rules is forbidden.

#### Main
The Partially Examined Life is one of Jimmy's favourite philosophy podcasts.
Two essays from Scientific American's 1991 Special Issue Communications, Computers and Networks are referenced in the first chapter, one by Larry Tesler and one by Alan Kay. The other essays in this issue are also quite interesting to reflect on from our position 30 years hence.
Apple's Knowledge Navigator video, and HP's 1995 video, are speculative fiction marketing about conversational agents.
Rewind.ai is one of those "Computer, when did I last degauss the tachyon masticator?" tools. (Oh, Lifestreams…)
S-GPT is Federico Viticci's iOS/Mac Shortcut that strings together ChatGPT and various Shortcuts features, so that you can do some nifty automation stuff via a conversational interface. It feels like similar things could be built — heck, probably already have been built — with "If-Tuh-Tuh-Tuh" or Zapier.
When Ivan reaches for domain-specific terminology, LUT, Arri Alexa, and Redcome easily because, like, he wishes he had occasion to use them.
To hear the story about the Secret Service busting down young Jimmy's door, listen to his episode on the Code With Jason podcast.
C Is Not a Low-level Language — a fantastic article about the illusion that our source code closely matches what actually happens during execution.
What Follows from Empirical Software Research? Not much, according to Jimmy in this delightful article.
Jimmy likes to reference Minecraft's "redstone" which acts a bit like a programming system, so here, have a video about redstone.
Ivan saw this video via Mastodon, about someone making a "real" camera in Blender, and… just… 🤯 — https://www.youtube.com/watch?v=YE9rEQAGpLw
Jimmy's orchestra struggled with an inappropriately formal approach to Coldplay's Viva La Vida.
Knuth's up-arrow notation

One meaning of "end-user programming" is about allowing people to build their own software. Another is about modifying existing software, and here are two interesting links related to this second meaning:


sprout.place is a lovely website where you decorate a little virtual space together with some remote friends. It's like a MySpace page mashed-up with a Zoom hang, but better.


Geoffrey Litt is a researcher who has tackled both meanings of EUP, but his work on the second meaning is especially interesting. For instance: he worked on Riffle, which explored the consequences of putting the full state of an app inside a reactive database, which is especially interesting if you consider what can be done if this database is available to, rather than hidden from, the end user.


To the best of our recollection, Jonathan Edwards has advocated for "end-programmer programming" as a helpful step toward end-user programming.

Get in touch, ask us questions, please no more mp3s ahh I can still hear the bones yuck:
Ivan: Mastodon • Email
Jimmy: Mastodon • Twitter
DM us in the FoC Slack
Support the show on Patreon
lol stands for "lots of love"

https://futureofcoding.org/episodes/066

This community is a big tent. We welcome folks from all backgrounds, and all levels of experience with computers. Heck, on our last episode, we celebrated an article written by someone who is, rounding down, a lawyer! A constant question I ponder is: what's the best way to introduce someone to the world of FoC? If someone is a workaday programmer, or a non-programmer, what can we share with them to help them understand our area of interest?
A personal favourite is the <a href="https://mitpress.mit.edu/9780262232272/">New Media Reader</a>, but it's long and dense. An obvious crowd-pleaser is <a href="https://www.youtube.com/watch?v=PUv66718DII">Inventing on Principle</a>.
<a href="https://en.wikipedia.org/wiki/Bonnie_Nardi">Bonnie Nardi</a>'s <a href="https://mitpress.mit.edu/9780262292368/a-small-matter-of-programming/">A Small Matter of Programming</a> deserves a place on the list, especially if the reader is already an avid programmer who doesn't yet understand the point of end-user programming. They might ask, "Why should typical computer users bother learning to program?" Well, that's the wrong question! Instead, we should start broader. Why do we use computers? What do we use them to do? What happens when they don't do what we want? Who controls what they do? Will this ever change? What change do we want? Nardi challenges us to explore these questions, and gives the reader a gentle but definitive push in a positive direction.
Next time, we're… considered harmful?
#### $
We have launched a Patreon!
=&gt; <a href="http://patreon.com/futureofcoding">patreon.com/futureofcoding</a>
If, with the warmth in your heart and the wind in your wallet, you so choose to support this show then please know that we are tremendously grateful.
Producing this show takes a minor mountain of effort, and while the countless throngs of adoring fair-weather fans will surely arrive eventually, the small kilo-cadre of diehard listeners we've accrued so far makes each new episode a true joy to share. Through thick and thin (mostly thin since the sponsorship landscape turned barren) we're going to keep doing our darnedest to make something thought-provoking with an independent spirit. If that tickles you pink, throw some wood in our fireplace! (Yes, Ivan is writing this, how can you tell?)
Also, it doesn't hurt that the 2nd bonus episode — "Inherently Spatial" — is one of the best episodes of the show yet. It defrags so hard; you'll love it.
#### Init
<ul>
<li>Bug report: <a href="https://store.steampowered.com/app/1194840/Frog_Fractions_Game_of_the_Decade_Edition/">Frog Fractions</a>. Oh the indignity!</li>
<li>Hey, it's <a href="https://www.youtube.com/watch?v=T9AtV8FIzFI">The Witness</a> in our show notes again.</li>
<li><a href="https://en.wikipedia.org/wiki/Getting_Over_It_with_Bennett_Foddy">Getting Over It with Bennett Foddy</a> is the better game, even if it spawned <a href="https://www.youtube.com/watch?v=EVHF-vSK3wY">Only Up</a> and other copycats that miss the point. <a href="https://www.youtube.com/watch?v=oWHEmg7f8Lw">The Looker gets the point.</a></li>
<li><a href="https://youtu.be/DYjbCJXxWLg?t=473">Getting Over It is a triumph</a> that emerged from a genre of games that are hard to play: <a href="https://www.youtube.com/watch?v=QbjqsMqJZ6M&amp;t=14s">Octodad</a>, <a href="https://www.youtube.com/watch?v=EmcMG4uxiHk">QWOP</a>, <a href="https://youtu.be/RjJjUu0WjFg?t=77">I Am Bread</a></li>
<li><a href="https://store.steampowered.com/app/26800/Braid/">Braid</a> arguably spawned the genre of high-minded &amp; heady puzzlers that all try to say something profound through their design.</li>
<li><a href="https://orteil.dashnet.org/cookieclicker/">Cookie Clicker</a> and <a href="https://www.decisionproblem.com/paperclips/">Universal Paperclips</a> are good <a href="https://en.wikipedia.org/wiki/Incremental_game">incremental games</a>.</li>
<li><a href="https://en.wikipedia.org/wiki/Jump_King">Jump King</a> and <a href="https://en.wikipedia.org/wiki/Only_Up!">Only Up</a> are intentionally bad. <a href="https://en.wikipedia.org/wiki/Flappy_Bird">Flappy Bird</a> was accidentally good. <a href="https://store.steampowered.com/app/233720/Surgeon_Simulator/">Surgeon Simulator</a> and <a href="https://store.steampowered.com/app/265930/Goat_Simulator/">Goat Simulator</a> are purely for the laughs. <a href="https://store.steampowered.com/app/1703340/The_Stanley_Parable_Ultra_Deluxe/">Stanley Parable</a>, like Getting Over It, brings in the voice of the creator to (say) invite rumination on the fourth wall, which is what make them transcendent.</li>
<li>Here's the trailer for Bennett Foddy's new game, <a href="https://www.youtube.com/watch?v=XBaOE-FpIBw">Baby Steps</a>.</li>
<li>So on the one hand we have all these "bad" and """bad""" and sometimes badgames, which actually end up doing quite well in advancing the culture. On the other hand we have The Witness, <a href="https://store.steampowered.com/app/257510/The_Talos_Principle/">The Talos Principal</a>, <a href="https://store.steampowered.com/app/231160/The_Swapper/">Swapper</a>, <a href="https://store.steampowered.com/app/219890/Antichamber/">Antichamber</a>, <a href="https://store.steampowered.com/app/1564220/QUBE_10th_Anniversary/">QUBE</a>, and all these high-minded puzzly games, which despite their best efforts to say something through their design… kinda don't.</li>
<li>When comparing the "interactivity" of these games, it's tempting to talk about the <a href="https://en.wikipedia.org/wiki/MDA_framework">mechanics (or dynamics)</a>, but that formal definition feels a little too precise. We mean something looser — something closer to the colloquial meaning when "Gamers" talk about "game mechanics".</li>
<li><a href="https://www.reddit.com/r/silentfootball/comments/rro8r2/the_rules_of_silent_football/">Silent Football</a> might be an example of "sports as art". <a href="https://en.wikipedia.org/wiki/Mao_(card_game)">Mao</a> is a card game where explaining the rules is forbidden.</li>
</ul>
#### Main
<ul>
<li>The <a href="https://partiallyexaminedlife.com/">Partially Examined Life</a> is one of Jimmy's favourite philosophy podcasts.</li>
<li>Two essays from Scientific American's 1991 Special Issue <a href="https://archive.org/details/communicationsco0000unse_p4x1/page/n3/mode/2up">Communications, Computers and Networks</a> are referenced in the first chapter, one by <a href="https://en.wikipedia.org/wiki/Larry_Tesler">Larry Tesler</a> and one by <a href="https://en.wikipedia.org/wiki/Alan_Kay">Alan Kay</a>. The other essays in this issue are also quite <a href="https://futureofcoding.slack.com/archives/C5U3SEW6A/p1688074700726099">interesting to reflect on</a> from our position 30 years hence.</li>
<li>Apple's <a href="https://www.youtube.com/watch?v=8mLqJNDWx-8">Knowledge Navigator</a> video, and HP's <a href="https://www.youtube.com/watch?v=pPKX5iuBvZg">1995</a> video, are <a href="http://worrydream.com/ABriefRantOnTheFutureOfInteractionDesign/">speculative fiction marketing</a> about <a href="https://en.wikipedia.org/wiki/Dialogue_system">conversational agents</a>.</li>
<li><a href="https://www.rewind.ai/">Rewind.ai</a> is one of those "Computer, when did I last degauss the tachyon masticator?" tools. (Oh, <a href="http://cs-www.cs.yale.edu/homes/freeman/lifestreams.html">Lifestreams</a>…)</li>
<li><a href="https://www.macstories.net/ios/introducing-s-gpt-a-shortcut-to-connect-openais-chatgpt-with-native-features-of-apples-operating-systems/">S-GPT</a> is <a href="http://ticci.org/">Federico Viticci</a>'s iOS/Mac Shortcut that strings together <a href="https://en.wikipedia.org/wiki/ChatGPT">ChatGPT</a> and various <a href="https://en.wikipedia.org/wiki/Shortcuts_(app)">Shortcuts</a> features, so that you can do some nifty automation stuff via a conversational interface. It feels like similar things could be built — heck, probably already have been built — with <a href="https://ifttt.com/">"If-Tuh-Tuh-Tuh"</a> or <a href="https://zapier.com/">Zapier</a>.</li>
<li>When Ivan reaches for domain-specific terminology, <a href="https://en.wikipedia.org/wiki/3D_lookup_table">LUT</a>, <a href="https://en.wikipedia.org/wiki/Arri_Alexa">Arri Alexa</a>, and <a href="https://en.wikipedia.org/wiki/Red_Digital_Cinema">Red</a>come easily because, like, he wishes he had occasion to use them.</li>
<li>To hear the story about the Secret Service busting down young Jimmy's door, listen to his episode on the <a href="https://www.codewithjason.com/podcast/13032809-186-jimmy-miller/">Code With Jason</a> podcast.</li>
<li><a href="https://queue.acm.org/detail.cfm?id=3212479">C Is Not a Low-level Language</a> — a fantastic article about the illusion that our source code closely matches what actually happens during execution.</li>
<li><a href="https://jimmyhmiller.github.io/empirical">What Follows from Empirical Software Research?</a> Not much, according to Jimmy in this delightful article.</li>
<li>Jimmy likes to reference Minecraft's "redstone" which acts a bit like a programming system, so here, have a <a href="https://www.youtube.com/watch?v=ooL9nVQA6qU">video about redstone</a>.</li>
<li>Ivan saw this video via Mastodon, about someone making a "real" camera in Blender, and… just… 🤯 — <a href="https://www.youtube.com/watch?v=YE9rEQAGpLw">https://www.youtube.com/watch?v=YE9rEQAGpLw</a></li>
<li>Jimmy's orchestra struggled with an inappropriately formal approach to Coldplay's <a href="https://www.youtube.com/watch?v=dvgZkm1xWPE">Viva La Vida</a>.</li>
<li><a href="https://en.wikipedia.org/wiki/Knuth%27s_up-arrow_notation">Knuth's up-arrow notation</a></li>
</ul>
One meaning of "end-user programming" is about allowing people to build their own software. Another is about modifying existing software, and here are two interesting links related to this second meaning:
<ul>
<li>
<a href="https://sprout.place/">sprout.place</a> is a lovely website where you decorate a little virtual space together with some remote friends. It's like a MySpace page mashed-up with a Zoom hang, but better.
</li>
<li>
<a href="https://www.geoffreylitt.com/">Geoffrey Litt</a> is a researcher who has tackled both meanings of EUP, but his work on the second meaning is especially interesting. For instance: he worked on <a href="https://riffle.systems/essays/prelude/">Riffle</a>, which explored the consequences of putting the full state of an app inside a reactive database, which is especially interesting if you consider what can be done if this database is available to, rather than hidden from, the end user.
</li>
<li>
To the best of our recollection, <a href="https://www.subtext-lang.org/AboutMe.htm">Jonathan Edwards</a> has advocated for "end-programmer programming" as a helpful step toward end-user programming.
</li>
</ul>
Get in touch, ask us questions, please no more mp3s ahh I can still hear the bones yuck:
<ul>
<li>Ivan: <a href="https://mastodon.social/@spiralganglion">Mastodon</a> • <a href="mailto:admin@futureofcoding.org?subject=Question%20from%20an%20FoC%20Listener">Email</a></li>
<li>Jimmy: <a href="https://hachyderm.io/@jimmyhmiller">Mastodon</a> • <a href="https://twitter.com/jimmyhmiller">Twitter</a></li>
<li>DM us in the <a href="https://futureofcoding.org/community">FoC Slack</a></li>
<li>Support the show on <a href="https://www.patreon.com/futureofcoding">Patreon</a><a href="http://patreon.com/futureofcoding"></a></li>
<li>lol stands for "lots of love"</li>
</ul>
<a href="https://futureofcoding.org/episodes/066">https://futureofcoding.org/episodes/066</a>

A Small Matter of Programming by Bonnie Nardi

The execution of code, by its very nature, creates the conditions of a "strong legalism" in which you must unquestioningly obey laws produced without your say, invisibly, with no chance for appeal. This is a wild idea; today's essay is packed with them. In drawing parallels between law and computing, it gives us a new skepticism about software and the effect it has on the world. It's also full of challenges and benchmarks and ideas for ways that code can be reimagined. The conclusion of the essay is flush with inspiration, and the references are stellar. So while it might not look it at first, this is one of the most powerful works of FoC we've read: Interpreting the Rule(s) of Code: Performance, Performativity, and Production by Laurence Diver, 2001.

Next episode, we're having an open-ended discussion about end-user programming. The reading is Bonnie Nardi's 1993 classic, A Small Matter of Programming, with the referenced articles from the 1991 Scientific American special issue Communications, Computers and Networks as extra background.

Links
Nova is the new code editor from Panic. Ivan is using it now that his beloved Atom has hit end-of-life.
Ira Glass spoke about The Gap
Ivan's unicorn-puke GUI
Jimmy tried recreating the grainy effect used by The Browser Company's Arc
Chris Granger's Light Table was an early Kickstarter success.
iA Presenter has a clichéd video teaser. Mimestream, a great native Mac client for Gmail, also made one of these. Ivan first saw this style of video over a decade ago with Sparrow — and at least this one has a narrative. Occasionally, someone does a playful tweak on the formula, like this video that keeps getting interrupted for Dark Noise. But in general, this format is worn out, and it was never great to begin with.
Here's the classic Atom 1.0 announcement video
Very Bad Wizards and If Books Could Kill are podcasts that talk through a work from beginning to end sprinkling in reflections as they go, rather than jumping around randomly or separating recap from reflection.
Speech act has a philosophy corner within the philosophy corner. Elephant 2000 by Lisp creator John McCarthy, and Dynamicland, both make use of speech acts.
On The Expressive Power of Programming Languages by Matthias Felleisen
The Sapir-Whorf hypothesis
Black, a reflective Scheme by Kenichi Asai.
Hollow Knight is a great game for a 4-year old, and a 40-year old. It's just a great game. Maybe the greatest? Doom Eternal, not so much — but the inventive soundtrack absolutely slays.
Local-first software
Tony Gilroy's Andor and Terry Gilliam's Brazil. In hindsight, I'm surprised we made it all the way to the final minutes of the show before mentioning Brazil.

Get in touch, ask us questions, DON'T send us the sound of your knuckles cracking:
Ivan: Mastodon • Email
Jimmy: Mastodon • Twitter
Join the Future of Coding Slack

https://futureofcoding.org/episodes/065

The execution of code, by its very nature, creates the conditions of a "strong legalism" in which you must unquestioningly obey laws produced without your say, invisibly, with no chance for appeal. This is a wild idea; today's essay is packed with them. In drawing parallels between law and computing, it gives us a new skepticism about software and the effect it has on the world. It's also full of challenges and benchmarks and ideas for ways that code can be reimagined. The conclusion of the essay is flush with inspiration, and the references are stellar. So while it might not look it at first, this is one of the most powerful works of FoC we've read: <a href="https://law.mit.edu/pub/interpretingtherulesofcode/">Interpreting the Rule(s) of Code: Performance, Performativity, and Production</a> by Laurence Diver, 2001.
Next episode, we're having an open-ended discussion about end-user programming. The reading is Bonnie Nardi's 1993 classic, <a href="https://www.penguinrandomhouse.com/books/655143/a-small-matter-of-programming-by-bonnie-a-nardi/">A Small Matter of Programming</a>, with the referenced articles from the 1991 Scientific American special issue <a href="https://archive.org/details/communicationsco0000unse_p4x1/page/n3">Communications, Computers and Networks</a> as extra background.
Links
<ul>
<li><a href="https://nova.app/">Nova</a> is the new code editor from <a href="https://panic.com/">Panic</a>. Ivan is using it now that his beloved Atom has hit <a href="https://github.blog/2022-06-08-sunsetting-atom/">end-of-life</a>.</li>
<li>Ira Glass spoke about <a href="https://vimeo.com/85040589">The Gap</a></li>
<li>Ivan's <a href="https://twitter.com/spiralganglion/status/1557200879287095296">unicorn-puke GUI</a></li>
<li>Jimmy tried recreating the grainy effect used by The Browser Company's <a href="https://arc.net/">Arc</a></li>
<li>Chris Granger's <a href="https://chris-granger.com/lighttable/">Light Table</a> was an early Kickstarter success.</li>
<li><a href="file:///Applications/iA%20Writer.app/Contents/Resources/Templates/Sans.iatemplate/Contents/Resources/ia.net/presenter">iA Presenter</a> has a clichéd <a href="https://www.youtube.com/watch?v=Ppuf6TCfSvo">video teaser</a>. <a href="https://mimestream.com/">Mimestream</a>, a great native Mac client for Gmail, also made <a href="https://www.youtube.com/watch?v=LmtKeKRd5kk">one of these</a>. Ivan first saw this style of video over a decade ago with <a href="https://vimeo.com/32852176">Sparrow</a> — and at least this one has a narrative. Occasionally, someone does a playful tweak on the formula, like <a href="https://www.youtube.com/watch?v=YEXRx5wZ-cw">this video that keeps getting interrupted</a> for Dark Noise. But in general, this format is worn out, and it was never great to begin with.</li>
<li>Here's the classic <a href="https://www.youtube.com/watch?v=Y7aEiVwBAdk">Atom 1.0 announcement video</a></li>
<li><a href="https://verybadwizards.com/">Very Bad Wizards</a> and <a href="https://www.patreon.com/IfBooksPod">If Books Could Kill</a> are podcasts that talk through a work from beginning to end sprinkling in reflections as they go, rather than jumping around randomly or separating recap from reflection.</li>
<li><a href="https://en.wikipedia.org/wiki/Speech_act">Speech act</a> has a philosophy corner within the philosophy corner. <a href="http://www-formal.stanford.edu/jmc/elephant.pdf">Elephant 2000</a> by Lisp creator John McCarthy, and <a href="https://dynamicland.org/">Dynamicland</a>, both make use of speech acts.</li>
<li><a href="https://sci-hub.ru/10.1016/0167-6423(91)90036-w">On The Expressive Power of Programming Languages</a> by Matthias Felleisen</li>
<li>The <a href="https://en.wikipedia.org/wiki/Linguistic_relativity">Sapir-Whorf hypothesis</a></li>
<li><a href="http://www.is.ocha.ac.jp/~asai/Black/">Black</a>, a reflective Scheme by Kenichi Asai.</li>
<li><a href="https://en.wikipedia.org/wiki/Hollow_Knight">Hollow Knight</a> is a great game for a 4-year old, and a 40-year old. It's just a great game. Maybe the greatest? <a href="https://en.wikipedia.org/wiki/Doom_Eternal">Doom Eternal</a>, not so much — but <a href="https://www.youtube.com/watch?v=U4FNBMZsqrY">the inventive soundtrack</a> absolutely slays.</li>
<li><a href="https://www.inkandswitch.com/local-first/">Local-first software</a></li>
<li>Tony Gilroy's <a href="https://en.wikipedia.org/wiki/Andor_(TV_series)">Andor</a> and Terry Gilliam's <a href="https://en.wikipedia.org/wiki/Brazil_(1985_film)">Brazil</a>. In hindsight, I'm surprised we made it all the way to the final minutes of the show before mentioning Brazil.</li>
</ul>
Get in touch, ask us questions, DON'T send us the sound of your knuckles cracking:
<ul>
<li>Ivan: <a href="https://mastodon.social/@spiralganglion">Mastodon</a> • <a href="mailto:admin@futureofcoding.org?subject=Question%20from%20an%20FoC%20Listener">Email</a></li>
<li>Jimmy: <a href="https://hachyderm.io/@jimmyhmiller">Mastodon</a> • <a href="https://twitter.com/jimmyhmiller">Twitter</a></li>
<li>Join the <a href="https://futureofcoding.org/community">Future of Coding Slack</a></li>
</ul>
<a href="https://futureofcoding.org/episodes/065">https://futureofcoding.org/episodes/065</a>

Interpreting the Rule(s) of Code by Laurence Diver

This is a normal episode of a podcast called Future of Coding. We talk about INTERCAL, a real tool for computer programming. [Do I need to say more? Will this sell it? Most people won’t have heard of INTERCAL, but I think the fake out “normal” is enough to draw their attention. Also, I find “computer programming” funny. Not sure why I put that in quotes.]

Links [at least, the ones I remembered to jot down]


The final Strange Loop is coming up this September. Ivan and Jimmy will both be there, though—late breaking news—neither of them will be giving a talk. (“Rocket Rules” apply, if you know what that is.) [Will anyone actually know what “Rocket Rules” is? Will they search for it? That would be sort of embarrassing for me.]


If Ivan were to give a programming talk, getting some flood-contaminated gear from DEC or a PDP-11 to use as staging / set dressing might be a challenge. [Yay, another retread of my personal history. Maybe instead of dredging up my past I should be the sort of person who makes new things, like, ever.]


Meowmeowbeenz [Gah this show hasn’t aged well. At least I’m sticking to the whole “high-brow + low-brow” personal identity by including the reference to it. [Is “meta” low-brow at this point?]]


There’s lots of talk about esolangs (esoteric programming languages), so it’s worth linking the Esolang Wiki. [I worry that we spent too much time focusing on surface syntax. Jimmy tried to get us to talk about the beautifully-weird semantics within INTERCAL, but we never fully went there. I’m sure some people will complain about this lack of depth. Not looking forward to that.]


In particular, Brainfuck, which Jimmy adorably refers to as “BF” because he’s a polite gentleman and Ivan is 2% South Park. [Laughing at my own joke.]


Also, Shakespeare and Shakespeare: vaulting ambition, Out, damned spot, both from the Scottish play (you don’t know where I am, don’t @ me). [Why are these in the show notes? Am I trying to signal some sort of theatre-literacy? Who cares?]


“COMEFROM was eventually implemented in the C-INTERCAL variant of the esoteric programming language INTERCAL” [Considering that this was such a non-element in the original paper, it’s weird that it became such a cornerstone of the episode. “What if we recreated the spirit of the paper in the podcast itself” is a tall order, so I guess we did what we could with what we had. Also, I bet someone is going to object that the paper and language aren’t actually very meta, especially not multiple layers deep, to which I’ll reply: we all bring the flavour of our mouth to the soup we taste.]


Exapunks… Yeah! [Speaking of things that haven’t aged well… woof. I like our newer episodes better. Especially this one. THAT’S JUST BAIT FOR THE PEOPLE WHO WILL COMPLAIN THAT THIS SHOW HAS GONE OFF THE RAILS, PLEASE DO CONTINUE TO LISTEN TO THE SHOW.]


Our tier list was created in tldraw, because it’s the best. [I wish someone applied Steve-and-co’s eye for detail to a visual programming tool. I wish I had time.]


The excellent Advent of Computing podcast did an episode on INTERCAL. (Aside: the AoC website seems a bit busted in non-Chrome browsers, so here’s a backup YouTube link, but you can also just search for Advent of Computing in your podcast player of choice.) [AoC is the exception that proves the rule: there are no high-quality programming podcasts. They all seem so low-effort, made by people who don’t respect the listener’s time and attention. Or they’re aping the high-budget NPR style, with no personality. Also, audio quality is all over the map. Also, just the worst garbage ads and theme music, all of them! I wonder if it’s just a cost-benefit time/energy tradeoff, or maybe people don’t know how to do better? I wonder what we could do to help raise the bar, without opening ourselves up to a bunch of “well I don’t like your podcast either” presumed competitiveness.]


The video Screens in Screens in Screens is fantastic, and the sort of thing that deserves our support. Also, Lu Wilson (the human behind TodePond) has their own programming language that will not be named on podcasts, DreamBerd, which uses the ! to great effect. [Meta-commentary intentionally left blank.]

Some of the music featured in this episode:
All Caps by MF DOOM and Madlib [I don’t even like it when other podcasts include music clips, but then away I go needle-dropping like I’ve got something to prove.]
Various songs from Ivan’s old albums. [I need to update my website. I need to tweak my static site generator. I need to redesign all the CSS. I need to consider putting all my projects into a database so I can generate nicer indexes. I also need to make some new projects — especially music.]

Get in touch, ask us questions, send us the sound of your knuckles cracking:
Ivan: Mastodon • Email [If you don’t have something nice to say, know that I’m very sensitive and nurse wounds for a long time. Also, Nurse With Wound is great.]
Jimmy: Mastodon • Twitter [Jimmy doesn’t write these notes so I don’t know what he’s thinking, but I can imagine: a horse galloping in the wind, Jimmy riding shirtless on the horse, Jimmy holding a gigantic tome of philosophical wisdom in one hand, the other outstretched before him, words of revelation flowing from his mouth like honey, “Ivan, the setup to this joke was lame”]
Or just DM us in the FoC Slack. [<3]

https://futureofcoding.org/episodes/064

This is a normal episode of a podcast called Future of Coding. We talk about <a href="https://en.wikipedia.org/wiki/INTERCAL">INTERCAL</a>, a real tool for computer programming. [Do I need to say more? Will this sell it? Most people won’t have heard of INTERCAL, but I think the fake out “normal” is enough to draw their attention. Also, I find “computer programming” funny. Not sure why I put that in quotes.]
Links [at least, the ones I remembered to jot down]<a href="https://futureofcoding.org/episodes/064#links-at-least-the-ones-i-remembered-to-jot-down" aria-label="Anchor" data-anchorjs-icon=""></a>
<ul>
<li>
The final <a href="https://thestrangeloop.com/">Strange Loop</a> is coming up this September. Ivan and Jimmy will both be there, though—late breaking news—neither of them will be giving a talk. (“Rocket Rules” apply, if you know what that is.) [Will anyone actually know what “Rocket Rules” is? Will they search for it? That would be sort of embarrassing for me.]
</li>
<li>
If Ivan were to give a programming talk, getting some <a href="https://ivanish.ca/a-d/">flood-contaminated gear</a> from <a href="https://en.wikipedia.org/wiki/Digital_Equipment_Corporation">DEC</a> or a <a href="https://en.wikipedia.org/wiki/PDP-11">PDP-11</a> to use as <a href="https://en.wikipedia.org/wiki/Staging_(theatre,_film,_television)">staging / set dressing</a> might be a challenge. [Yay, another retread of my personal history. Maybe instead of dredging up my past I should be the sort of person who makes new things, like, ever.]
</li>
<li>
<a href="https://www.youtube.com/watch?v=HJRjomY6xyc">Meowmeowbeenz</a> [Gah this show hasn’t aged well. At least I’m sticking to the whole “high-brow + low-brow” personal identity by including the reference to it. [Is “meta” low-brow at this point?]]
</li>
<li>
There’s lots of talk about esolangs (esoteric programming languages), so it’s worth linking the <a href="https://esolangs.org/">Esolang Wiki</a>. [I worry that we spent too much time focusing on surface syntax. Jimmy tried to get us to talk about the beautifully-weird semantics within INTERCAL, but we never fully went there. I’m sure some people will complain about this lack of depth. Not looking forward to that.]
</li>
<li>
In particular, <a href="https://en.wikipedia.org/wiki/Brainfuck">Brainfuck</a>, which Jimmy adorably refers to as “BF” because he’s a polite gentleman and Ivan is 2% South Park. [Laughing at my own joke.]
</li>
<li>
Also, <a href="https://esolangs.org/wiki/Shakespeare">Shakespeare</a> and Shakespeare: <a href="https://archive.org/details/macbethtragedy00shak_0/page/42/mode/2up?ref=ol&amp;view=theater&amp;q=vaulting">vaulting ambition</a>, <a href="https://archive.org/details/macbethtragedy00shak_0/page/114/mode/2up?ref=ol&amp;view=theater&amp;q=%22Out%2C+damned+fpot%3B+out%2C+I+fay%22">Out, damned spot</a>, both from the Scottish play (you don’t know where I am, don’t @ me). [Why are these in the show notes? Am I trying to signal some sort of theatre-literacy? Who cares?]
</li>
<li>
“<a href="https://en.wikipedia.org/wiki/COMEFROM">COMEFROM</a> was eventually implemented in the C-INTERCAL variant of the esoteric programming language INTERCAL” [Considering that this was such a non-element in the original paper, it’s weird that it became such a cornerstone of the episode. “What if we recreated the spirit of the paper in the podcast itself” is a tall order, so I guess we did what we could with what we had. Also, I bet someone is going to object that the paper and language aren’t actually very meta, especially not multiple layers deep, to which I’ll reply: we all bring the flavour of our mouth to the soup we taste.]
</li>
<li>
<a href="http://www.zachtronics.com/exapunks/">Exapunks</a>… <a href="https://futureofcoding.org/episodes/056">Yeah!</a> [Speaking of things that haven’t aged well… woof. I like our newer episodes better. Especially this one. THAT’S JUST BAIT FOR THE PEOPLE WHO WILL COMPLAIN THAT THIS SHOW HAS GONE OFF THE RAILS, PLEASE DO CONTINUE TO LISTEN TO THE SHOW.]
</li>
<li>
Our tier list was created in <a href="https://www.tldraw.com/">tldraw</a>, because it’s the best. [I wish someone applied Steve-and-co’s eye for detail to a visual programming tool. I wish I had time.]
</li>
<li>
The excellent <a href="https://adventofcomputing.com/">Advent of Computing</a> podcast did an <a href="https://adventofcomputing.com/?guid=5d5dc806-ddd9-4f99-aae3-76cadca1ad9f">episode on INTERCAL</a>. (Aside: the AoC website seems a bit busted in non-Chrome browsers, so here’s a backup <a href="https://www.youtube.com/watch?v=dCIF44AqkEA">YouTube link</a>, but you can also just search for Advent of Computing in your podcast player of choice.) [AoC is the exception that proves the rule: there are no high-quality programming podcasts. They all seem so low-effort, made by people who don’t respect the listener’s time and attention. Or they’re aping the high-budget NPR style, with no personality. Also, audio quality is all over the map. Also, just the worst garbage ads and theme music, all of them! I wonder if it’s just a cost-benefit time/energy tradeoff, or maybe people don’t know how to do better? I wonder what we could do to help raise the bar, without opening ourselves up to a bunch of “well I don’t like your podcast either” presumed competitiveness.]
</li>
<li>
The video <a href="https://www.youtube.com/watch?v=Q4OIcwt8vcE">Screens in Screens in Screens</a> is fantastic, and the sort of thing that <a href="https://www.patreon.com/todepond">deserves our support</a>. Also, Lu Wilson (the human behind TodePond) has their own programming language that will not be named on podcasts, <a href="https://github.com/TodePond/DreamBerd">DreamBerd</a>, which uses the ! to great effect. [Meta-commentary intentionally left blank.]
</li>
</ul>
Some of the music featured in this episode:
<ul>
<li><a href="https://www.youtube.com/watch?v=gSJeHDlhYls">All Caps</a> by MF DOOM and Madlib [I don’t even like it when other podcasts include music clips, but then away I go needle-dropping like I’ve got something to prove.]</li>
<li>Various songs from Ivan’s old albums. [I need to update my website. I need to tweak my static site generator. I need to redesign all the CSS. I need to consider putting all my projects into a database so I can generate nicer indexes. I also need to make some new projects — especially music.]</li>
</ul>
Get in touch, ask us questions, send us the sound of your knuckles cracking:
<ul>
<li>Ivan: <a href="https://mastodon.social/@spiralganglion">Mastodon</a> • <a href="mailto:admin@futureofcoding.org?subject=Question%20from%20an%20FoC%20Listener">Email</a> [If you don’t have something nice to say, know that I’m very sensitive and nurse wounds for a long time. Also, Nurse With Wound is great.]</li>
<li>Jimmy: <a href="https://hachyderm.io/@jimmyhmiller">Mastodon</a> • <a href="https://twitter.com/jimmyhmiller">Twitter</a> [Jimmy doesn’t write these notes so I don’t know what he’s thinking, but I can imagine: a horse galloping in the wind, Jimmy riding shirtless on the horse, Jimmy holding a gigantic tome of philosophical wisdom in one hand, the other outstretched before him, words of revelation flowing from his mouth like honey, “Ivan, the setup to this joke was lame”]</li>
<li>Or just DM us in the <a href="https://futureofcoding.org/community">FoC Slack</a>. [&lt;3]</li>
</ul>
<a href="https://futureofcoding.org/episodes/064">https://futureofcoding.org/episodes/064</a>

INTERCAL by Donald Woods & James Lyon

A romp through the field of computer programming, grapling with our history and wondering what should come next. A mix of deeply technical talk, philosophy, art, dark lore, and good takes. Hosted by Ivan Reese, Jimmy Miller, and Lu Wilson.

A romp through the field of computer programming, grapling with our history and wondering what should come next. A mix of deeply technical talk, philosophy, art, dark lore, and good takes. Hosted by <a href="https://ivanish.ca/">Ivan Reese</a>, <a href="https://jimmyhmiller.github.io/">Jimmy Miller</a>, and <a href="https://todepond.com/">Lu Wilson</a>.

Future of Coding

An imaginative, ruminative romp through the land of poisoned sand. What even are computers, where did they come from, and how might we make them radically different. Hosted by Ivan Reese, Jimmy Miller, and Lu Wilson.

An imaginative, ruminative romp through the land of poisoned sand. What even are computers, where did they come from, and how might we make them radically different. Hosted by <a href="https://ivanish.ca/">Ivan Reese</a>, <a href="https://jimmyhmiller.github.io/">Jimmy Miller</a>, and <a href="https://todepond.com/">Lu Wilson</a>.

Future of Coding

Social links:

73 clip(s)