Future of Coding Weekly 2025/08 Week 2

🔌 Spirit Plant Software and Network Architecture 🎥 Virtual Meetup 13 • July 2025 🧑‍🔬 Notes from the Lab

Share Your Work

🗨️ guitarvydas:

🧵 conversation @ 2025-08-06

reading When Leggett post caused me to write this article

🗨️ Marcin Ignac: 🔌 Spirit Plant Software and Network Architecture: a technical case study

🧵 conversation @ 2025-08-07

We have just published an in depth case study about our last generative (non genAI) art installation. All JS + WebGL baby! Check it out Spirit Plant Software and Network Architecture: a technical case study. · Variable - new ways of experiencing data | https://variable.io

We used web technologies to power the Spirit Plant installation visuals in real-time.

Spirit Plant Software and Network Architecture: a technical case study. · Variable - new ways of experiencing data | https://variable.io

DevLog Together

🗨️ Christopher Shank: 🧑‍🔬 Notes from the Lab - June & July 2025

🧵 conversation @ 2025-08-09

Latest notes about what we've been working on with the folkjs project. Explorations include DOM sync, Desktop Interlay via Accessibility Trees, DOM interactions and instruments, HTML pipes, HTML attributes for syntax highlighting, LSPs, and reordering lists, and much more!

Notes from the Lab - June & July 2025

Thinking Together

🗨️ Joel Neely:

🧵 conversation @ 2025-08-09

I hadn’t thought about your before-and-after interpretation in quite that way. I’ll have to ponder a bit.
Regarding your reference to determinism, only some constructions in EWD’s wp-based notation are deterministic! While some cases (e.g. x := x-y) are, EWD’s reasoning makes some kinds of determinism a not-very-interesting special case. The “Aha!” moment for me was his solution for max in c := a max b.

if  
   a >= b -> c := a  
[]  
   b >= a -> c :- b  
fi

In the (again, uninteresting) special case that a = b, both guards are true it is perfectly valid to “perform” either of the two guarded commands.

Linking Together

🗨️ Jasmine Otto: 🕹️ too many gamedevs and only one game

🧵 conversation @ 2025-08-04

ahaha, multiplayer bitsy in the wild at A MAZE (using MouseMux)

🗨️ Nilesh Trivedi:

🧵 conversation @ 2025-08-06

Prof Eric Hehner's April 2025 article on interpreting the Halting Problem:
https://www.cs.utoronto.ca/~hehner/Boxes.pdf

📷 image.png

AI

🗨️ Jason Morris:

🧵 conversation @ 2025-08-07

Happy GPT-5 day to those who celebrate. I got to play with it at work a bit, and it is impressive. I think having the AI generate symbolic representations of facts in text is going to be a lot more feasible going forward, which is going to be a game changer for people who can figure out how to use it.

Present Company

🗨️ Ivan Reese: 🎥 Virtual Meetup 13 • July 2025

🧵 conversation @ 2025-08-07

Here's the video from last week's virtual meetup.

Virtual Meetup 13 • July 2025

🗨️ Ivan Reese:

🧵 conversation @ 2025-08-07

I'd like to try planting (yes, like a plant that'll grow) the next virtual meetup at a different time, so that we can shake things up and bring out some folks who normally can't attend.

If we were to schedule it at 01:00 UTC Aug 27th (conversions: everytimezone, time.is) — so think evening of wednesday the 26th for north america, morning of the 26th for eastern asia — would you be stoked to attend? to present? give a 👍 on the post if you'd come, and if you might present, post a threaded reply!