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

blog.can.acI 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 …

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

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

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!

tomasp.netCultures of Programming - A Companion Exhibition to the BookHow interactions and disagreements between the different cultures of programming shaped programming concepts and methodologies that programmers use today, including programming languages, types and ob...

Jonathan Edwards reposted

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.

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

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.comWrite your own tiny programming system(s)! - YouTubeThe goal of this course is to teach how fundamental programming language techniques, algorithms and systems work by writing their miniature versions. The cou...

Dart feels old-fashioned now. The last and best OO language. They've managed to cram pattern matching and algebraic datatypes (messily) into it. Needs codegen in places. But I've swallowed worse to work with JS. Flutter is beautiful and well designed. I HATE HTML/CSS/React. Never-ending struggle

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!