The ‹Programming› 2025 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/regi…

We are very happy to host "Effekt: Lexical Effect Handlers in Action" and are looking forward to welcoming many of you there!

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 & ‹Programming› 2025 Registration: 2025.programming-conference.org

Don't miss the early registration deadline for ‹Programming› 2025. Check out the technical papers, awesome keynotes and MoreVMs workshop talks & keynotes to see what you'd be missing! 2025.programming-conference.org

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/

Last minute arrangements for ‹Programming› 2025 - visiting the Old Town Hall where the Welcome reception on Monday will be!

Coming to ‹Programming› 2025? Submit a Lightning Talk proposal to share & discuss what you are currently working on! 2025.programming-conference.org/track/programm…

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.114… It is a fun example of how interactive programming *systems* can do more than *languages*!

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

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/tiny…

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

Workshop proceedings for ‹Programming› 2025 are now available: drops.dagstuhl.de/entities/volum… Thanks to Roly and the amazing team at OASIcs for putting everything together and getting it published!

I'm at #uist2025 presenting our new work with Jonathan Edwards! 𝗗𝗲𝗻𝗶𝗰𝗲𝗸 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/paper…

In the second lab of my Tiny Systems course, we write a small interactive BASIC interpreter, inspired by Commodore 64 (Dijkstra does not approve...) 🎞️Watch the videos on YouTube: youtube.com/watch?v=jR0m-7… ⌨️Get the source code here: github.com/tpetricek/tiny…