@samcarter yes, that would certainly work as well, but I'd assume that with caching the docker image could clock in faster on average (but hard to predict, also depends on other runner-jobs on the used server etc. -- maybe the basic scheme route turns out to be better and easier to predict).
@yo' we have a very funny expression here when someone closes the car door too hard: "don't you have a fridge at home?" In the past, the doors of the fridges we had here had to be slammed pretty hard to close! (@PhelypeOleinik @AlanMunn)
> Allegedly, NBA 2K24 has a mammoth install size, even larger than the galaxy-spanning Starfield. According to a report from Insider Gaming, NBA 2K24 has an install size of 161GB on Xbox Series X|S at launch.
@UlrikeFischer Nothing, as far as I know. It was not a criticism against the package, I was more amused about people still going that route, given that tikz/metapost and similar tools exist and are popular (in particular tikz).
(In other news, I just got a new binary that cut the compilation time on the 300 pages math book from about 9s about a month ago to 8.2s.)
@mickep the eps are often created with external tools, e.g. in chemistry they have special applications to build molecules etc, and redoing such graphics with tikz or metapost or similar would be lots of work.
@DavidCarlisle In the early days of the Usenet, which you and I were witness to, there was the yearly flood of clueless people that happened every autumn. For some reason Penn State was one of the main sources of this cluelessness. I'm having such distinct feelings of déja vu right now... :)
@JosephWright -- Sometime in the last century, I had the opportunity to visit the production office of Chem Abstracts, to see how they put their journal together. (This was at the time that AMS was undertaking computerization of Math Reviews.) The thing that impressed me most was the way they handled the two radically different components. I don't remember how they handled text, except that it was relatively primitive, But the software for diagrams was phenomenal! What's most important, after all.
@JosephWright -- No, I'm sure it was earlier, because MR first was prepared using the STI system, before TeX was known, much less existed. So, interesting indeed!
@cfr sorry I'm a bit distracted at present maybe @UlrikeFischer or @JosephWright might comment on tex.stackexchange.com/q/693995/1090 before I get back to it...(if we ask nicely:-)