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.
I'm currently trying to convert a :latex: paper into HTML. And in particularly in PL papers, there's this thorny problem of mentioning metavariables inside code. For example, I want to write: A statement `return $\overline{e}$` evaluates one or more expressions ... (where \overline […]
Fresh on Springer Link (open access): Extending Isabelle/HOL’s Code Generator with Support for the Go Programming Language by @stuebinm and me https://link.springer.com/chapter/10.1007/978-3-031-71177-0_1
@team Seit einer Weile funktioniert IMAP via ngcobaltXX.manitu.net nicht mehr, ist das Absicht?