Advertisement · 728 × 90

Posts by Tomas Petricek

Preview
Cultures of Programming | Cambridge University Press & Assessment

I'm afraid the only "ebook" format aside from the free open access PDF is "Adobe eBook reader" (whatever that is): www.cambridge.org/cz/universit...

(The OA license makes it possible for me to produce ePub or other nicer formats from the source, but I haven't managed to do this yet...)

3 weeks ago 1 0 1 0

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

1 month ago 7 12 1 0

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

1 month ago 0 0 1 0

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

1 month ago 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!

1 month ago 17 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! 💙

1 month ago 2 1 1 0
Video
1 month ago 1 0 0 0
Advertisement
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.)

1 month ago 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...)

1 month ago 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...

1 month ago 26 4 2 0
Video

It has arrived!!!

2 months ago 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!

2 months ago 29 8 2 1

Unicode geek → 〃

2 months ago 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!

2 months ago 8 0 0 0
Post image

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

2 months ago 7 2 0 0

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

2 months ago 6 3 0 0
Advertisement

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!

2 months ago 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 :-)

2 months ago 8 0 1 0

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

2 months ago 1 0 0 0

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

2 months ago 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?

2 months ago 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!

2 months ago 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...

2 months ago 1 0 1 0
Advertisement

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

2 months ago 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...

2 months ago 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..)

2 months ago 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".

2 months ago 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!

2 months ago 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...

2 months ago 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!

2 months ago 6 0 3 0