Jonathan Edwards
@jonathoda.bsky.social
Dissident computer scientist
Reposted by Jonathan Edwards
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...
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...
www.youtube.com
October 7, 2025 at 9:18 PM
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...
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?
October 1, 2025 at 5:30 PM
Submitted. Now what?
Reposted by Jonathan Edwards
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.
September 26, 2025 at 3:46 PM
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.
Reposted by Jonathan Edwards
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 programming language exploration journey in pursuit of escaping the current local maxima we've found ourselves fallen into. Yes-code, but pleasant please.
Subtext Retrospective www.subtext-lang.org/retrospectiv...
Subtext Retrospective
www.subtext-lang.org
September 30, 2025 at 2:13 PM
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 programming language exploration journey in pursuit of escaping the current local maxima we've found ourselves fallen into. Yes-code, but pleasant please.
Reposted by Jonathan Edwards
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...
𝗗𝗲𝗻𝗶𝗰𝗲𝗸 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...
September 30, 2025 at 6:13 AM
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...
𝗗𝗲𝗻𝗶𝗰𝗲𝗸 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...
Subtext Retrospective www.subtext-lang.org/retrospectiv...
Subtext Retrospective
www.subtext-lang.org
September 29, 2025 at 7:39 PM
Subtext Retrospective www.subtext-lang.org/retrospectiv...
Dart & Flutter have made enormous progress. Getting to be a viable alternative to Browser Hell.
September 28, 2025 at 5:13 PM
Dart & Flutter have made enormous progress. Getting to be a viable alternative to Browser Hell.
Reposted by Jonathan Edwards
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!
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!
September 20, 2025 at 12:33 AM
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!
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!
Reposted by Jonathan Edwards
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/entities/vol...
Companion Proceedings of the 9th International Conference on the Art, Science, and Engineering of Programming (Programming 2025)
drops.dagstuhl.de
September 17, 2025 at 2:55 PM
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/entities/vol...
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
June 16, 2025 at 1:44 PM
Reminder: LIVE Programming workshop submissions due July 21. liveprog.org
Reposted by Jonathan Edwards
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/
@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/
June 5, 2025 at 12:17 PM
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/
@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/
Reposted by Jonathan Edwards
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...
Check out my demo from PLISS'25 & follow the step-by-step tutorial here: github.com/tpetricek/ti...
May 29, 2025 at 9:24 AM
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...
Check out my demo from PLISS'25 & follow the step-by-step tutorial here: github.com/tpetricek/ti...
Reposted by Jonathan Edwards
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...
May 30, 2025 at 9:05 AM
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...
Substrates vision statement
alarmingdevelopment.org?p=1842
alarmingdevelopment.org?p=1842
alarmingdevelopment.org
May 12, 2025 at 3:48 PM
Substrates vision statement
alarmingdevelopment.org?p=1842
alarmingdevelopment.org?p=1842
Composition Arcs. Stick that in your transclusions!
openusd.org/release/glos...
openusd.org/release/glos...
USD Terms and Concepts — Universal Scene Description 25.05 documentation
openusd.org
May 10, 2025 at 5:03 PM
Composition Arcs. Stick that in your transclusions!
openusd.org/release/glos...
openusd.org/release/glos...
"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
May 8, 2025 at 2:25 PM
"The whole concept of side-by-side range transclusions is a solution in search of a problem." gwern.net/xanadu
Reposted by Jonathan Edwards
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/
I don't have the answers, but I wrote a long text with some early thoughts: tomasp.net/architecture/
May 6, 2025 at 1:24 PM
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/
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...
Admonymous: Anonymous Admonition and Admiration.
www.admonymous.co
May 5, 2025 at 5:25 PM
Soliciting anonymous constructive feedback: www.admonymous.co/jonathan-edw...
"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
April 29, 2025 at 2:58 PM
"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.
April 16, 2025 at 1:44 AM
I just gave my research statement to Claude. It appears to have been extensively trained on Reviewer 2.
Reposted by Jonathan Edwards
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.
Looking forward to discuss this on reddit www.reddit.com/r/scala and at the upcoming Scalar conference www.scalar-conf.com.
Evolving Scala
www.scala-lang.org
March 24, 2025 at 3:18 PM
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.
Looking forward to discuss this on reddit www.reddit.com/r/scala and at the upcoming Scalar conference www.scalar-conf.com.
Pattern Languages of Programs, People & Practices
plopcon.org/plop2025/
plopcon.org/plop2025/
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.
plopcon.org
March 24, 2025 at 6:53 PM
Pattern Languages of Programs, People & Practices
plopcon.org/plop2025/
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...
github.com
March 16, 2025 at 7:18 PM
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...
The LIVE Programming Workshop will be held online this year. So no excuses - submit by 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
March 11, 2025 at 12:50 PM