Well, this is awkward ... BunnyCDN's storage API has invented a custom HTTP verb. I'm not kidding. You have to send them a 'DESCRIBE' request to figure out if a particular path is a file or a folder. It's a file if you get a JSON response It could be a folder if you get a 404, which you can […]

I’m still sick and somewhat close to reimplement make in JavaScript. I guess I should take my temperature.

Today, I'm sick, and – unrelatedely – I'm expecting a paper notification. Bad combination: I can't use work to get my mind off of anxiously waiting for the reviews.

TIL "svelte" is actually an English word

Slowly making progress towards moving off my website from Netlify/AWS to BunnyCDN. I had already started hosting videos (i.e. talk recordings) on Bunny, now I also put slides on there. Now I'll wait for 1–2 months to see how it plays out, then start moving the rest.

old and busted: sending a text message new hotness: sending €0.01 on PayPal with a message in the reference text

It's only Bauxite if it comes from Les Baux-de-Provence. Otherwise it's just a sparkling aluminium-containing rock.

There's still some manual work involved here, since Pandoc does not understand $$ in listings. But you can just feed the $$ part into Pandoc again and replace the result in HTML

Here's a more complex example. First picture: original (PDF) Second picture: MathML

Turns out, yes it's possible to embed MathML into <code>. First paragraph is Unicode, second paragraph is MathML. I think I'm gonna go with the second one, unless it's just a simple Greek character.