iiinova — where your digital self keeps evolving

Jonathan Edwards @jonathoda.bsky.social · 01/05/2026

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

blog.can.ac

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 …

040

Jonathan Edwards @jonathoda.bsky.social · 25/04/2026

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

open.substack.com

The fall of the theorem economy

How AI could destroy mathematics and barely touch it

010

Jonathan Edwards @jonathoda.bsky.social · 23/04/2026

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

arxiv.org

CodeStruct: Code Agents over Structured Action Spaces

020

Reposted by Jonathan Edwards

/etc/motd 🤖 @motd.rusher.com · 17/02/2026

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

0155

Reposted by Jonathan Edwards

Josh Horowitz @joshuahhh.com · 17/02/2026

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

312021

Jonathan Edwards @jonathoda.bsky.social · 17/02/2026

If AI takes over coding do we become methodologists now? github.com/unclebob/emp...

github.com

010

Jonathan Edwards @jonathoda.bsky.social · 16/02/2026

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

2133

Reposted by Jonathan Edwards

‹Programming› Conference @programming-conf.bsky.social · 16/02/2026

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

041

Reposted by Jonathan Edwards

Tomas Petricek @tomasp.net · 12/02/2026

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!

tomasp.net

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

0176

Jonathan Edwards @jonathoda.bsky.social · 07/02/2026

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

131

Jonathan Edwards @jonathoda.bsky.social · 09/01/2026

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

110

Reposted by Jonathan Edwards

Tomas Petricek @tomasp.net · 19/12/2025

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

34814

Jonathan Edwards @jonathoda.bsky.social · 16/12/2025

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

tomasp.net

Exhibition

020

Reposted by Jonathan Edwards

Crista 🔶 @tagide.com · 12/12/2025

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.

121

Jonathan Edwards @jonathoda.bsky.social · 12/12/2025

Time to face the final boss: structure editing 😱

171

Jonathan Edwards @jonathoda.bsky.social · 11/12/2025

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

083

Reposted by Jonathan Edwards

Tomas Petricek @tomasp.net · 09/12/2025

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

88422

Reposted by Jonathan Edwards

Tomas Petricek @tomasp.net · 08/12/2025

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

1417

Reposted by Jonathan Edwards

Matthew Weidner @mweidner.bsky.social · 05/12/2025

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

docs.google.com

DWeb Seminar Talk

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

071

Reposted by Jonathan Edwards

Tomas Petricek @tomasp.net · 07/10/2025

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

youtube.com

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

14918

Reposted by Jonathan Edwards

Clemens Nylandsted Klokmose @clemens.klokmose.net · 26/09/2025

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.

1165

Reposted by Jonathan Edwards

mechadense.bsky.social @mechadense.bsky.social · 30/09/2025

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.

021

Reposted by Jonathan Edwards

Tomas Petricek @tomasp.net · 30/09/2025

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

13017

Jonathan Edwards @jonathoda.bsky.social · 28/09/2025

Dart & Flutter have made enormous progress. Getting to be a viable alternative to Browser Hell.

130

Reposted by Jonathan Edwards

Josh Horowitz @joshuahhh.com · 20/09/2025

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!

03314

Reposted by Jonathan Edwards

Roly Perera @dynamicaspects.org · 17/09/2025

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

drops.dagstuhl.de

Companion Proceedings of the 9th International Conference on the Art, Science, and Engineering of Programming (Programming 2025)

063

Reposted by Jonathan Edwards

Tomas Petricek @tomasp.net · 05/06/2025

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/

0115

Reposted by Jonathan Edwards

Tomas Petricek @tomasp.net · 29/05/2025

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

0178

Reposted by Jonathan Edwards

Tomas Petricek @tomasp.net · 30/05/2025

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

192

Jonathan Edwards @jonathoda.bsky.social · 12/05/2025

Substrates vision statement alarmingdevelopment.org?p=1842

alarmingdevelopment.org

194

Reposted by Jonathan Edwards

Tomas Petricek @tomasp.net · 06/05/2025

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/

63412

Jonathan Edwards @jonathoda.bsky.social · 05/05/2025

Soliciting anonymous constructive feedback: www.admonymous.co/jonathan-edw...

admonymous.co

Admonymous: Anonymous Admonition and Admiration.

001

Jonathan Edwards @jonathoda.bsky.social · 16/04/2025

I just gave my research statement to Claude. It appears to have been extensively trained on Reviewer 2.

0341

Reposted by Jonathan Edwards

odersky.bsky.social @odersky.bsky.social · 24/03/2025

New blog post from Haoyi Li and myself: www.scala-lang.org/blog/2025/03... Looking forward to discuss this on reddit www.reddit.com/r/scala and at the upcoming Scalar conference www.scalar-conf.com.

scala-lang.org

Evolving Scala

03113

Jonathan Edwards @jonathoda.bsky.social · 16/03/2025

An interesting set of PL design choices. Locally mutable tree values. No pointers, just array indices. Emphasis on fluid programming experience. Zest from Jamie Brandon github.com/jamii/zest/b...

github.com

0161