Tomas Petricek @tomasp.net · 5hAlso, 8:30 is not morning. Anyway, I'll be there too & looking forward to the Hazel Lab talk and catching up! 100
Tomas Petricek @tomasp.net · 24/09/2026(An older practice when people explicitly wanted to include both genders was "student/ka" but this implies just two options, whereas using * reads more inclusive - think regex :-)) 010
Tomas Petricek @tomasp.net · 24/09/2026In Czech, the best practice is to use * for the same purpose, e.g., student*ka where "student" is a masculine noun and "studentka" is a feminine noun. I suppose this is similar. 120
Tomas Petricek @tomasp.net · 24/09/2026Un énorme merci à Julien for presenting the Cultures of Programming book at @lambdanantes.bsky.social! 042
Reposted by Tomas PetricekSam Aaron @samaaron.bsky.social · 24/09/2026Sonic Pi now runs in the web! sonic-pi.netsonic-pi.netSonic PiSonic Pi is a new kind of code-based instrument for a new generation of musicians. Use the same code for both composition and performance. Sonic Pi is free and open source software. 02213
Tomas Petricek @tomasp.net · 24/09/2026And yes, I'm fully aware that this looks very much like Entropy from @dtemkin.bsky.social's 44 esolangs... esolangs.org/wiki/Entropyesolangs.orgEntropy - Esolang 130
Tomas Petricek @tomasp.net · 24/09/2026Claude has discovered a previously unknown programming language construct. We don’t yet understand what this construct does, but only a handful of known constructs share its features 270
Reposted by Tomas Petricek‹Programming› Conference @programming-conf.bsky.social · 22/09/2026In 2027, the International Conference on the Art, Science, and Engineering of Programming (‹Programming› 2027) will be held from 15 to 19 March in Kyoto, Japan. We are looking for workshops and similar events. More info, deadlines, and submissions: 2027.programmingconference.org/track/progra...2027.programmingconference.org‹Programming› 2027 - Workshops - ‹Programming› 2027To build a community and to foster an environment where participants can exchange ideas and experiences related to practical software development, <Programming> will host a number of workshops and sim... 0116
Tomas Petricek @tomasp.net · 21/09/2026Charles University has a new funding scheme! If you are international researcher who wants to join us in Prague (3-12 years after your PhD), consider applying: cuni.cz/UKEN-2541.html The deadline (9 Nov) is tight, but it's a new thing. Happy to help anyone with interests overlapping with mine!cuni.czAbout the programme 040
Tomas Petricek @tomasp.net · 21/09/2026I haven't done more than what's in the post - but you could e.g. see if probabilities go down overall when you get into an incorrect branch 000
Tomas Petricek @tomasp.net · 21/09/2026See the paper for more things you can do with models like Jev: tomasp.net/academic/pap...tomasp.netThe Choose-Your-Own-Adventure CalculusIn many programming systems, the user can interactively construct a program by repeatedly triggering some kind of completion mechanism and choosing one of the offered options. In this paper, we formal... 030
Tomas Petricek @tomasp.net · 21/09/2026Not something I was expecting! An AI startup has secretly been building a model for controlling programming systems based on my choose-your-adventure calculus formalism, to be presented at Onward! 2026 Here are some quick experimenters using TypeSafe AI's Jev: tomasp.net/blog/2026/co...tomasp.netCompleting Programming Adventures with JevWas the System One model Jev built to work with my choose-your-own-adventure calculus model of programming systems? The fit is perfect! In this post, I run a couple of experiments to evaluate accurac... 380
Tomas Petricek @tomasp.net · 18/09/2026It implements an idea that @jonathoda.bsky.social has been thinking about for years: www.subtext-lang.org/PAINT22.pdfsubtext-lang.org 020
Tomas Petricek @tomasp.net · 18/09/2026One more Denicek demo! We use managed copy & paste to copy a formula with a bug. We can go back in history before the copying, fix the formula & merge the edit. This fixes the copied formula too. Check it out: tomasp.net/denicek/#cha... 120
Tomas Petricek @tomasp.net · 17/09/2026How to build a TODO list app in Denicek? See it for yourself here: tomasp.net/denicek/ You can use programming-by-demonstration to record steps copying new item to a list. A neat trick is that, when you add "completed" checkboxes, replaying the "Add" action adds them too! (By merging edits...) 020
Tomas Petricek @tomasp.net · 15/09/2026We presented Denicek at UIST 2025. Now you can play with the demos interactively! Write a counter and TODO list app, organise a conference with co-organisers, clean data in an interactive notebook... Essay backed by the real implementation: tomasp.net/denicek/ (with @jonathoda.bsky.social)tomasp.netDenicek: Computational substrate for document-oriented end-user programmingProgramming by demonstration, collaborative editing, incremental recomputation and handling of schema change can make programming easier, but how can we support all of them in a single system? Denicek... 0112
Tomas Petricek @tomasp.net · 09/09/2026Thanks, but it is an obscure blog post! Oh, and it was probably written before DOIs were invented, so Conference Publishing wouldn't let you do that. 140
Tomas Petricek @tomasp.net · 09/09/2026Back when there were only two languages to compare (and "aspx" was a common file extension!), I wrote this: tomasp.net/blog/csharp-... Looking forward to the talk at #oopsla and comparing notes :-)tomasp.netAsync in C# and F#: Asynchronous gotchas in C#This article is inspired by an MVP summit talk about common pitfalls in the C# asynchronous programming model. I look at a number of easy to make mistakes when writing asynchronous code in C# and demo... 170
Tomas Petricek @tomasp.net · 01/09/2026Another long-neglected part has been the gallery of photos from my various travels. I finally added pictures for most of 2026 if you are looking for an easier read :-) tomasp.net/calendar/ 000
Tomas Petricek @tomasp.net · 01/09/2026I have been neglecting my website... But at least, I managed to upload all the papers, done recently with amazing students and collaborators! Including three papers to be presented at SPLASH in Oakland. Get them all from: tomasp.net 1102
Tomas Petricek @tomasp.net · 30/08/2026Peter Eisenman's House X vibes! eisenmanarchitects.com/House-X-1975 120
Tomas Petricek @tomasp.net · 29/08/2026Thanks for linking this! Some of it has evolved into a more recent paper: tomasp.net/academic/pap...tomasp.netOn the Limits of Making Programming EasyHow can we make programming easier? Programming is a tangle of conceptual models, languages, user interfaces and more and we cannot advance all of these at the same time. This makes it difficult to ta... 040
Tomas Petricek @tomasp.net · 27/08/2026The only course I attended during my PhD in computer science at Cambridge was on Mercury (the chemical element) and it was great! 020
Tomas Petricek @tomasp.net · 08/07/2026I suspect this is a form of technical debt. Of course we know that documenting such processes properly would be beneficial in the long term, but where to find time to do this... The incentives for dealing with this kind of technical debt are even worse in academia than in the software world...? 110
Tomas Petricek @tomasp.net · 01/07/2026Getting ready for my #ecoop academy tutorial on programming systems! 070
Tomas Petricek @tomasp.net · 29/06/2026My scenic tour around the Austro-Hungarian empire is going (mostly) according to the plan so far... 040
Tomas Petricek @tomasp.net · 29/06/2026On my way to #ecoop! (*) Don't miss Kristýna's talk about our work on formalising Vega on Tue (2026.ecoop.org/home/FTfJP-2...) and my Academy talk on programming systems on Wed (2026.ecoop.org/track/ecoop-...). (*) The first three connections are not Deutsche Bahn, so I'm optimistic :-) 2112
Tomas Petricek @tomasp.net · 01/06/2026Someone made a good strategic choice of not inviting any British or Eastern European reviewers here! 100
Tomas Petricek @tomasp.net · 14/05/2026My university has a fund for post-docs coming from abroad! If you are interested in working with me & our group on something related to programming systems and languages, from PL, HCI or historical & philosophical perspectives, get in touch (ideally in a few days...) See: cuni.cz/UKEN-178.htmlcuni.czJunior Fund 0108
Reposted by Tomas PetricekフラジークHLADÍK・ラジムRadim @hlageek.bsky.social · 06/05/2026📣What's new? The Novelty and Inequalities in Science symposium will be held in Prague (Oct. 8–9, 2026)! Please consider proposing an abstract on the topics of recognizing and rewarding novelty in science. More details: stss.flu.cas.cz/novelty2026 #scienceofscience #metascience #sociologyofscience 🧪stss.flu.cas.czNovelty and Inequalities in Science 075
Tomas Petricek @tomasp.net · 22/04/2026Až budete na návštěvě zpět, budete muset přijít na domácí slivovicový brambory! 100
Reposted by Tomas PetricekInformatika na Matfyzu @informatfyz.cuni.cz · 15/04/2026Programování není jen kód, je to kultura! 💻📜 Rektor UK Jiří Zima udělil prestižní Cenu Bedřicha Hrozného za tvůrčí počin a my máme obrovskou radost, že ji získal docent Tomáš Petříček z naší @mff.unikarlova.cuni.cz! 🏆 183
Tomas Petricek @tomasp.net · 13/04/2026Figured it out. I'll keep ": " but drop one "the". Making it look like it's written by an Eastern European is fine :-). 0100
Tomas Petricek @tomasp.net · 13/04/2026Do I replace: "massive blind spot: it focuses on" with "massive blind spot—it focuses on" and make my grant application look AI generated (*) but save the one character that I need to save? ____ (*) Regardless of whether it actually is or is not. That's a separate question! 130
Tomas Petricek @tomasp.net · 16/03/2026I'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...)cambridge.orgCultures of Programming | Cambridge University Press & Assessment 110
Reposted by Tomas PetricekAlexander Bandukwala @bandukwala.me · 27/02/2026I’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! 🙏 1712
Tomas Petricek @tomasp.net · 27/02/2026Říkají tam taky tlačítka pro zmáčknutí nadšené "Wait!!" jako u jižních sousedů? 100
Tomas Petricek @tomasp.net · 12/02/2026Good, thank you! Nice to see you here. Hope you're well too! 010
Tomas Petricek @tomasp.net · 12/02/2026We 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!tomasp.netCultures of Programming - A Companion Exhibition to the BookHow interactions and disagreements between the different cultures of programming shaped programming concepts and methodologies that programmers use today, including programming languages, types and ob... 0176
Reposted by Tomas PetricekInformatika na Matfyzu @informatfyz.cuni.cz · 11/02/2026👩💻 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! 💙 121
Tomas Petricek @tomasp.net · 10/02/2026The @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.)undonecs.orgConference programme2nd conference on Undone Science in Computer Science 030
Tomas Petricek @tomasp.net · 09/02/2026...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...) 030
Tomas Petricek @tomasp.net · 09/02/2026After 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... 2264
Tomas Petricek @tomasp.net · 02/02/2026A 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!tomasp.netCultures of Programming - The Development of Programming Concepts and MethodologiesWhat 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 ... 1318
Tomas Petricek @tomasp.net · 27/01/2026I'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! 080