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.
Pinned
Tomas Petricek
@tomasp.net
· Dec 19
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
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
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.)
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.)
Conference programme
2nd conference on Undone Science in Computer Science
www.undonecs.org
February 10, 2026 at 11:06 AM
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.)
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.)
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...
I still think this is the best way of doing composable data visualizations. See the paper: www.cambridge.org/core/journal...
February 9, 2026 at 12:28 PM
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...
I still think this is the best way of doing composable data visualizations. See the paper: www.cambridge.org/core/journal...
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!
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!
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 ...
tomasp.net
February 2, 2026 at 11:35 PM
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!
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!
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!
January 27, 2026 at 11:38 PM
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!
January 25, 2026 at 8:05 PM
Reposted by Tomas Petricek
If you're thinking of applying to PLISS, you've got three days left! pliss.org/2026/registr...
January 22, 2026 at 2:59 PM
If you're thinking of applying to PLISS, you've got three days left! pliss.org/2026/registr...
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 :-)
I got my first book on programming languages from there and used to wonder in basically every weekend to see what's new :-)
January 19, 2026 at 9:26 PM
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 :-)
I got my first book on programming languages from there and used to wonder in basically every weekend to see what's new :-)
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?
Greasemonkey script to the rescue... but why?
January 16, 2026 at 12:16 AM
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?
Greasemonkey script to the rescue... but why?
@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!
January 14, 2026 at 3:25 PM
@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!
Looking forward to coming to this amazing conference exploring the gaps in computer science research!
We are pleased to announce for Undone Computer Science 2026:
∙ Payal Arora (Utrecht University and FemLab) and Tomas Petricek (Charles University, Prague) as keynote speakers
∙ 27 contributed talks selected by the PC.
Find out the titles & contributing authors here: www.undonecs.org/2026/program...
∙ Payal Arora (Utrecht University and FemLab) and Tomas Petricek (Charles University, Prague) as keynote speakers
∙ 27 contributed talks selected by the PC.
Find out the titles & contributing authors here: www.undonecs.org/2026/program...
Conference programme
2nd conference on Undone Science in Computer Science
www.undonecs.org
January 13, 2026 at 10:35 AM
Looking forward to coming to this amazing conference exploring the gaps in computer science research!
Reposted by Tomas Petricek
.@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...
If you know someone, or are interested, please reach out!
A few details here: jobs.royalholloway.ac.uk/Vacancy.aspx...
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...
jobs.royalholloway.ac.uk
January 12, 2026 at 11:58 AM
.@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...
If you know someone, or are interested, please reach out!
A few details here: jobs.royalholloway.ac.uk/Vacancy.aspx...
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!
January 9, 2026 at 3:39 PM
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!
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
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
December 19, 2025 at 10:18 AM
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
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
I have a bunch of very old #fsharp code running as Suave-based AppServices on Azure (net40, I know, I know).
I've used up my free Azure credits, so this needs some kind of upgrade or migration.
What's the least-work and most future-proof way to migrate this and host it at a reasonable cost?
I've used up my free Azure credits, so this needs some kind of upgrade or migration.
What's the least-work and most future-proof way to migrate this and host it at a reasonable cost?
December 15, 2025 at 11:34 PM
I have a bunch of very old #fsharp code running as Suave-based AppServices on Azure (net40, I know, I know).
I've used up my free Azure credits, so this needs some kind of upgrade or migration.
What's the least-work and most future-proof way to migrate this and host it at a reasonable cost?
I've used up my free Azure credits, so this needs some kind of upgrade or migration.
What's the least-work and most future-proof way to migrate this and host it at a reasonable cost?
What defines a correct program? What education makes a good programmer? The answer depends on what culture of programming you subscribe to!
This has been a long time in the making, but my open access book on the history of programming is available for pre-order!
www.cambridge.org/core/books/c...
This has been a long time in the making, but my open access book on the history of programming is available for pre-order!
www.cambridge.org/core/books/c...
December 9, 2025 at 9:52 AM
What defines a correct program? What education makes a good programmer? The answer depends on what culture of programming you subscribe to!
This has been a long time in the making, but my open access book on the history of programming is available for pre-order!
www.cambridge.org/core/books/c...
This has been a long time in the making, but my open access book on the history of programming is available for pre-order!
www.cambridge.org/core/books/c...
In the last part of my tiny systems course, we get to implement a tiny version of the world's most widely used programming language!
TinyExcel: www.youtube.com/watch?v=ghRA...
TinyExcel: www.youtube.com/watch?v=ghRA...
December 8, 2025 at 10:16 PM
In the last part of my tiny systems course, we get to implement a tiny version of the world's most widely used programming language!
TinyExcel: www.youtube.com/watch?v=ghRA...
TinyExcel: www.youtube.com/watch?v=ghRA...
Next in my tiny systems course - write your own TinySelf!
Learn about the genuinely elegant prototype-based object-oriented inspiration for JavaScript where everything is an object.
www.youtube.com/watch?v=7Pre...
Learn about the genuinely elegant prototype-based object-oriented inspiration for JavaScript where everything is an object.
www.youtube.com/watch?v=7Pre...
December 2, 2025 at 10:39 PM
Next in my tiny systems course - write your own TinySelf!
Learn about the genuinely elegant prototype-based object-oriented inspiration for JavaScript where everything is an object.
www.youtube.com/watch?v=7Pre...
Learn about the genuinely elegant prototype-based object-oriented inspiration for JavaScript where everything is an object.
www.youtube.com/watch?v=7Pre...
𝐎𝐧 𝐭𝐡𝐞 𝐋𝐢𝐦𝐢𝐭𝐬 𝐨𝐟 𝐌𝐚𝐤𝐢𝐧𝐠 𝐏𝐫𝐨𝐠𝐫𝐚𝐦𝐦𝐢𝐧𝐠 𝐄𝐚𝐬𝐲
New paper with Joel Jakubovic
We wrote this for my PhD supervisor Alan Mycroft's festschrift, where you can get away with having some fun when writing!
With the hope it will be insightful and fun to read too :-) tomasp.net/academic/pap...
New paper with Joel Jakubovic
We wrote this for my PhD supervisor Alan Mycroft's festschrift, where you can get away with having some fun when writing!
With the hope it will be insightful and fun to read too :-) tomasp.net/academic/pap...
December 2, 2025 at 1:02 AM
𝐎𝐧 𝐭𝐡𝐞 𝐋𝐢𝐦𝐢𝐭𝐬 𝐨𝐟 𝐌𝐚𝐤𝐢𝐧𝐠 𝐏𝐫𝐨𝐠𝐫𝐚𝐦𝐦𝐢𝐧𝐠 𝐄𝐚𝐬𝐲
New paper with Joel Jakubovic
We wrote this for my PhD supervisor Alan Mycroft's festschrift, where you can get away with having some fun when writing!
With the hope it will be insightful and fun to read too :-) tomasp.net/academic/pap...
New paper with Joel Jakubovic
We wrote this for my PhD supervisor Alan Mycroft's festschrift, where you can get away with having some fun when writing!
With the hope it will be insightful and fun to read too :-) tomasp.net/academic/pap...
Another meeting of our Programming Languages and Systems group at @mff.unikarlova.cuni.cz - with more interactive theorem proving 🤨
Natty can check proofs in natural English language!
Natty can check proofs in natural English language!
November 24, 2025 at 10:21 AM
Another meeting of our Programming Languages and Systems group at @mff.unikarlova.cuni.cz - with more interactive theorem proving 🤨
Natty can check proofs in natural English language!
Natty can check proofs in natural English language!
It turns out that debugging a system where everything is an object without some kind of object browser is impossible.
So.... the TinySelf lab of my tiny programming systems course will have a truly innovative UI component :-)
So.... the TinySelf lab of my tiny programming systems course will have a truly innovative UI component :-)
November 23, 2025 at 2:28 AM
It turns out that debugging a system where everything is an object without some kind of object browser is impossible.
So.... the TinySelf lab of my tiny programming systems course will have a truly innovative UI component :-)
So.... the TinySelf lab of my tiny programming systems course will have a truly innovative UI component :-)
The next lab from my tiny systems course is up.
Learn how to write your own small implementation of the logic programming language Prolog in #fsharp!
www.youtube.com/watch?v=KC7A...
Learn how to write your own small implementation of the logic programming language Prolog in #fsharp!
www.youtube.com/watch?v=KC7A...
November 17, 2025 at 9:11 PM
The next lab from my tiny systems course is up.
Learn how to write your own small implementation of the logic programming language Prolog in #fsharp!
www.youtube.com/watch?v=KC7A...
Learn how to write your own small implementation of the logic programming language Prolog in #fsharp!
www.youtube.com/watch?v=KC7A...
F# 10 makes it possible to use let! .. and! to await two tasks in parallel. This brings back some memories!
November 14, 2025 at 12:13 AM
F# 10 makes it possible to use let! .. and! to await two tasks in parallel. This brings back some memories!
What if we think about proof assistants/dependently typed languages as interactive programming systems? Discussion today @mff.unikarlova.cuni.cz
(And yes, our building has fairly thick walls :-))
(And yes, our building has fairly thick walls :-))
November 10, 2025 at 10:27 AM
What if we think about proof assistants/dependently typed languages as interactive programming systems? Discussion today @mff.unikarlova.cuni.cz
(And yes, our building has fairly thick walls :-))
(And yes, our building has fairly thick walls :-))
Booked my train tickets for a trip to a PhD defense in Aarhus!
Maybe it's not faster than flying, but I get to go from a train station 10 minutes walk from where I live.
🚂👍
Maybe it's not faster than flying, but I get to go from a train station 10 minutes walk from where I live.
🚂👍
November 7, 2025 at 12:16 AM
Booked my train tickets for a trip to a PhD defense in Aarhus!
Maybe it's not faster than flying, but I get to go from a train station 10 minutes walk from where I live.
🚂👍
Maybe it's not faster than flying, but I get to go from a train station 10 minutes walk from where I live.
🚂👍