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.
Come to the train station 5 minutes earlier so that you can get a coffee before boarding :-).
But getting the train tickets should be much easier than it is. Which operator you book with determines where you can get a seat reservation in a funny way...
But getting the train tickets should be much easier than it is. Which operator you book with determines where you can get a seat reservation in a funny way...
November 7, 2025 at 10:09 AM
Come to the train station 5 minutes earlier so that you can get a coffee before boarding :-).
But getting the train tickets should be much easier than it is. Which operator you book with determines where you can get a seat reservation in a funny way...
But getting the train tickets should be much easier than it is. Which operator you book with determines where you can get a seat reservation in a funny way...
Phlogiston scientists might be offended by this!
There's a curious debate in the history of science about whether abandoning phlogiston was rational and if retaining it would help scientists discover free electrons earlier.
See e.g. www.sciencedirect.com/science/arti...
There's a curious debate in the history of science about whether abandoning phlogiston was rational and if retaining it would help scientists discover free electrons earlier.
See e.g. www.sciencedirect.com/science/arti...
Scientific Rationality: Phlogiston as a Case Study
I argue that it was rational for chemists to eliminate phlogiston, but that it also would have been rational for them to retain it. I do so on the gro…
www.sciencedirect.com
October 24, 2025 at 7:17 PM
Phlogiston scientists might be offended by this!
There's a curious debate in the history of science about whether abandoning phlogiston was rational and if retaining it would help scientists discover free electrons earlier.
See e.g. www.sciencedirect.com/science/arti...
There's a curious debate in the history of science about whether abandoning phlogiston was rational and if retaining it would help scientists discover free electrons earlier.
See e.g. www.sciencedirect.com/science/arti...
To elaborate, I think @charlesuni.cuni.cz has many hard to quantify qualities that would put it above many of the other universities it is compared against.
But also, there are many objective metrics where we should be doing much better. Being the best in a tiny country is not a good excuse.
But also, there are many objective metrics where we should be doing much better. Being the best in a tiny country is not a good excuse.
October 11, 2025 at 3:35 PM
To elaborate, I think @charlesuni.cuni.cz has many hard to quantify qualities that would put it above many of the other universities it is compared against.
But also, there are many objective metrics where we should be doing much better. Being the best in a tiny country is not a good excuse.
But also, there are many objective metrics where we should be doing much better. Being the best in a tiny country is not a good excuse.
TinyML 2.3 - Interpreter and step-by-step guide
www.youtube.com/watch?v=ZZbL...
www.youtube.com/watch?v=ZZbL...
TinyML 2.3 - Interpreter and step-by-step guide
YouTube video by Tomas Petricek
www.youtube.com
October 10, 2025 at 10:37 AM
TinyML 2.3 - Interpreter and step-by-step guide
www.youtube.com/watch?v=ZZbL...
www.youtube.com/watch?v=ZZbL...
TinyML 2.2 - Language features and theory
www.youtube.com/watch?v=eyVY...
www.youtube.com/watch?v=eyVY...
TinyML 2.2 - Language features and theory
YouTube video by Tomas Petricek
www.youtube.com
October 10, 2025 at 10:37 AM
TinyML 2.2 - Language features and theory
www.youtube.com/watch?v=eyVY...
www.youtube.com/watch?v=eyVY...
TinyML 2.1 - What you need to know about F#:
www.youtube.com/watch?v=wb1y...
www.youtube.com/watch?v=wb1y...
TinyML 2.1 - What you need to know about F#
YouTube video by Tomas Petricek
www.youtube.com
October 10, 2025 at 10:37 AM
TinyML 2.1 - What you need to know about F#:
www.youtube.com/watch?v=wb1y...
www.youtube.com/watch?v=wb1y...
You can read the paper online in ACM DL: dl.acm.org/doi/10.1145/...
Or get the old-fashioned PDF from: tomasp.net/academic/pap...
Or get the old-fashioned PDF from: tomasp.net/academic/pap...
September 30, 2025 at 6:15 AM
You can read the paper online in ACM DL: dl.acm.org/doi/10.1145/...
Or get the old-fashioned PDF from: tomasp.net/academic/pap...
Or get the old-fashioned PDF from: tomasp.net/academic/pap...
Check out the 5 minute video about Denicek! www.youtube.com/watch?v=xNl7...
Denicek: Computational Substrate for Document-Oriented End-User Programming (Video Preview)
YouTube video by Tomas Petricek
www.youtube.com
September 30, 2025 at 6:14 AM
Check out the 5 minute video about Denicek! www.youtube.com/watch?v=xNl7...
(Because @programming-conf.bsky.social workshops tend to have an occasional non-academic author & authors from countries not on the list etc. and we couldn't guarantee that we'd be able to cover APC fees for authors from the conference budget.)
September 12, 2025 at 8:59 PM
(Because @programming-conf.bsky.social workshops tend to have an occasional non-academic author & authors from countries not on the list etc. and we couldn't guarantee that we'd be able to cover APC fees for authors from the conference budget.)
With this number of large partners, wouldn't it make sense (financially and politically) for ACM to just waive APC fees for everyone or reduce it to some minimal fee?
The change in policy was a reason why we moved workshop proceedings for @programming-conf.bsky.social from ACM DL to OASIcs...
The change in policy was a reason why we moved workshop proceedings for @programming-conf.bsky.social from ACM DL to OASIcs...
September 12, 2025 at 8:57 PM
With this number of large partners, wouldn't it make sense (financially and politically) for ACM to just waive APC fees for everyone or reduce it to some minimal fee?
The change in policy was a reason why we moved workshop proceedings for @programming-conf.bsky.social from ACM DL to OASIcs...
The change in policy was a reason why we moved workshop proceedings for @programming-conf.bsky.social from ACM DL to OASIcs...
One small example from the talk was thinking about how to rethink the "product listing" pattern. This needs to be done properly, but - what if the listing was more like a second hand bookshop where you can get lost and discover unexpected things?
tpetricek.github.io/Talks/2025/c...
tpetricek.github.io/Talks/2025/c...
my books
tpetricek.github.io
September 9, 2025 at 2:04 PM
One small example from the talk was thinking about how to rethink the "product listing" pattern. This needs to be done properly, but - what if the listing was more like a second hand bookshop where you can get lost and discover unexpected things?
tpetricek.github.io/Talks/2025/c...
tpetricek.github.io/Talks/2025/c...
The talk has been recorded and I'll certainly share a link here once it's available!
The article is a bit older, the talk has old and some new ideas. And is a bit more condensed than the very long text...
The article is a bit older, the talk has old and some new ideas. And is a bit more condensed than the very long text...
September 9, 2025 at 1:30 PM
The talk has been recorded and I'll certainly share a link here once it's available!
The article is a bit older, the talk has old and some new ideas. And is a bit more condensed than the very long text...
The article is a bit older, the talk has old and some new ideas. And is a bit more condensed than the very long text...