What does it take for people to be able to adapt the computer systems they use? Under the term substrates, this workshop brings together past and present research directions that explore and realize the vision of systems people truly own. 2027.programmingconference.org/home/substra...
Jonathan Edwards
Jonathan Edwards
@jonathoda.bsky.social
Dissident computer scientist
1.1K followers130 following74 posts
Evidence coding agents benefit from stable code identifiers. "none of these tools give the model a stable, verifiable identifier for the lines it wants to change without wasting tremendous amounts of context and depending on perfect recall" via @marianoguerra.org blog.can.ac/2026/02/12/t...
“They will see further than anyone before, standing on the shoulders of giant machines” open.substack.com/pub/davidbes...
If humans won't use structure editors, maybe AIs will. "We propose reframing the codebase as a structured action space where agents operate on named AST entities rather than text spans." arxiv.org/html/2604.05...
Jonathan Edwards reposted
Jonathan Edwards reposted
Do you make drag-and-drop interfaces? Or do you wish you did, but they're just too hard? We're working on a new way to drag & drop! Wanna try it out? Join our study – we'll ask you about your drag-and-drop experiences, and get your hands on the prototype. Join here: forms.gle/J82tFtu6DqS8.... 🙏!
If AI takes over coding do we become methodologists now? github.com/unclebob/emp...
Jonathan Edwards reposted
Early registration for #prog26 ends Feb 20! 2026.programming-conference.org Join us in Munich (Mar 16–19) for the art & science of programming! Workshops: MoreVMs, PX/26, SCLIT, VIMPL, and Substrates. Submit to the Substrates workshop until Feb 20: 2026.programming-conference.org/home/substra...
Jonathan Edwards reposted
We created an exhibition to go along with my 𝐂𝐮𝐥𝐭𝐮𝐫𝐞𝐬 𝐨𝐟 𝐏𝐫𝐨𝐠𝐫𝐚𝐦𝐦𝐢𝐧𝐠 book! tomasp.net/cultures/exh... It tells the story of how programming concepts methodologies emerge amidst clashes and collaborations between cultures. 🖼If you want to display this at your university or conference, let me know!
The LIVE Programming Workshop will be held online Oct 17. Submissions due July 21. liveprog.org
Bring Your Own Substrate to Substrates-26. Submission deadline Feb 20. 2026.programming-conference.org/home/substra...
Jonathan Edwards reposted
The open access version of Cultures of Programming is now available online. Just in time for the holiday break! Read it here: www.cambridge.org/core/books/c... If you prefer a real book, use PETRICK26 for a 20% discount (valid until January 31) at: www.cambridge.org/9781009492348
Some programming feels fun, other programming feels annoying. Why? Submit papers, essays, and demos to PX/26 by Jan 9 2026.programming-conference.org/home/px-2026...
Jonathan Edwards reposted
New paper with @tomasp.net. Baseline: Operation-Based Evolution and Versioning of Data alarmingdevelopment.org?p=1886
Jonathan Edwards reposted
What defines a correct program? What education makes a good programmer? The answer depends on what culture of programming you subscribe to! This has been a long time in the making, but my open access book on the history of programming is available for pre-order! www.cambridge.org/core/books/c...
Jonathan Edwards reposted
In the last part of my tiny systems course, we get to implement a tiny version of the world's most widely used programming language! TinyExcel: www.youtube.com/watch?v=ghRA...
Jonathan Edwards reposted
The missing semantic in Dataflow languages: Dataflow Templating. Clone subgraphs as an analogue to function calling. observablehq.com/@tomlarkwort...
Jonathan Edwards reposted
Replying to @mweidner.bsky.social
More on this simple path to collaborative apps, as an alternative to the Operational Transform / CRDT rabbit hole, in my recent DWeb Seminar talk: docs.google.com/presentation...
Software Substrates Workshop. Submission deadline Feb 20 2026.programming-conference.org/home/substra...
Jonathan Edwards reposted
I'm teaching 𝗪𝗿𝗶𝘁𝗲 𝘆𝗼𝘂𝗿 𝗼𝘄𝗻 𝘁𝗶𝗻𝘆 𝗽𝗿𝗼𝗴𝗿𝗮𝗺𝗺𝗶𝗻𝗴 𝘀𝘆𝘀𝘁𝗲𝗺(𝘀)! again. I'll be posting the videos & tasks on YouTube too. In the first lecture, I explain what's a tiny system, why write one and show plenty of demos! 🎞️ Playlist: www.youtube.com/playlist?lis... 👉 More info: d3s.mff.cuni.cz/teaching/npr...
Jonathan Edwards reposted
Next week I’ll be at ACM UIST 2025 in Busan, South Korea, where @maski89.bsky.social will be presenting our work on Spatialstrates. In this project, we address the gap between everyday laptop-based computing and immersive experiences with augmented or virtual reality headsets.
Jonathan Edwards reposted
Jonathan Edwards reposted
I'm at #uist2025 presenting our new work with @jonathoda.bsky.social! 𝗗𝗲𝗻𝗶𝗰𝗲𝗸 is a computational substrate for end-user programming that makes it easy to implement programming experiences like programming by demonstration, collaborative editing and more! tomasp.net/academic/pap...
Jonathan Edwards reposted
12 exciting live-programming projects will be presented at LIVE this year. It's free, online, and coming up soon! Sat 9/27: Videos premiere Sat 10/4: Q & A and discussion over Zoom Details on projects are up already at liveprog.org; more schedule & links coming soon. Hope to see ya there!
Jonathan Edwards reposted
Companion (Workshop) Proceedings for ‹Programming› 2025 are now available! Co-edited with @jonathoda.bsky.social and @tomasp.net. Thanks to the awesome OASIcs publishing team for getting this over the line. drops.dagstuhl.de/entities/vol...
Reminder: LIVE Programming workshop submissions due July 21. liveprog.org
Jonathan Edwards reposted
Is schema change someone else's problem? @jonathoda.bsky.social presenting our paper "Schema Evolution in Interactive Programming Systems" at @programming-conf.bsky.social Check it out: programming-journal.org/2025/9/2/
Jonathan Edwards reposted
Do you want to write your own implementation of Tiny Boxer? Check out my demo from PLISS'25 & follow the step-by-step tutorial here: github.com/tpetricek/ti...
Jonathan Edwards reposted
I found the perfect illustration for the motivation behind our paper on schema change in programming systems - presented by @jonathoda.bsky.social at <Programming> 25 next week: 2025.programming-conference.org/details/prog...
Composition Arcs. Stick that in your transclusions! openusd.org/release/glos...
"The whole concept of side-by-side range transclusions is a solution in search of a problem." gwern.net/xanadu
Jonathan Edwards reposted
Can software express critical reflections on its own nature in the same way post-modern architecture does? I don't have the answers, but I wrote a long text with some early thoughts: tomasp.net/architecture/
Soliciting anonymous constructive feedback: www.admonymous.co/jonathan-edw...
"3 Things Other Languages Should Steal From Unison" @chrispenner.ca chrispenner.ca/posts/things...