Hillel Wayne is a technical writer and consultant on a variety of formal methods, including TLA+ and Alloy. In this episode, Hillel gives a whirlwind tour of the 4 main flavors of formal methods, and explains which are practical today and which we may have to wait patiently for. The episode begins with a very silly joke from Steve (about a radioactive Leslie Lamport) and if you make it to the end you're in store for a few fun tales from Twitter.

https://futureofcoding.org/episodes/038

Hillel Wayne is a technical writer and consultant on a variety of formal methods, including TLA+ and Alloy. In this episode, Hillel gives a whirlwind tour of the 4 main flavors of formal methods, and explains which are practical today and which we may have to wait patiently for. The episode begins with a very silly joke from Steve (about a radioactive Leslie Lamport) and if you make it to the end you're in store for a few fun tales from Twitter.
<a href="https://futureofcoding.org/episodes/038">https://futureofcoding.org/episodes/038</a>

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

Feeling of Computing

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

The Case for Formal Methods: Hillel Wayne

We've renamed the podcast and community — we are now the Feeling of Computing! Here are some thoughts about the motivation to rename and the choice of new name. It's a small change, but it feels meaningful and clarifying. The new name better fits what we've been doing all along, and sets us up for the next decade of this community.

The new name reminded us of The Computer is a Feeling, a document (of some definition) by Tim Hwang and Omar Rizwan. Unlike our usual selections, which are crouton-dry and tiring, this one is basically a 1-pager, quick and fun — you should totally give it a glance and see what you make of it, before Jimmy and I tease it apart and lawyer over the many nuances.

This piece makes us question what the computer means in our lives, and how that may have changed over time. Light on specifics and arguably steeped in nostalgic yearning, its series of declarative statements come out more like broadly probing questions. Is the computer feeling possessed only by those who remember the time before the internet? Are computers even required? What does feeling this feeling elicit one to do?

We answer at least one of these questions. "But you can't trust them, they're podcasters," said everyone ever, "you've got to feel it for yourself."

Links

$ While these main Feeling of Computing episodes are, in a word, infrequent, the bonus episodes over on our Patreon — Feeling Off — arrive at a dependable regularity! Why, in the time since we recorded this here episode, we've released two (2) bonus episodes. The first was a unruly deep tangent Jimmy and I fell upon right smack in the middle of this very episode, and then excised out — That's Shakespeare — about code.org, whether the "everyone should learn to code" movement is actually about literacy, the backlash to this movement, and our personal feelings on it all. Then in December we shared our annual end-of-the-year spectacular with games, awards, music, spelling, men who are spiders, and our predictions about the near and distant future — All of the False Ones — free free free for download, no patronage required.
The old name is cursed.
The old name might have been inspired by Bret Victor's talk The Future of Programming, but the vibe of the community is probably closer to Inventing on Principle.
The new name invites us to reflect on the way our tools make us feel. For instance, Kid Pix was a quirky, playful drawing program designed for younger users which had its heyday in the 1990s when Ivan was a younger user, and it gave him some pretty specific feelings at the time. (Also, in the time since recording this episode, Ivan dug up a Snow Leopard iMac from the sedimentary rock and installed KidPix Studio 4, and his 6 year-old daughter has been having a blast with it.)
One Piece is a manga and anime that's pretty popular, but perhaps off-topic for our community.
Did you know about our virtual meetups? Every month we have people showing off their work, and it's been fantastic to see the wild variety of creative programming projects built by members of our community. We share the details of upcoming meetups in the #announcements channel on our Slack, and publish them in this Luma calendar. You should come!
The feeling is still present, in your time, as it was in ours
You can build computers out of water, if you want
Sim City 3000 was released in 1999, and gave Jimmy the computer feeling. (Ivan played Sim City 2000 back in 1997-ish, and got pretty good at typing the word "FUND", before learning that this didn't actually give you free money and instead gave you a bond.)
When Ivan says "go to six or seven bookmarks", that's a reference to this appfrom 2024, not the mid 2025 meme.
The two folks in our sphere — Folk Computer by Omar (et al), and FolkJS by Chris Shank and Orion Reed. Folk Computer is similar to Dynamicland, which Omar did some interesting work on.
Back in 1997, Ivan taught himself to edit videos using Avid Cinema, a Mac-only video editing tool that predates iMovie but served similar goals. (It came bundled with the infamous Power Macintosh G3 All-In-One, aka the "Molar Mac", which was Ivan's second home computer.)
The Programmable Ink gang at Ink & Switch have spent the past few years on this one project, and it sometimes gives Ivan the computer feeling.
The Bazaar and the… The Whatever… Yeah, Yeah.
MetaCreations was the company behind Bryce 3D and Poser 3, which Ivan used quite extensively when he was a young'un. Here's a photo of Ivan, midlife crisis rapidly approaching, holding his original Bryce 3D box.

Wormholes used in this episode:
One wormhole to/from the Feeling Off bonus episode That's Shakespeare
No secret wormholes.

! Send us gushing, uncomfortably familiar fan mail, join the Feeling Of community, and find us on-line:
A:
B:
C:
D:
e:
F:
G:
H:
I: 🐘🦋🌐
J: 🐘🦋🌐
K:
L: 🐘🦋🌐
M:
N:
O:
P:
Q:
R:
S:
T:
U:
V:
W:
X:
Y:
Z:

https://feelingof.com/episodes/079

We've renamed the podcast and community &mdash; we are now the Feeling of Computing! Here are&nbsp;<a href="https://feelingof.com/the-name/">some thoughts</a> about the motivation to rename and the choice of new name. It's a small change, but it feels meaningful and clarifying. The new name better fits what we've been doing all along, and sets us up for the next decade of this community.
The new name reminded us of <a href="https://github.com/timhwang/nyrc/blob/main/NYRC%201%20-%20The%20Computer%20is%20a%20Feeling.md">The Computer is a Feeling</a>, a document (of some definition) by <a href="https://timhwang.org/">Tim Hwang</a> and <a href="https://omar.website/">Omar Rizwan</a>. Unlike our usual selections, which are crouton-dry and tiring, this one is basically a 1-pager, quick and fun &mdash;&nbsp;you should totally give it a glance and see what you make of it, before Jimmy and I tease it apart and lawyer over the many nuances.
This piece makes us question what the computer means in our lives, and how that may have changed over time. Light on specifics and arguably steeped in nostalgic yearning, its series of declarative statements come out more like broadly probing questions. Is the computer feeling possessed only by those who remember the time before the internet? Are computers even required? What does feeling this feeling elicit one to do?
We answer at least one of these questions. "But you can't trust them, they're podcasters," said everyone ever, "you've got to feel it for yourself."
Links
$ While these main Feeling of Computing episodes are, in a word, infrequent, the bonus episodes over on our Patreon &mdash; <a href="https://feelingoff.com/">Feeling Off</a> &mdash; arrive at a dependable regularity! Why, in the time since we recorded this here episode, we've released two (2) bonus episodes. The first was a unruly deep tangent Jimmy and I fell upon right smack in the middle of this very episode, and then excised out &mdash; <a href="https://www.patreon.com/posts/thats-144782844">That's Shakespeare</a> &mdash;&nbsp;about <a href="http://code.org/">code.org</a>, whether the "everyone should learn to code" movement is actually about literacy, the backlash to this movement, and our personal feelings on it all. Then in December we shared our annual end-of-the-year spectacular with games, awards, music, spelling, men who are spiders, and our predictions about the near and distant future &mdash;&nbsp;<a href="https://www.patreon.com/posts/all-of-false-146699458">All of the False Ones</a> &mdash; free free free for download, no patronage required.
<ul>
<li>The old name is <a href="https://cursor.com/future">cursed</a>.</li>
<li>The old name might have been inspired by <a href="https://worrydream.com/">Bret Victor</a>'s talk <a href="https://vimeo.com/71278954">The Future of Programming</a>, but the vibe of the community is probably closer to <a href="https://vimeo.com/906418692">Inventing on Principle</a>.</li>
<li>The new name invites us to reflect on the way our tools make us feel. For instance, <a href="https://en.wikipedia.org/wiki/Kid_Pix">Kid Pix</a> was a quirky, playful drawing program designed for younger users which had its heyday in the 1990s when Ivan was a younger user, and it gave him some pretty specific feelings at the time. (Also, in the time since recording this episode, Ivan dug up a Snow Leopard iMac from the sedimentary rock and installed KidPix Studio 4, and his 6 year-old daughter has been having a blast with it.)</li>
<li><a href="https://en.wikipedia.org/wiki/One_Piece">One Piece</a> is a manga and anime that's <a href="https://en.wikipedia.org/wiki/One_Piece#Sales">pretty popular</a>, but perhaps off-topic for our community.</li>
<li>Did you know about our virtual meetups? Every month we have people showing off their work, and it's been fantastic to see the wild variety of creative programming projects built by members of our community. We share the details of upcoming meetups in the <a href="ia-writer://quick-search?query=%23announcements">#announcements</a> channel <a href="https://feelingof.com/community/">on our Slack</a>, and publish them in this <a href="https://luma.com/feelingofcomputing">Luma calendar</a>. You should come!</li>
<li><a href="https://en.wikipedia.org/wiki/Long-term_nuclear_waste_warning_messages">The feeling is still present, in your time, as it was in ours</a></li>
<li><a href="https://arxiv.org/pdf/1811.09989">You can build computers out of water, if you want</a></li>
<li><a href="https://en.wikipedia.org/wiki/SimCity_3000">Sim City 3000</a> was released in 1999, and gave Jimmy the computer feeling. (Ivan played <a href="https://en.wikipedia.org/wiki/SimCity_2000">Sim City 2000</a> back in 1997-ish, and got pretty good at typing the word "FUND", before learning that this didn't actually give you free money and instead gave you a bond.)</li>
<li>When Ivan says "go to six or seven bookmarks", that's a reference to <a href="https://www.macstories.net/reviews/ticci-tabs-a-simple-way-to-keep-up-with-your-favorite-six-or-seven-websites/">this app</a>from 2024, not the mid 2025 meme.</li>
<li>The two folks in our sphere &mdash;&nbsp;<a href="https://folk.computer/">Folk Computer</a> by Omar (et al), and <a href="https://folkjs.org/">FolkJS</a> by <a href="https://chrisshank.com/">Chris Shank</a> and <a href="https://www.orionreed.com/">Orion Reed</a>. Folk Computer is similar to <a href="https://dynamicland.org/">Dynamicland</a>, which Omar did some interesting work on.</li>
<li>Back in 1997, Ivan taught himself to edit videos using <a href="https://www.macintoshrepository.org/16435-avid-cinema">Avid Cinema</a>, a Mac-only video editing tool that predates iMovie but served similar goals. (It came bundled with the infamous <a href="https://en.wikipedia.org/wiki/Power_Macintosh_G3#All-In-One">Power Macintosh G3 All-In-One</a>, aka the "Molar Mac", which was Ivan's second home computer.)</li>
<li>The Programmable Ink gang at Ink &amp; Switch have spent the past few years on <a href="https://www.inkandswitch.com/project/playbook/">this one project</a>, and it sometimes gives Ivan the computer feeling.</li>
<li><a href="https://en.wikipedia.org/wiki/The_Cathedral_and_the_Bazaar">The Bazaar and the&hellip; The Whatever&hellip; Yeah, Yeah.</a></li>
<li><a href="https://en.wikipedia.org/wiki/MetaCreations">MetaCreations</a> was the company behind Bryce 3D and Poser 3, which Ivan used quite extensively when he was a young'un. <a href="https://feelingof.com/episodes/079">Here's a photo of Ivan, midlife crisis rapidly approaching, holding his original Bryce 3D box.</a></li>
</ul>
Wormholes used in this episode:
<ul>
<li>One wormhole to/from the Feeling Off bonus episode <a href="https://www.patreon.com/posts/thats-144782844">That's Shakespeare</a></li>
<li>No secret wormholes.</li>
</ul>
! Send us <a href="mailto:hello@feelingof.com?subject=Email%20from%20a%20listener">gushing, uncomfortably familiar fan mail</a>, join the <a href="file:///community">Feeling Of community</a>, and find us on-line:
<ul>
<li>A:</li>
<li>B:</li>
<li>C:</li>
<li>D:</li>
<li>e:</li>
<li>F:</li>
<li>G:</li>
<li>H:</li>
<li>I: <a href="https://mastodon.social/@spiralganglion">🐘</a> <a href="https://bsky.app/profile/spiralganglion.com">🦋</a> <a href="https://ivanish.ca/">🌐</a></li>
<li>J: <a href="https://hachyderm.io/@jimmyhmiller">🐘</a> <a href="https://bsky.app/profile/jimmyhmiller.bsky.social">🦋</a> <a href="https://jimmyhmiller.com/">🌐</a></li>
<li>K:</li>
<li>L: <a href="https://mas.to/@todepond">🐘</a> <a href="https://bsky.app/profile/todepond.com">🦋</a> <a href="https://www.todepond.com/">🌐</a></li>
<li>M:</li>
<li>N:</li>
<li>O:</li>
<li>P:</li>
<li>Q:</li>
<li>R:</li>
<li>S:</li>
<li>T:</li>
<li>U:</li>
<li>V:</li>
<li>W:</li>
<li>X:</li>
<li>Y:</li>
<li>Z:</li>
</ul>
https://feelingof.com/episodes/079

The Computer is a Feeling by Tim Hwang & Omar Rizwan

One of the biggest goals of this show — our raisin detour, if you will — is to encourage people to look at computer programming differently. It's not just a job, or a way to make the computer do what you want. Code isn't just the material you sculpt into apps and games and websites. The very act of programming itself, and the languages we make and use to do that programming, reflect who we are as people. Programming languages say something.

Esolangs — esoteric programming languages — are programming languages created for these more self-reflective purposes. To some, they're defined by what they're not: not for serious use, not for education, not for efficiency. To others, they're a bunch of funny jokes that people can commiserate through after suffering the steep learning curve of becoming a programmer. A few find in them an opportunity to explore strange computational models, or baffling syntax designs. But is there more to them? Could there be?

In this episode, we're discussing a preprint of the paper Let's Take Esoteric Programming Languages Seriously by Jeremy Singer and Steve Draper, and struggling with what it even means to give esoteric languages their due.

Links

$ Each of these episodes is a labour of love. If you appreciate that labour, slip us a five on Patreon. As is the norm, you'll get a second RSS feed with a bonus episode each and ev-er-y month. Except this month, there's actually two (2) bonus episodes, for the simple reason that this podcast swells with bubbles of hot waxy fluid that spill the container of my Ableton Live when they pop. The first pop is a half hour cut from this esolangs ep, the three of us brainstorming esolangs we'd enjoy, super casual and playful, perfect for building your parasocial podcast relationship, you'll love it. The second bonus, as I'm sure you've been expecting, is three hours of Jimmy and I relaying our experiences with Silksong, unpacking its few contentious design decisions, fawning over exquisite details, the good shit. So yeah, hand us one hundred nickles, help Ivan repair his basement, enjoy more of… whatever this is.
Daniel Temkin 🛌 😴💤😘
esoteric.codes
Daniel's new book, Forty-Four Esolangs
Joana Chicau
The Less Humble Programmer
Esolangs Wiki
Entropy, an esolang by (total dreamboat) Daniel Temkin
Unnecessary, the 4:33 of esolangs, by Keymaker
Turing Paint by Byron Knoll, which is similar to Brian Silverman's Wireworldand Lu's Cableworld
Ivan's Visual Programming Codex, a collection of all the cool visual programming things Ivan has come across in his travels.
Riskopoly — The Game of Capitalist Imperialism!
Fanny#In_slang
Brainfuck and Whitespace are two canonical esolangs.
Our episode on Structure of a Programming Language Revolution, which includes extended discussion of Ivan's father-in-law's lookalike.
Dreamberd is one of Lu's Esoteric programming languages, which has a (let's just say) "interesting" relationship with AI.
The Story of Mel
Piet, Befunge, and Malbolge are more classic, oft-cited esolangs.
Fractran deserves special mention, since the language is comprised entirely of fractions, which is pretty neat.
MarkovJunioralso deserves special mention. Seriously, go look at the examples. Wild stuff. It's by Maxim Gumin, who also did the famous WaveFunctionCollapse project.
We did an entire interview episode about Orca with creator Devine Lu Linvega, who more recently made Tote, a reversible rewriting sandbox.
Reversible computing, something Ivan is particularlyinterested in.
XKCD's comic X, about a programming language that uses fonts creatively.
ArnoldC is one of those esolangs, like Shakespeare, Chef (which, actually, is kinda good actually if you actually have to eat whatever you code), or LOLCODE
Wat; still hits.
Bodyfuck
Evil.css, "subtle and not-so-subtle CSS rules that will slowly drive people insane"
Hest doesn't exist.
Code golfing is the practice of making your code as succinct as possible, often at the expense of readability (though it leads certain people to write really good coffeescript). The International Obfuscated C Code Contest is related, in that it's about writing C code where unreadability is the goal.
Jimmy would like to challenge y'all to write Fizz Buzz with no booleans, no conditionals, no pattern matching, or other things that are like disguised booleans.
Arroost is a musical programming environment Lu made to NORMALIZE SHARING SCRAPPY FIDDLES. Inform is a natural programming language for interactive storytelling. PuzzleScript is a rewriting language for making tile-based puzzle games. Each of these sits at an interesting spot somewhere on the twisty boundary between the programming meaning of "expression" and the human meaning of "expression".
The School for Poetic Computation occasionally runs a class called Digital Love Languages.
Coming Out Simulator and other works by Nicky Case, and dys4ia by Anna Anthropy, are wonderful examples of the sort of deeply personal expression Lu and Ivan would like to see in programming tools.
What music does Ivan listen to? Well… here's most of it.
What music does Ivan make? Well… here's some of it. But Jimmy is fond of Diminished Fifth, an attempt to make some shrinking music with ClojureScript. It's no Merzbow.
Zachtronics games, like exapunks — are they esolangs? A good number of recent videogames have included conlangs (constructed languages), such as 2023's fabulous Chants of Sennaar — but beware of spoilers, as some of these games might use the obscurity of the conlang to hide secrets in plain sight. Minecraft, natch, has a conlang for enchantments, and it's worth mentioning that redstone is an esolang of a sort. And then there's the Turing tarpit games, like Baba is You… the list goes on.
Perhaps Tidal Cycles and Strudel are esolangs? Perhaps also the Game of Life?
Hedy is an unabashed push to do something different!
Jonathan Richman's He Gave Us The Wine To Taste It is probably my favourite of the various attempts artists have made to plead with their audiences: don't overthink this! (Friends of the show might be familiar with this one.)
Isomorf let you view your program with your choice of syntax. It's like Hedy, but less humanitarian.
Poe's Law is not Postel's law

Music used in this episode:
Two songs from Ivan's Organs.
One from AG,BO.
A slice of Diminished Fifth.
The shortest track of this, the shortest track of that.
The last song in the episode isn't on the internet, but the demo is.
Jonathan Richman's He Gave Us The Wine To Taste It

! Send us email, join the FoC community, and find us on-line:
Iv: 🐘🦋🌐
Jm: 🐘🦋🌐
Lu: 🐘🦋🌐

See you in dreamland~

https://feelingof.com/episodes/078/

One of the biggest goals of this show &mdash; our raisin detour, if you will &mdash; is to encourage people to look at computer programming differently. It's not just a job, or a way to make the computer do what you want. Code isn't just the material you sculpt into apps and games and websites. The very act of programming itself, and the languages we make and use to do that programming, reflect who we are as people. Programming languages say something.
Esolangs &mdash; esoteric programming languages &mdash; are programming languages created for these more self-reflective purposes. To some, they're defined by what they're not: not for serious use, not for education, not for efficiency. To others, they're a bunch of funny jokes that people can commiserate through after suffering the steep learning curve of becoming a programmer. A few find in them an opportunity to explore strange computational models, or baffling syntax designs. But is there more to them? Could there be?
In this episode, we're discussing a preprint of the paper <a href="https://arxiv.org/abs/2505.15327v1">Let's Take Esoteric Programming Languages Seriously</a> by Jeremy Singer and Steve Draper, and struggling with what it even means to give esoteric languages their due.
Links
$ Each of these episodes is a labour of love. If you appreciate that labour, slip us a five on <a href="https://www.patreon.com/feelingofcomputing">Patreon</a>. As is the norm, you'll get a second RSS feed with a bonus episode each and ev-er-y month. Except this month, there's actually two (2) bonus episodes, for the simple reason that this podcast swells with bubbles of hot waxy fluid that spill the container of my Ableton Live when they pop. The first pop is a half hour cut from this esolangs ep, the three of us brainstorming esolangs we'd enjoy, super casual and playful, perfect for building your parasocial podcast relationship, you'll love it. The second bonus, as I'm sure you've been expecting, is three hours of Jimmy and I relaying our experiences with Silksong, unpacking its few contentious design decisions, fawning over exquisite details, the good shit. So yeah, hand us one hundred nickles, help Ivan repair his basement, enjoy more of&hellip; whatever this is.
<ul>
<li><a href="https://danieltemkin.com/">Daniel Temkin</a> 🛌 😴💤😘</li>
<li><a href="https://esoteric.codes/">esoteric.codes</a></li>
<li>Daniel's new book, <a href="https://mitpress.mit.edu/9780262553087/forty-four-esolangs/">Forty-Four Esolangs</a></li>
<li><a href="https://joanachicau.com/">Joana Chicau</a></li>
<li><a href="https://dhq.digitalhumanities.org/vol/17/2/000698/000698.html">The Less Humble Programmer</a></li>
<li><a href="https://esolangs.org/wiki/Main_Page">Esolangs Wiki</a></li>
<li><a href="https://esolangs.org/wiki/Entropy">Entropy</a>, an esolang by (total dreamboat) Daniel Temkin</li>
<li><a href="https://esolangs.org/wiki/Unnecessary">Unnecessary</a>, the <a href="https://en.wikipedia.org/wiki/4:33">4:33</a> of esolangs, by <a href="http://yiap.nfshost.com/">Keymaker</a></li>
<li><a href="https://byronknoll.com/turing.html">Turing Paint</a> by Byron Knoll, which is similar to Brian Silverman's <a href="https://en.wikipedia.org/wiki/Wireworld">Wireworld</a>and Lu's <a href="https://youtu.be/WMJ1H3Ai-qs?t=466">Cableworld</a></li>
<li>Ivan's <a href="http://ivanish.ca/codex">Visual Programming Codex</a>, a collection of all the cool visual programming things Ivan has come across in his travels.</li>
<li><a href="https://www.gilwood.org/riskopoly.htm">Riskopoly &mdash; The Game of Capitalist Imperialism!</a></li>
<li><a href="https://en.wikipedia.org/wiki/Fanny#In_slang">Fanny#In_slang</a></li>
<li><a href="https://esolangs.org/wiki/Brainfuck">Brainfuck</a> and <a href="https://esolangs.org/wiki/Whitespace">Whitespace</a> are two canonical esolangs.</li>
<li>Our episode on <a href="https://feelingof.com/episodes/058/">Structure of a Programming Language Revolution</a>, which includes extended discussion of Ivan's father-in-law's lookalike.</li>
<li><a href="https://github.com/TodePond/GulfOfMexico">Dreamberd</a> is one of Lu's Esoteric programming languages, which has a (let's just say) "interesting" relationship with AI.</li>
<li><a href="https://en.wikipedia.org/wiki/The_Story_of_Mel">The Story of Mel</a></li>
<li><a href="https://esolangs.org/wiki/Piet">Piet</a>, <a href="https://esolangs.org/wiki/Befunge">Befunge</a>, and <a href="https://esolangs.org/wiki/Malbolge">Malbolge</a> are more classic, oft-cited esolangs.</li>
<li><a href="https://esolangs.org/wiki/Fractran">Fractran</a> deserves special mention, since the language is comprised entirely of fractions, which is pretty neat.</li>
<li><a href="https://github.com/mxgmn/MarkovJunior">MarkovJunior</a> also deserves special mention. Seriously, go look at the examples. Wild stuff. It's by Maxim Gumin, who also did the famous <a href="https://github.com/mxgmn/WaveFunctionCollapse">WaveFunctionCollapse</a> project.</li>
<li>We did an entire interview episode about <a href="https://feelingof.com/episodes/045/">Orca</a> with creator <a href="https://xxiivv.com/">Devine Lu Linvega</a>, who more recently made <a href="https://wiki.xxiivv.com/site/tote.html">Tote</a>, a reversible rewriting sandbox.</li>
<li><a href="https://en.wikipedia.org/wiki/Reversible_computing">Reversible computing</a>, something Ivan is <a href="https://mastodon.social/@spiralganglion/112282956696254310">particularly</a> <a href="https://mastodon.social/@spiralganglion/112284014138207711">interested</a> in.</li>
<li>XKCD's comic <a href="https://xkcd.com/2309/">X</a>, about a programming language that uses fonts creatively.</li>
<li><a href="https://esolangs.org/wiki/ArnoldC">ArnoldC</a> is one of those esolangs, like <a href="https://esolangs.org/wiki/Shakespeare">Shakespeare</a>, <a href="https://esolangs.org/wiki/Chef">Chef</a> (which, actually, is kinda good actually if you actually have to eat whatever you code), or <a href="https://esolangs.org/wiki/LOLCODE">LOLCODE</a></li>
<li><a href="https://www.destroyallsoftware.com/talks/wat">Wat</a>; still hits.</li>
<li><a href="https://esoteric.codes/blog/bodyfuck-gestural-code">Bodyfuck</a></li>
<li><a href="https://github.com/tlrobinson/evil.css/">Evil.css</a>, "subtle and not-so-subtle CSS rules that will slowly drive people insane"</li>
<li><a href="https://ivanish.ca/hest/">Hest</a> doesn't exist.</li>
<li><a href="https://en.wikipedia.org/wiki/Code_golf">Code golfing</a> is the practice of making your code as succinct as possible, often at the expense of readability (though it leads certain people to write really good coffeescript). The <a href="https://en.wikipedia.org/wiki/International_Obfuscated_C_Code_Contest">International Obfuscated C Code Contest</a> is related, in that it's about writing C code where unreadability is the goal.</li>
<li>Jimmy would like to challenge y'all to write <a href="https://en.wikipedia.org/wiki/Fizz_buzz">Fizz Buzz</a> with no booleans, no conditionals, no pattern matching, or other things that are like disguised booleans.</li>
<li><a href="https://arroost.com/">Arroost</a> is a musical programming environment Lu made to <a href="https://www.todepond.com/explore/arroost/">NORMALIZE SHARING SCRAPPY FIDDLES</a>. <a href="https://ganelson.github.io/inform-website/">Inform</a> is a natural programming language for interactive storytelling. <a href="https://www.puzzlescript.net/">PuzzleScript</a> is a rewriting language for making tile-based puzzle games. Each of these sits at an interesting spot somewhere on the twisty boundary between the programming meaning of "expression" and the human meaning of "expression".</li>
<li>The <a href="https://sfpc.study/">School for Poetic Computation</a> occasionally runs a class called <a href="https://sfpc.study/sessions/fall-24/digital-love-languages">Digital Love Languages</a>.</li>
<li><a href="https://ncase.itch.io/coming-out-simulator-2014">Coming Out Simulator</a> and other works by <a href="https://ncase.me/">Nicky Case</a>, and <a href="https://w.itch.io/dys4ia">dys4ia</a> by <a href="https://w.itch.io/">Anna Anthropy</a>, are wonderful examples of the sort of deeply personal expression Lu and Ivan would like to see in programming tools.</li>
<li>What music does Ivan listen to? <a href="https://www.last.fm/user/sisoft">Well&hellip; here's most of it.</a></li>
<li>What music does Ivan make? <a href="http://spiralganglion.bandcamp.com/">Well&hellip; here's some of it.</a> But Jimmy is fond of <a href="https://ivanish.ca/diminished-fifth/">Diminished Fifth</a>, an attempt to make some <a href="https://ivanish.ca/jerk/">shrinking music</a> with ClojureScript. It's no <a href="https://en.wikipedia.org/wiki/Merzbow">Merzbow</a>.</li>
<li><a href="https://en.wikipedia.org/wiki/Zachtronics">Zachtronics</a> games, like <a href="https://feelingof.org/episodes/056">exapunks</a> &mdash; are they esolangs? A good number of recent videogames have included <a href="https://en.wikipedia.org/wiki/Constructed_language">conlangs</a> (constructed languages), such as 2023's fabulous <a href="https://thinkygames.com/games/chants-of-sennaar/">Chants of Sennaar</a> &mdash; but beware of spoilers, as some of <a href="https://thinkygames.com/features/how-fictional-languages-are-perfect-for-the-metroidbrainia-formula/">these games</a> might use the obscurity of the conlang to hide secrets in plain sight. Minecraft, natch, has a <a href="https://apexminecrafthosting.com/minecraft-the-language-of-enchantment/">conlang for enchantments</a>, and it's worth mentioning that <a href="https://minecraft.wiki/w/Redstone_components">redstone</a> is an esolang of a sort. And then there's the <a href="https://en.wikipedia.org/wiki/Turing_tarpit">Turing tarpit</a> games, like <a href="https://en.wikipedia.org/wiki/Baba_Is_You">Baba is You</a>&hellip; the list goes on.</li>
<li>Perhaps <a href="https://tidalcycles.org/">Tidal Cycles</a> and <a href="https://strudel.cc/">Strudel</a> are esolangs? Perhaps also the <a href="https://en.wikipedia.org/wiki/Conway%27s_Game_of_Life">Game of Life</a>?</li>
<li><a href="https://www.hedy.org/">Hedy</a> is an unabashed push to do something different!</li>
<li>Jonathan Richman's <a href="https://www.youtube.com/watch?v=fXUsp0TK6JU&amp;t=308s">He Gave Us The Wine To Taste It</a> is probably my favourite of the various attempts artists have made to plead with their audiences: don't overthink this! (Friends of the show might be familiar with <a href="https://ivanish.ca/dont-do-math/">this one</a>.)</li>
<li><a href="https://futureofcoding.org/catalog/isomorf.html">Isomorf</a> let you view your program with your choice of syntax. It's like Hedy, but less humanitarian.</li>
<li><a href="https://en.wikipedia.org/wiki/Poes_law">Poe's Law</a> is not <a href="https://en.wikipedia.org/wiki/Robustness_principle">Postel's law</a></li>
</ul>
Music used in this episode:
<ul>
<li>Two songs from Ivan's <a href="https://ivanish.ca/organs/">Organs</a>.</li>
<li>One from <a href="https://ivanish.ca/above-genus-below-order/">AG,BO</a>.</li>
<li>A slice of <a href="https://ivanish.ca/diminished-fifth/">Diminished Fifth</a>.</li>
<li>The shortest track of <a href="https://ivanish.ca/this-score-is-butt-ugly/">this</a>, the shortest track of <a href="https://ivanish.ca/alarum-within/">that</a>.</li>
<li>The last song in the episode isn't on the internet, but <a href="https://ivanish.ca/oven-cleaner/">the demo</a> is.</li>
<li>Jonathan Richman's <a href="https://www.youtube.com/watch?v=fXUsp0TK6JU&amp;t=308s">He Gave Us The Wine To Taste It</a></li>
</ul>
! Send us <a href="mailto:hello@feelingof.com?subject=Email%20from%20a%20listener">email</a>, join the <a href="file:///community">FoC community</a>, and find us on-line:
<ul>
<li>Iv: <a href="https://mastodon.social/@spiralganglion">🐘</a> <a href="https://bsky.app/profile/spiralganglion.com">🦋</a> <a href="https://ivanish.ca/">🌐</a></li>
<li>Jm: <a href="https://hachyderm.io/@jimmyhmiller">🐘</a> <a href="https://bsky.app/profile/jimmyhmiller.bsky.social">🦋</a> <a href="https://jimmyhmiller.github.io/">🌐</a></li>
<li>Lu: <a href="https://mas.to/@todepond">🐘</a> <a href="https://bsky.app/profile/todepond.com">🦋</a> <a href="https://www.todepond.com/">🌐</a></li>
</ul>
See you in dreamland~
https://feelingof.com/episodes/078/

Let's Take Esoteric Programming Languages Seriously

A classic "80-year predictions" episode. How did we do, humanity?

Here's the article (free with ads): As We May Think

Links

$ Patreon
We're considering changing The Name of the FoC community, podcast, et cetera.
Transatlantic Accent, and all the ships at sea.
This episode's advertisements: Ex-Lax, Mifflin, et cetera.
The New Media Reader is a good read(er).
Blue Prince is surely everyone's 2025 GOTY. You'll find ample discussion of its twisty design in our bonus feed.
Oppenheimer was probably my least favourite David Nolen movie.
ENIAC was, for a time, the computer.
Engelbart
The Polaroid instant camera dates back to the 1940s!
Google Glass and Ray-Ban Meta, sigh
Wikipedia's List of Existing Technologies Predicted in Science Fiction
Apparently microfilm and microfiche are both instances of microform.
Boy Milk, no explanation needed.
Sean M. Carroll, physicist.
Claude Shannon, information theorist ;)
AI Is Not Your Friend appeared in The Atlantic on May 9th, 2025.
Amazon Mechanical Turk is "artificial artificial intelligence".
Awesome GitHub lists
Daring Fireball and Kottke.org are two long-running blogs that helped popularize the "linkblog" form.
The Wirecutter was our previous top pick for product recommendations, but their history of shilling junk and our growing concerns about e-waste have led us to downgrade them in our rankings.
Devine (the other Lu) maintains a pair of wikis, one for hundredrabbits and another for research and projects.
Alexander Obenauer also does a lovely job publishing research notes.
Unison and Dynamicland are two strong visions for the future of computing.

Music:
lemon (tussed/screwed because everyone listens at 2x)

! Send us email, join the FoC community, and find us on-line:
I: 🐘🦋🌐
J: 🐘🦋🌐
K: N/A
L: 🐘🦋🌐

See you in the future!

https://futureofcoding.org/episodes/077

A classic "80-year predictions" episode. How did we do, humanity?
Here's the article (free with ads): <a href="https://worrydream.com/refs/Bush%20-%20As%20We%20May%20Think%20(Life%20Magazine%209-10-1945).pdf">As We May Think</a>
Links
$ <a href="https://www.patreon.com/futureofcoding">Patreon</a>
<ul>
<li>We're considering changing <a href="https://futureofcoding.org/the-name">The Name</a> of the FoC community, podcast, et cetera.</li>
<li><a href="https://en.wikipedia.org/wiki/Good_American_Speech">Transatlantic Accent</a>, and all the ships at sea.</li>
<li>This episode's advertisements: <a href="https://en.wikipedia.org/wiki/Senna_glycoside">Ex-Lax</a>, <a href="https://en.wikipedia.org/wiki/Isopropyl_alcohol#Medical">Mifflin</a>, et cetera.</li>
<li>The <a href="https://www.newmediareader.com/">New Media Reader</a> is a good read(er).</li>
<li><a href="https://www.youtube.com/watch?v=W2hB9PjugK0">Blue Prince</a> is surely everyone's 2025 <a href="https://en.wikipedia.org/wiki/List_of_Game_of_the_Year_awards">GOTY</a>. You'll find ample <a href="https://www.patreon.com/posts/exasperated-127597451">discussion</a> of its <a href="https://www.patreon.com/posts/hour-and-half-of-129954399">twisty design</a> in our bonus feed.</li>
<li><a href="https://www.youtube.com/watch?v=bK6ldnjE3Y0">Oppenheimer</a> was probably my least favourite David Nolen movie.</li>
<li><a href="https://en.wikipedia.org/wiki/ENIAC">ENIAC</a> was, for a time, the computer.</li>
<li><a href="https://futureofcoding.org/episodes/056">Engelbart</a></li>
<li>The <a href="https://en.wikipedia.org/wiki/Instant_camera">Polaroid instant camera</a> dates back to the 1940s!</li>
<li><a href="https://en.wikipedia.org/wiki/Google_Glass#Criticism">Google Glass</a> and <a href="https://en.wikipedia.org/wiki/Ray-Ban_Meta#Privacy_and_ethical_concerns">Ray-Ban Meta</a>, sigh</li>
<li>Wikipedia's <a href="https://en.wikipedia.org/wiki/List_of_existing_technologies_predicted_in_science_fiction">List of Existing Technologies Predicted in Science Fiction</a></li>
<li>Apparently microfilm and microfiche are both instances of <a href="https://en.wikipedia.org/wiki/Microform">microform</a>.</li>
<li><a href="https://earthsown.com/products/organic-almond-unsweetened-original-chilled-carton/">Boy Milk</a>, no explanation needed.</li>
<li><a href="https://en.wikipedia.org/wiki/Sean_M._Carroll">Sean M. Carroll</a>, physicist.</li>
<li><a href="https://en.wikipedia.org/wiki/Claude_Shannon">Claude Shannon</a>, information theorist ;)</li>
<li><a href="https://archive.ph/SfhuK">AI Is Not Your Friend</a> appeared in The Atlantic on May 9th, 2025.</li>
<li><a href="https://en.wikipedia.org/wiki/Amazon_Mechanical_Turk">Amazon Mechanical Turk</a> is "artificial artificial intelligence".</li>
<li><a href="https://github.com/topics/awesome">Awesome</a> GitHub lists</li>
<li><a href="https://daringfireball.net/">Daring Fireball</a> and <a href="https://kottke.org/">Kottke.org</a> are two long-running blogs that helped popularize the <a href="https://en.wikipedia.org/wiki/Linklog">"linkblog"</a> form.</li>
<li><a href="https://en.wikipedia.org/wiki/Wirecutter_(website)">The Wirecutter</a> was our previous top pick for product recommendations, but their history of shilling junk and our growing concerns about e-waste have led us to downgrade them in our rankings.</li>
<li><a href="https://futureofcoding.org/episodes/045">Devine</a> (the other Lu) maintains a pair of wikis, one for <a href="https://100r.co/site/knowledge.html">hundredrabbits</a> and another for <a href="https://wiki.xxiivv.com/">research and projects</a>.</li>
<li><a href="https://alexanderobenauer.com/">Alexander Obenauer</a> also does a lovely job publishing research notes.</li>
<li><a href="https://www.unison-lang.org/">Unison</a> and <a href="https://dynamicland.org/">Dynamicland</a> are two strong visions for the future of computing.</li>
</ul>
Music:
<ul>
<li>lemon (tussed/screwed because everyone listens at 2x)</li>
</ul>
! Send us <a href="mailto:admin@futureofcoding.org?subject=Email%20from%20a%20listener">email</a>, join the <a href="https://futureofcoding.org/community">FoC community</a>, and find us on-line:
<ul>
<li>I: <a href="https://mastodon.social/@spiralganglion">🐘</a> <a href="https://bsky.app/profile/spiralganglion.com">🦋</a> <a href="https://ivanish.ca/">🌐</a></li>
<li>J: <a href="https://hachyderm.io/@jimmyhmiller">🐘</a> <a href="https://bsky.app/profile/jimmyhmiller.bsky.social">🦋</a> <a href="https://jimmyhmiller.github.io/">🌐</a></li>
<li>K: N/A</li>
<li>L: <a href="https://mas.to/@todepond">🐘</a> <a href="https://bsky.app/profile/todepond.com">🦋</a> <a href="https://www.todepond.com/">🌐</a></li>
</ul>
See you in the future!
<a href="https://futureofcoding.org/episodes/077">https://futureofcoding.org/episodes/077</a>

The Case for Formal Methods: Hillel Wayne

In 1 playlist(s)

Feeling of Computing

Social links

Recent clips