tomasp.net - Profile | ThreadSky | a Reddit-style client for Bluesky

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/

submitted 14 hours ago • 0 comments

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 😱?

submitted 19 hours ago • 1 comment

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"!

submitted 3 days ago • 0 comments

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!

submitted 3 days ago • 0 comments

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

submitted 3 days ago • 0 comments

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

submitted 6 days ago • 1 comment

🚧 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!

submitted 6 days ago • 0 comments

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

submitted 7 days ago • 0 comments

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

submitted 9 days ago • 1 comment

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!

submitted 16 days ago • 2 comments

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

submitted 16 days ago • 0 comments

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

submitted 21 days ago • 0 comments

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

submitted 22 days ago • 0 comments

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/

submitted 30 days ago • 5 comments

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)

submitted 37 days ago • 1 comment

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!

submitted 50 days ago • 0 comments

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!

submitted 51 days ago • 0 comments

(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?

submitted 69 days ago • 2 comments

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

submitted 76 days ago • 0 comments

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

submitted 78 days ago • 0 comments

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

submitted 83 days ago • 0 comments

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

submitted 86 days ago • 0 comments

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

submitted 93 days ago • 0 comments

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.

submitted 93 days ago • 1 comment

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

submitted 107 days ago • 0 comments

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

submitted 110 days ago • 1 comment

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

submitted 112 days ago • 1 comment

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/

submitted 113 days ago • 0 comments