Tomas Petricek

“Undone Computer Science Conference on undone science in computer science 23-25 March 2025 — Luxembourg” White text set on a background picture: a photograph entitled “Dusk in Luxembourg Grund” by Tristan Schmurr, CC BY 2.0

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

Hello, good to see you here! All is well - we are back in Prague now - but like @dzoukr.cz we are leaving for vacation next week....! I see you got some recommendations already. If you're looking for beer with the best view, I'd add: maps.app.goo.gl/igaARewEHqxJ...

Donatio Universitatis Carolinæ Chair

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

C̶h̶u̶c̶k̶ ̶N̶o̶r̶r̶i̶s̶ LLM can unwrap value from a monad (but it's so pointless nobody can figure out how).

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

YouTube video by Progres 2 - Topic Planeta Hieronyma Bosche II

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.

I was only half-joking :-).

Organize Unlambda Days :-)

A conference for people who once talked about FP all the time, but do other interesting things today.

I'll come!

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

A photo of Prague with dark sky in the background and gardens in the front with a label <Programming> 2025, Thank you for attending the conference!

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/

An interesting summary of envisioned use cases and things that people actually ended up doing:

On implementing languages based on their spec.

How it started: "Extending Python is easy if you know some C."

How it's going:

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

‹Programming› 2025 The International Conference on the Art, Science, and Engineering of Programming—or ‹Programming› for short— focuses on programming topics including the experience of programming. ‹Programming› seeks ...

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!

Photo of a river in Prague, Czechia

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

Sorry for the tech difficulties. We'll switch it over during the break. We'll still have a recording of the first talk though.

Well it's a castle, mostly from the 16th century. The first schema change was probably adding a toilet! That aged better than the connectors.

www.ceub.it/la-storia/?l...

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

Public Transport: Restrictions during the Conferencet - ‹Programming› 2025 The International Conference on the Art, Science, and Engineering of Programming—or ‹Programming› for short— focuses on programming topics including the experience of programming. ‹Programming› seeks ...

🚧 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 don't think so, but I'll definitely post the pretty self-guided tutorial code and slides here.

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

If you think of big corporations as autonomous entities with their own agency, then I guess this would be alignment failure?

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!