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

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

Slides from my talk "Critical Architecture/Software Theory" at PPIG 2025 in Belgrade: tpetricek.github.io/Talks/2025/c... The talk has been a great excuse to organize some more ideas, on top of my earlier article on the topic: tomasp.net/architecture/

Announcing Undone CS 2026: 2nd conference on Undone science in Computer science A conference in computer science to pause and reflect on the epistemological and ethical dimensions of the field, through the concept of undone science Full call for presentations at www.undonecs.org/2026/cfp.html

In case someone liked Prague during @programming-conf.bsky.social so much they wanted to come for longer... 📢 Charles University has a funding scheme for established researchers - to join us for (initially) 6 months to 2 years. More info: cuni.cz/UKEN-2238.html

Anybody remembers Microsoft script encoder? A true gem from the MSDN archives of August 1999: web.archive.org/web/20021214... (The thing was clearly not very sophisticated: web.archive.org/web/20070103...)

For software to be malleable, we need ways of building and modifying programs that are accessible to many more people. Are you working on new interfaces for programming? Share your progress at the LIVE workshop! Submissions are due July 21st. liveprog.org (Happy to chat if you have questions!)

I suspect some people worried about politics might enjoy this song: www.youtube.com/watch?v=_9VW... The communist totalitarian regime in power at the time banned all the consonants from the song.

The Choose-Your-Own-Adventure Calculus is a small formalism that captures an interaction pattern where you repeatedly choose from the available options. Examples include type providers, structure editors, theorem provers & more! Draft paper based on my earlier blog post: tomasp.net/academic/dra...

One last picture from @programming-conf.bsky.social! A photo from the Friday afternoon visit to the Prague castle gardens, some time after we miraculously avoided the rain by hiding in a pub and talking about programming some more...

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/

Fun fact from Thomas Würthinger's @programming-conf.bsky.social keynote. The most notable paper on GraalVM was published in Onward! Maybe conference ranking is broken 😱?

It also didn't have a conditional jump and you instead had to overwrite the target of an unconditional jump in memory to do this. That's the "stored -program capabilities"!

I'll be talking about my "Tiny programming systems" course & research at the #MoreVMs workshop in about 10 minutes. Join the @programming-conf.bsky.social live stream at: 2025.programming-conference.org ...and stay tuned for many great talks on Wednesday and Thursday!

Only a few hours left until #prog25! 📽 Reminder that if you can't join us in Prague, you can watch the ‹Programming› stream for free. Today's streamed event is the #MoreVMs #workshop Official Twitch Account: www.twitch.tv/programmingc...

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

🚧 Due to construction, there are some changes to tram routes near the conference venue in Prague. Please look here for more information: 2025.programming-conference.org/attending/pu... See you all in Prague or on stream for #prog25 next week!

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

Cannot make it to Prague for @programming-conf.bsky.social? 🎬 We will be streaming the keynotes, regular talks and MoreVMs workshop talks online! 👉 Keep an eye on: 2025.programming-conference.org

I'm speaking at Programming Language Implementation Summer School (PLISS) next week. Let's see if I can get the attendees to implement a tiny version of Boxer: dl.acm.org/doi/pdf/10.1... It is a fun example of how interactive programming *systems* can do more than *languages*!

Coming to @programming-conf.bsky.social? Submit a Lightning Talk proposal to share & discuss what you are currently working on! 2025.programming-conference.org/track/progra...

The registration for @programming-conf.bsky.social is still open. Just sayin'...

Last minute arrangements for @programming-conf.bsky.social - visiting the Old Town Hall where the Welcome reception on Monday will be!

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 am hiring a 2-year postdoc (either at Research Associate or Senior Research Associate level) to work on static analysis tools, particular with application to Fortran, at @cst.cam.ac.uk @iccscambridge.bsky.social. Details: www.jobs.cam.ac.uk/job/51153/ (closing date 25th May)

Don't miss the early registration deadline. Check out the technical papers, awesome keynotes and MoreVMs workshop talks & keynotes to see what you'd be missing!

And it's time to announce the invite talks, too. .NET Internals by Karel Zikmund And a talk on optimizing JIT compilation for the cloud world by Björn Franke. 2025.programming-conference.org/home/MoreVMs... And not to forget, early registration deadline is this Friday!

(Please re-skeet for visibility) Did you use HyperCard back in the day? What was your experience with it? What did you make? How did it change the way you think about yourself?

Looking forward to the ‹Programming› 2025 keynotes! Keeping with the tradition, we're bringing together thought-provoking ideas from architecture with in-depth technical content. Join us 2-6 June 2025 in Prague & follow @programming-conf.bsky.social Registration: 2025.programming-conference.org

The #prog25 #StudentVolunteer (SV) program was just published! 📣 Apply until April 8., 2025 Being a #SV is a chance for students to participate in the conference whilst assisting us in preparing and running the events. For information, see 2025.programming-conference.org/track/progra...

Are the experiments not quite working out, or the results strange? Is the work not quite ready for the upcoming OOPSLA deadline? We know the feeling! Though, discussing early results or non-results can help figuring it out. Submit a talk to MoreVMs: 2025.programming-conference.org/home/MoreVMs...

The LIVE Programming Workshop will be held online this year. So no excuses - submit by July 21. liveprog.org

Last chance to submit to the #SRC of #prog25! The deadline to submit abstracts for the Student Research Competition has been extended to March 10th, 2025 2025.programming-conference.org/track/progra...

A free idea for philosophy of technology PhD topic: Does the term hand-crafted (beer, furniture, etc.) tell us anything about what technologies become invisible extensions of human body? Presumably, using a rolling pin to produce a hand-crafted pastry is fine, but an automated factory is not.

Registration for #prog25 is now online: 2025.programming-conference.org/attending/re... Reminder that we still have open deadlines: Submit your work to the Student Research Competition 🏆 until March 3rd 2025 (AoE) Submit to our workshops 📝 whose deadlines are in March and April

I would very much appreciate if people didn't use these words in interesting posts about programming systems... (It's not that I do not care about what's going on out there. But I want to read things using pull-based and not push-based model.)

The @programming-conf.bsky.social registration is now live! Early registration deadline is April 18th, but we very much appreciate earlier registrations :-). Use the handy overview table below to plan your trip! 2025.programming-conference.org/attending/re...

When updating my tomasp.net web, I realised that I have been doing this 👇 more or less regularly for 20 years now. Uh oh. These days, I generally upload a few photos in advance: tomasp.net/calendar/2025/

I never quite managed to post links to papers I've been involved in last year. Finally managed to upload those two to tomasp.net 👇

They are for getting your ideas published, right?

"If you encounter a pattern three times, refactor it into a reusable abstraction" they say. So, here is my attempt to capture a user interaction pattern that came up in data exploration, data wrangling & interactive theorem proving! Is it interesting enough for a paper? tomasp.net/blog/2025/ad...

Something I miss about HTML framesets is that sidebars were often resizable. Now that everyone rolls there own sidebar they're often fixed width and I'm resizing the whole browser to try to switch to a reactive flow that hides it.

The ECOOP has "Brave New Ideas" paper category look fun - is this an ECOOP version of Onward! at SPLASH? It has been there for a couple of years - are there any past Brave New Ideas papers? (It does not seem marked in the program, if there are...) cc @jonathanaldrich.bsky.social

We want to organize a walking tour of Prague on Friday, at the end of @programming-conf.bsky.social What would be the best time for this? Morning (in case people leave in the afternoon) or afternoon (after the Effekt language tutorial)?

Interested in PL and located in Prague? We created a network about PL in Prague with @tomasp.net and colleagues: courses at FIT and at Matfyz, an amazing reading group and much more!

What do this Eisenman house and #Haskell program have in common? ✅Based on formal structures (solids and voids vs. IO monad) ✅Sort of works if flipped upside down (red staircase, comonads) ✅Stuff gets in your way (column blocking the table, all the do notation) eisenmanarchitects.com/House-VI-1975

Please Welcome @programming-conf.bsky.social We now also have a full list of papers to be presented in the main conference track. Join us on 2.-6. June in Prague!

These kinds of things happen in our programming systems group :-) programmingmadecomplicated.wordpress.com/2025/01/21/t... (And we have open positions for PhD students and post-docs, if you want to be a part of it: d3s.mff.cuni.cz/plas)

TIL - The architectural style of all the nondescript new London construction is apparently called "New London Vernacular": en.wikipedia.org/wiki/New_Lon... Seeing the label made me realise something I have been unconsciously aware of - and it also explains why Cambridge station area feels so weird.

I'll be there, sharing my thoughts on the methodology we need for research on innovative programming systems of the future! How can we come up with new programming experiences? Or learn from ingenious systems of the past? Come and find out!