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

I Improved 15 LLMs at Coding in One Afternoon. Only the Harness Changed.

Cross-posted from X / @_can1357 In fact only the edit tool changed. That’s it. ¶ 0x0: The Wrong Question The conversation right now is almost entirely …

blog.can.ac

“They will see further than anyone before, standing on the shoulders of giant machines” open.substack.com/pub/davidbes...

The fall of the theorem economy

How AI could destroy mathematics and barely touch it

open.substack.com

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

“Everything is vague to a degree you do not realize till you have tried to make it precise.” #BertrandRussell

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

What is the future of end-user programming research? AI can vibe disposable no-stakes code, but can it build long-lived multi-user software managing valuable state, without technical supervision? I disbelieve plain English can serve as a spec without full AGI. Many betting on that

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

Talking with @marianoguerra.org

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!

Cultures of Programming - A Companion Exhibition to the Book

How interactions and disagreements between the different cultures of programming shaped programming concepts and methodologies that programmers use today, including programming languages, types and ob...

tomasp.net

It seems the entire current tech stack will be the x86 (awful but who cares) for the post-human layer of programming.

The LIVE Programming Workshop will be held online Oct 17. Submissions due July 21. liveprog.org

Workshop on Live Programming (LIVE)

The 12th Workshop on Live Programming (LIVE 2026) will take place online. LIVE invites submissions of ideas for improving the immediacy, usability, and learnability of programming.

liveprog.org

Bring Your Own Substrate to Substrates-26. Submission deadline Feb 20. 2026.programming-conference.org/home/substra...

AI coding agents still need humans in the loop, so the bottleneck will still be human intelligence.

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

Cultures of Programming Exhibition tomasp.net/cultures/exh...

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

Formulaic papers and mechanistic reviews have been ruining research for a long time. I'm glad AI is giving it the final blow, so we can, again, focus on we're good at: debating whether something is important or not.

Time to face the final boss: structure editing 😱

New paper with @tomasp.net. Baseline: Operation-Based Evolution and Versioning of Data alarmingdevelopment.org?p=1886

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

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

The missing semantic in Dataflow languages: Dataflow Templating. Clone subgraphs as an analogue to function calling. observablehq.com/@tomlarkwort...

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

DWeb Seminar Talk

Why is Collaborative Data Hard? (Is it?) Matthew Weidner DWeb Seminar 2025 Internet Archive, SF

docs.google.com

Software Substrates Workshop. Submission deadline Feb 20 2026.programming-conference.org/home/substra...

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

Write your own tiny programming system(s)! - YouTube

The goal of this course is to teach how fundamental programming language techniques, algorithms and systems work by writing their miniature versions. The cou...

youtube.com

Submitted. Now what?

andrewkelley.me/post/open-le... via @stuffwithstuff.com

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.

Subtext ~> Baseline Jonathan Edwards programming language exploration journey in pursuit of escaping the current local maxima we've found ourselves fallen into. Yes-code, but pleasant please.

Jonathan Edwards@jonathoda.bsky.social · 10mo ago

Subtext Retrospective www.subtext-lang.org/retrospectiv...