by Future of Coding
<p>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>.</p>
Language
🇺🇲
Publishing Since
7/14/2017
Email Addresses
1 available
Phone Numbers
0 available
February 16, 2025
<p>In the academic field of programming language research, there are a few prestigious conferences that you must present at to advance in your career. These conferences are rather selective about which presentations they'll accept. If your research work involves proving formal properties about a programming language, you'll have their ear. But if your work looks at, say, the human factors of language design, you might as well not bother applying — and thus, not bother pursuing that work in the first place. Why is the formalistic, systems-focused work elevated, and the human-focused work diminished? And what are the downstream consequences, the self-reinforcing feedback loops that come from this narrow focus?</p> <p>In this episode we discuss a paper by <a href="https://www.felienne.com/">Felienne Hermans</a> and <a href="https://arischlesinger.com/">Ari Schlesinger</a> titled, <a href="https://www.felienne.com/archives/8470">A case for Feminism in Programming Language Design</a>. It applies the lens of intersectional feminism to reveal a startling lack of <a href="https://en.wikipedia.org/wiki/Yes,_and...">"Yes, and…"</a> in academic computer science, where valuable avenues of inquiry are closed off, careers are stifled, and people are unintentionally driven away from contributing to the field, simply because their passions and expertise don't conform to a set of invisible expectations. Through heartbreaking personal anecdotes and extensive supporting references, the paper makes the case that there's a lot of high-value greenfield work to be done, and people who would love to do it — but we will need to collectively identify, understand, and then fix a few broken incentives before it'll happen.</p> <p><strong>Notes</strong></p> <p>$ <a href="https://www.patreon.com/futureofcoding">Patreon</a></p> <ul> <li><a href="https://polypad.amplify.com/">Polypad</a>, dubbed the "best piece of education software for smartboards" by published academic Luke Wilson</li> <li>Or is it <a href="https://mathigon.org/">Mathigon</a>? "Looks like a nice <a href="https://www.desmos.com/">Desmos</a>", opines enterprise sales expert Ivan Reese.</li> <li><a href="https://web.archive.org/web/20241124083409/https://www.marketfacts.ca/home/">Market💡Facts.ca</a></li> </ul> <p>Welcome to the TALK BLOC:</p> <ul> <li> <p>Felienne Hermans at Onward! 2024: <a href="https://www.youtube.com/watch?v=-Br66SUjsdQ&t=12129">A case for Feminism in Programming Language Design</a></p> </li> <li> <p>Ivan and Alex Warth at LIVE 2024: <a href="https://www.inkandswitch.com/ink/notes/inkling-live-presentation/">Inkling</a></p> </li> <li> <p>Lu at LIVE 2024: <a href="https://www.youtube.com/watch?v=4GOeYylCMJI&t=12480">Arroost</a></p> </li> <li> <p>Lu at Onward! 2024: <a href="https://www.youtube.com/watch?v=-Br66SUjsdQ&t=15105">Dialogs on Natural Code</a></p> </li> <li> <p><a href="https://www.youtube.com/watch?v=-Br66SUjsdQ&t=23984s">Discovering Your Software Umwelt</a> by Rebecca Wirfs-Brock, Allen Wirfs-Brock, and Jordan Wirfs-Brock</p> </li> <li> <p><a href="https://stefanlesser.substack.com/p/video-and-transcript-of-my-presentation">A New Cognitive Perspective on Simplicity in System and Product Design</a> by FoC community member and previous <a href="https://www.patreon.com/posts/new-physics-with-99281699">bonus episode guest</a>, Stefan Lesser</p> </li> <li> <p><a href="https://archive.org/details/onward-redressing-the-balance">Redressing the Balance: A Yin-Yang Perspective on Information Technology</a> by FoC community member Konrad Hinsen</p> </li> <li> <p>Foremost among the contributions to society by Icebergs are their inspiration of <a href="https://suricrasia.online/iceberg/">the meme</a></p> </li> <li> <p><a href="https://en.wikipedia.org/wiki/Alex_McLean">Alex McLean</a> as in <a href="https://www.youtube.com/watch?v=RijB8wnJCN0">Insane in the Membrane</a></p> </li> <li> <p><a href="https://ivanish.ca/four-four/">FOUR FOUR</a></p> </li> <li> <p>Mary Shaw, previous <a href="https://futureofcoding.org/episodes/069">guest</a></p> </li> <li> <p><a href="https://en.wikipedia.org/wiki/Zachtronics">Zachtronics</a> make some hard puzzle games.</p> </li> <li> <p><a href="https://www.youtube.com/watch?v=ZMklf0vUl18">Define Define</a>, a really great video about that.</p> </li> <li> <p><a href="https://knowyourmeme.com/memes/we-should-improve-society-somewhat">Oh, you question toxic masculinity, yet you live within the gender binary?</a></p> </li> </ul> <p>! Send us <a href="mailto:[email protected]?subject=Email%20from%20a%20listener">email</a>, especially if you're an avid listener who happens to work for a placement agency and knows an AI thought leader who has advised 5000 startups and would be a great fit for our show, share your ideas in the <a href="https://futureofcoding.org/community">Slack</a>, and:</p> <ul> <li>Eats: <a href="https://mastodon.social/@spiralganglion">Mastodon</a> • <a href="https://ivanish.ca/">Website</a></li> <li>Shoots: <a href="https://hachyderm.io/@jimmyhmiller">Mastodon</a> • <a href="https://jimmyhmiller.github.io/">Website</a></li> <li>Leaves: <a href="https://mas.to/@todepond">Mastodon</a> • <a href="https://www.todepond.com/">Website</a></li> </ul> <p>See you in the future!</p> <p>https://futureofcoding.org/episodes/75</p><p><a href="https://www.patreon.com/futureofcoding" rel="payment">Support us on Patreon: https://www.patreon.com/futureofcoding</a></p><p>See <a href="https://omnystudio.com/listener">omnystudio.com/listener</a> for privacy information.</p>
January 5, 2025
<p>"<a href="https://marksprevak.com/pdf/paper/Sprevak---The%20Computable%20Universe.pdf">Is the whole universe a computer?</a>", ask Jack Copeland, Mark Sprevak, and Oron Shagrir in chapter 41 of the book <a href="https://en.wikipedia.org/wiki/The_Turing_Guide">The Turing Guide</a>. They split this question in two, first asking whether the universe itself is a computer, then whether the universe could even be computed. These are lofty, unanswerable questions, sure, but they encroach on our territory — philosophy, automata, nonsense. So, in our usual reverent style and with attentive pacing, the three of us explore the paper, the questions, the answers they choose to highlight, and even share a few perfectly reasonable answers of our own.</p> <p><strong>Links</strong></p> <p>$ <a href="https://www.patreon.com/futureofcoding">Patreon</a></p> <p>In no particular order:</p> <ul> <li><a href="https://en.wikipedia.org/wiki/Carl_Sagan">Carl Sagan</a></li> <li><a href="https://www.youtube.com/watch?v=MJzV0CX0q8o">What it means to be open</a> was Lu's talk at Heart of Clojure</li> <li><a href="https://en.wikipedia.org/wiki/Rudy_Rucker">Rudy Rucker</a></li> <li><a href="https://courses.cs.umbc.edu/graduate/671/fall21/resources/searle_2002.pdf">Is the brain a digital computer?</a> by John Searle</li> <li>The <a href="https://en.wikipedia.org/wiki/Planck_units#Planck_time">Plankth of time</a>.</li> <li><a href="https://queue.acm.org/detail.cfm?id=3212479">C is Not a Low-Level Language</a> by David Chisnall</li> <li><a href="https://mastodon.social/@spiralganglion/112578884737169457">The Connection Machine!!</a></li> <li><a href="https://en.wikipedia.org/wiki/Kolmogorov_complexity">Komgloverav… Komolgorov…</a></li> <li><a href="https://en.wikipedia.org/wiki/Outer_Wilds">Outer Worlds?</a></li> <li><a href="https://en.wikipedia.org/wiki/The_Outer_Worlds">Outer Wilds?</a></li> <li><a href="https://www.youtube.com/watch?v=SHt4uJyhJo8">The Witness</a></li> </ul> <p>Music featured in this episode:</p> <ul> <li>No! That's a spoiler. No way I'm telling you.</li> </ul> <p>! Send us <a href="mailto:[email protected]?subject=Email%20from%20a%20listener">email</a>, share your ideas in the <a href="https://futureofcoding.org/community">Slack</a>, and catch us while you still can:</p> <ul> <li>Carl: <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> <p>See you in the future!</p> <p><a href="https://futureofcoding.org/episodes/74">https://futureofcoding.org/episodes/74</a></p><p><a href="https://www.patreon.com/futureofcoding" rel="payment">Support us on Patreon: https://www.patreon.com/futureofcoding</a></p><p>See <a href="https://omnystudio.com/listener">omnystudio.com/listener</a> for privacy information.</p>
August 25, 2024
<p><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.</p> <p>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.</p> <p>Links</p> <p>$ 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 <em>unhinged</em>) 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.</p> <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 <em><a href="https://mastodon.social/@wolkenmachine">Marcel Goethals</a> makes a lot of cool weird stuff and is a choice follow.</em></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><strong>Rewrite rules</strong> 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 <em>Towards "Second Generation" Interactive, Graphical Programming Environments</em> 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 <em>livelits</em>.</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, <em>because</em> 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> <p>Music featured in this episode:</p> <ul> <li><a href="https://www.youtube.com/watch?v=gSJeHDlhYls">snot bubbles</a></li> </ul> <p>! Send us <a href="mailto:[email protected]?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:</p> <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> <p>See you in the future!</p> <p><a href="https://futureofcoding.org/episodes/073">https://futureofcoding.org/episodes/073</a></p><p><a href="https://www.patreon.com/futureofcoding" rel="payment">Support us on Patreon: https://www.patreon.com/futureofcoding</a></p><p>See <a href="https://omnystudio.com/listener">omnystudio.com/listener</a> for privacy information.</p>
Adam Gordon Bell - Software Developer
Oxide Computer Company
Changelog Media
The Stack Overflow Podcast
Wes Bos & Scott Tolinski - Full Stack JavaScript Web Developers
Changelog Media
Changelog Media
Software Engineering Daily
swyx + Alessio
Scott Hanselman
The Verge
Machine Learning Street Talk (MLST)
Software Unscripted
New York Times Opinion
The Late Night Linux Family
Pod Engine is not affiliated with, endorsed by, or officially connected with any of the podcasts displayed on this platform. We operate independently as a podcast discovery and analytics service.
All podcast artwork, thumbnails, and content displayed on this page are the property of their respective owners and are protected by applicable copyright laws. This includes, but is not limited to, podcast cover art, episode artwork, show descriptions, episode titles, transcripts, audio snippets, and any other content originating from the podcast creators or their licensors.
We display this content under fair use principles and/or implied license for the purpose of podcast discovery, information, and commentary. We make no claim of ownership over any podcast content, artwork, or related materials shown on this platform. All trademarks, service marks, and trade names are the property of their respective owners.
While we strive to ensure all content usage is properly authorized, if you are a rights holder and believe your content is being used inappropriately or without proper authorization, please contact us immediately at [email protected] for prompt review and appropriate action, which may include content removal or proper attribution.
By accessing and using this platform, you acknowledge and agree to respect all applicable copyright laws and intellectual property rights of content owners. Any unauthorized reproduction, distribution, or commercial use of the content displayed on this platform is strictly prohibited.