Logic for Programmers extra credits (opens in new tab)

So I said there wasn’t a proper newsletter this week, since I’m in Budapest prepping for a conference. But I still got a thing for y’all. There’s a lot of interesting topics I wanted to cover for Logic for Programmers, but the book is dense enough as it is and many of these were too tangential or technical to fit in well. So I’ve been writing some supplements and uploading them How we compute the number of orderings of multiple concurrent processesHow first-order logic can quantify over “a se...