Jonathan Edwards

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

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

Submitted. Now what?

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

A split-screen figure shows a cross-reality collaborative space in Spatialstrates. The left side presents a first-person augmented reality (AR) view in a physical room, where a user interacts with floating 3D molecular structures, sticky notes, and analytics panels. A blue cursor line on a red sticky note represents a remote collaborator's position in 2D. The right side displays the same space in a 2D desktop interface, where 3D objects are flattened into a 2D layout: sticky notes and the analytics elements are having a very similar appearance compared to in 3D. The molecules have a different representation, displaying a table of atoms in the molecule instead. Black avatar icons indicate the projected position of the AR user's headset and controllers. The mouse cursor rests on the red sticky note.

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.

The operations are the edits. Operational Differencing generalizes on Operational Transformation, so there is a second-order semantics of how operations operate on operations. There may be a useful analogy with Calculus (of continuous functions) but I've been avoiding it as it sounds pretentious.

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.

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

Do you use the codegen tools or just rawdog the boilerplate?

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

Kudos to @stuffwithstuff.com

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

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

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!

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

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

Reminder: LIVE Programming workshop submissions due July 21. liveprog.org

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/

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

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

You call that a stack? I’ve seen bigger stacks in a toaster!

Substrates vision statement
alarmingdevelopment.org?p=1842

Composition Arcs. Stick that in your transclusions!
openusd.org/release/glos...

Project Xanadu: Even More Hindsight Retrospective on Project Xanadu’s success and failure: a lack of design iteration, meaningful use-cases, or practicality stopped a valuable vision from maturing into something useful. (And contrasted ...

"The whole concept of side-by-side range transclusions is a solution in search of a problem." gwern.net/xanadu

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 Some things other languages should steal from Unison

"3 Things Other Languages Should Steal From Unison" @chrispenner.ca chrispenner.ca/posts/things...

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

Evolving Scala

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.

Home - PLoP 2025 - 32nd Conference on Pattern Languages of Programs, People, and Practices Learn more about the conference on Pattern Languages of Programs, People, & Practices and the history and mission of PLoP.

Pattern Languages of Programs, People & Practices
plopcon.org/plop2025/

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

@joshuahhh.com @mwh.nz