jonathoda.bsky.social
Jonathan Edwards
@jonathoda.bsky.social
1.1K followers 120 following 53 posts
Dissident computer scientist
Posts Media Videos Starter Packs
jonathoda.bsky.social
Jonathan Edwards @jonathoda.bsky.social · 7d
Submitted. Now what?
2
jonathoda.bsky.social
Jonathan Edwards @jonathoda.bsky.social · 7d
andrewkelley.me/post/open-le... via @stuffwithstuff.com
An Open Letter to Everyone I've Butted Heads With - Andrew Kelley
andrewkelley.me
3
Reposted by Jonathan Edwards
clemens.klokmose.net
Clemens Nylandsted Klokmose @clemens.klokmose.net · 12d
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.
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.
1 5 11
jonathoda.bsky.social
Jonathan Edwards @jonathoda.bsky.social · 8d
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.
2
Reposted by Jonathan Edwards
mechadense.bsky.social
mechadense.bsky.social @mechadense.bsky.social · 8d
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.
jonathoda.bsky.social
Jonathan Edwards @jonathoda.bsky.social · 9d
Subtext Retrospective www.subtext-lang.org/retrospectiv...
Subtext Retrospective
www.subtext-lang.org
1 2
Reposted by Jonathan Edwards
tomasp.net
Tomas Petricek @tomasp.net · 9d
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...
1 15 30
jonathoda.bsky.social
Jonathan Edwards @jonathoda.bsky.social · 9d
Do you use the codegen tools or just rawdog the boilerplate?
1
jonathoda.bsky.social
Jonathan Edwards @jonathoda.bsky.social · 9d
Subtext Retrospective www.subtext-lang.org/retrospectiv...
Subtext Retrospective
www.subtext-lang.org
4 3 10
jonathoda.bsky.social
Jonathan Edwards @jonathoda.bsky.social · 9d
Kudos to @stuffwithstuff.com
jonathoda.bsky.social
Jonathan Edwards @jonathoda.bsky.social · 10d
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
2
jonathoda.bsky.social
Jonathan Edwards @jonathoda.bsky.social · 10d
Dart & Flutter have made enormous progress. Getting to be a viable alternative to Browser Hell.
1 3
Reposted by Jonathan Edwards
joshuahhh.com
Josh Horowitz @joshuahhh.com · 19d
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!
14 33
Reposted by Jonathan Edwards
dynamicaspects.org
Roly Perera @dynamicaspects.org · 21d
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...
Companion Proceedings of the 9th International Conference on the Art, Science, and Engineering of Programming (Programming 2025)
drops.dagstuhl.de
3 7
jonathoda.bsky.social
Jonathan Edwards @jonathoda.bsky.social · Jun 16
Reminder: LIVE Programming workshop submissions due July 21. liveprog.org
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.
liveprog.org
7 9
Reposted by Jonathan Edwards
tomasp.net
Tomas Petricek @tomasp.net · Jun 5
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/
5 11
Reposted by Jonathan Edwards
tomasp.net
Tomas Petricek @tomasp.net · May 29
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...
8 18
Reposted by Jonathan Edwards
tomasp.net
Tomas Petricek @tomasp.net · May 30
I found the perfect illustration for the motivation behind our paper on schema change in programming systems - presented by @jonathoda.bsky.social at 25 next week: 2025.programming-conference.org/details/prog...
1 2 9
jonathoda.bsky.social
Jonathan Edwards @jonathoda.bsky.social · May 13
You call that a stack? I’ve seen bigger stacks in a toaster!
2 6
jonathoda.bsky.social
Jonathan Edwards @jonathoda.bsky.social · May 12
Substrates vision statement
alarmingdevelopment.org?p=1842
alarmingdevelopment.org
1 4 9
jonathoda.bsky.social
Jonathan Edwards @jonathoda.bsky.social · May 10
Composition Arcs. Stick that in your transclusions!
openusd.org/release/glos...
USD Terms and Concepts — Universal Scene Description 25.05 documentation
openusd.org
4
jonathoda.bsky.social
Jonathan Edwards @jonathoda.bsky.social · May 8
"The whole concept of side-by-side range transclusions is a solution in search of a problem." gwern.net/xanadu
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 ...
gwern.net
1 8
Reposted by Jonathan Edwards
tomasp.net
Tomas Petricek @tomasp.net · May 6
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/
5 10 29
jonathoda.bsky.social
Jonathan Edwards @jonathoda.bsky.social · May 5
Soliciting anonymous constructive feedback: www.admonymous.co/jonathan-edw...
Admonymous: Anonymous Admonition and Admiration.
www.admonymous.co
1 1
jonathoda.bsky.social
Jonathan Edwards @jonathoda.bsky.social · Apr 29
"3 Things Other Languages Should Steal From Unison" @chrispenner.ca chrispenner.ca/posts/things...
3 things other languages should steal from Unison
Some things other languages should steal from Unison
chrispenner.ca
12
jonathoda.bsky.social
Jonathan Edwards @jonathoda.bsky.social · Apr 16
I just gave my research statement to Claude. It appears to have been extensively trained on Reviewer 2.
1 34