Tomas Petricek's Avatar

Tomas Petricek

@tomasp.net

Assistant prof at @mff.unikarlova.cuni.cz. Interested in new ways of thinking about programming and history & philosophy of computing. Previously at University of Kent and @cst.cam.ac.uk.

684
Followers
147
Following
153
Posts
28.10.2024
Joined
Posts Following

Latest posts by Tomas Petricek @tomasp.net

I’m looking for participants for a paid user study on a prototype system for tabular programming (programming with tables / data frames).
2 hours • $50 Visa prepaid card
Hoping to finish sessions by March 13.
Details + sign up in 🧵
Reposts appreciated! 🙏

27.02.2026 19:16 👍 7 🔁 12 💬 1 📌 0

Říkají tam taky tlačítka pro zmáčknutí nadšené "Wait!!" jako u jižních sousedů?

27.02.2026 10:30 👍 0 🔁 0 💬 1 📌 0

Good, thank you! Nice to see you here. Hope you're well too!

12.02.2026 21:25 👍 1 🔁 0 💬 0 📌 0
Preview
Cultures of Programming - A Companion Exhibition to the Book How interactions and disagreements between the different cultures of programming shaped programming concepts and methodologies that programmers use today, including programming languages, types and ob...

We created an exhibition to go along with my 𝐂𝐮𝐥𝐭𝐮𝐫𝐞𝐬 𝐨𝐟 𝐏𝐫𝐨𝐠𝐫𝐚𝐦𝐦𝐢𝐧𝐠 book! tomasp.net/cultures/exh...

It tells the story of how programming concepts methodologies emerge amidst clashes and collaborations between cultures.

🖼If you want to display this at your university or conference, let me know!

12.02.2026 13:26 👍 16 🔁 6 💬 0 📌 0
Post image

👩‍💻 Dnes slavíme Mezinárodní den žen a dívek ve vědě. Na Matfyzu potkáváme každý den inspirativní vědkyně a studentky, které posouvají hranice technologií. 🚀

Děkujeme všem našim kolegyním a studentkám za jejich práci, preciznost a nadšení. Jste inspirací pro budoucí generace informatiček! 💙

11.02.2026 21:23 👍 2 🔁 1 💬 1 📌 0
Video thumbnail
12.02.2026 00:32 👍 1 🔁 0 💬 0 📌 0
Preview
Conference programme 2nd conference on Undone Science in Computer Science

The @undonecs.org programme has 27 (!!) talks asking some of the most fundamental questions about computer science.

The early registration deadline is February 16th, so sign up soon: www.undonecs.org/2026/program...

(Also, it costs between 10x and ∞x less than your regular ACM CS conference.)

10.02.2026 11:06 👍 3 🔁 0 💬 0 📌 0

...and I was pleasantly surprised that Claude managed to update the project from outdated Fable+WebPack to reasonably up-to-date Fable+Vite setup.

(Requiring just one small #fsharp tweak and one strange manual edit to the packaging process...)

09.02.2026 12:36 👍 3 🔁 0 💬 0 📌 0
Post image

After some *checks notes* umm.. 6 years, I released a new version of my composable data visualization library, adding support for images! compostjs.github.io/compost/demo...

I still think this is the best way of doing composable data visualizations. See the paper: www.cambridge.org/core/journal...

09.02.2026 12:28 👍 26 🔁 4 💬 2 📌 0
Video thumbnail

It has arrived!!!

05.02.2026 13:43 👍 16 🔁 1 💬 0 📌 0
Preview
Cultures of Programming - The Development of Programming Concepts and Methodologies What defines a correct program? What education makes a good programmer? The answers to these questions depend on whether programs are seen as mathematical entities, engineered socio-technical systems ...

A new web page for my book! tomasp.net/cultures/

It has all the links you may need to get the open access PDF, buy a hardcopy or an ebook as well as some older talks & slides.

If you run a podcast, conference or a user group, I'm always hapy to join & talk about something from the book!

02.02.2026 23:35 👍 29 🔁 8 💬 2 📌 1

Unicode geek → 〃

29.01.2026 12:00 👍 0 🔁 0 💬 0 📌 0
Post image

I've now reached a stage in my career where I have to carefuly manage my time - and so I create a list of todo items to work on at the start of each month to keep myself organized!

27.01.2026 23:38 👍 8 🔁 0 💬 0 📌 0
Post image

arxiv.org/pdf/2601.14846 cc @dorchard.bsky.social

25.01.2026 20:05 👍 7 🔁 2 💬 0 📌 0

If you're thinking of applying to PLISS, you've got three days left! pliss.org/2026/registr...

22.01.2026 14:59 👍 6 🔁 3 💬 0 📌 0

Yeah... even with an open-access PDF, (as a book lover) I would be happy if the book was cheaper, but... academic publishing.

I think the deal is that if enough people buy the hradcopy, Cambridge will produce a cheaper paperback.

So either wait & hope or invest for the greater good!

20.01.2026 00:10 👍 0 🔁 0 💬 0 📌 0

My book in the newly published books bookshelf in the Cambridge University Bookshop!

I got my first book on programming languages from there and used to wonder in basically every weekend to see what's new :-)

19.01.2026 21:26 👍 8 🔁 0 💬 1 📌 0

Err, I mean, was! I'm glad the last copy got into good hands.

19.01.2026 21:24 👍 1 🔁 0 💬 0 📌 0

Aww, thank you so much for the pictures. It really is right there in the newly published books bookshelf... 🤩!

19.01.2026 21:22 👍 0 🔁 0 💬 1 📌 0
Post image Post image

Can someone explain to me, why the "Basic" version of the ACM DL only gives me a link to a crappy "eReader" but the pro version includes link to the PDF? Did they build "eReader" just to frustrate users?

Greasemonkey script to the rescue... but why?

16.01.2026 00:16 👍 6 🔁 1 💬 2 📌 0
Post image

@adamgryu.bsky.social We loved playing A Short Hike over the holiday break... and this was the result 😀 Thank you for creating a beautiful game!

14.01.2026 15:25 👍 7 🔁 0 💬 1 📌 0

Wait, wasn't this a conscious design choice for the computer lab? I thought the architects planned for the building to be heated by all the desktop computers.. and got surprised when everyone started working on laptops instead...

14.01.2026 13:54 👍 1 🔁 0 💬 1 📌 0

Looking forward to coming to this amazing conference exploring the gaps in computer science research!

13.01.2026 10:35 👍 13 🔁 4 💬 1 📌 0
Job Opportunity at Royal Holloway University of London: Postdoctoral Research Associate Full-Time, Fixed-Term until 30 November 2028Applications are invited for the post of Post Doctoral Research Associate (PDRA) in the Department of Computer Science at Royal Holloway.This is a three-year full-time position funded by the EPSRC project...

.@julien-lange.bsky.social and I are looking for a PostDoc to work on our EPSRC Project "INDIMO: Invariant Discovery and Monitoring for Message-Passing Programs".

If you know someone, or are interested, please reach out!

A few details here: jobs.royalholloway.ac.uk/Vacancy.aspx...

12.01.2026 11:58 👍 2 🔁 4 💬 0 📌 0

That sounds like a very interesting (and difficult!) debate - I'd be very curious to hear about the different views (I guess a more mathematical vs. a more engineering view is a basic issue all CS programs face..)

11.01.2026 01:11 👍 0 🔁 0 💬 0 📌 0

(You correctly say "addition" and I do not disagree that these can be useful tools. That said...)

I wouldn't call the process of getting students to get a good score on a final test "education".

10.01.2026 02:24 👍 2 🔁 0 💬 0 📌 0

The bookshop is a special place! I got a copy of Concepts in Programming Languages there while visiting during my undergraduate studies, which got me interested in languages...

It's so nice to be on the other side of the shelf, so to say!

09.01.2026 21:06 👍 2 🔁 0 💬 0 📌 0
Preview
Cultures of Programming Cambridge Core - Philosophy of Science - Cultures of Programming

It's on history of programming!

I'm all for organizing a signing (and/or a talk!) when I manage to come back to Cambridge (which definitely needs to happen soon).

www.cambridge.org/core/books/c...

09.01.2026 21:00 👍 2 🔁 0 💬 2 📌 0

Do I know anyone in Cambridge who could stop by at the University Press Bookshop at the Market Square to take a picture of the newly published books? cc @dorchard.bsky.social @dynamicaspects.org @anil.recoil.org I've seen a physical copy of my book in the wild, so I'd love a picture from the source!

09.01.2026 15:39 👍 6 🔁 0 💬 3 📌 0
Post image

The open access version of Cultures of Programming is now available online. Just in time for the holiday break!

Read it here: www.cambridge.org/core/books/c...

If you prefer a real book, use PETRICK26 for a 20% discount (valid until January 31) at: www.cambridge.org/9781009492348

19.12.2025 10:18 👍 42 🔁 13 💬 2 📌 1