So I stated there wasn’t a correct e-newsletter this week, since I’m in Budapest prepping for a convention. However I nonetheless received a factor for y’all.
There’s a whole lot of attention-grabbing subjects I wished to cowl for Logic for Programmers, however the guide is dense sufficient as it’s and lots of of those have been too tangential or technical to slot in effectively. So I’ve been writing some dietary supplements and importing them right here. I’ve received 4 to this point:
How we compute the variety of orderings of a number of concurrent processes
How first-order logic can quantify over “a set of features”, what a “set of features” appears to be like like, and the way features may be outlined by way of units (plus a bit on currying and sort concept)
Barbara Liskov’s “historical past rule” in subtyping
Whole and partial orders on units.
Now I’m going to caveat that these have been written off the cuff and haven’t gone via the obsessive enhancing of the guide itself, so they might be tough and there is perhaps errors in them. Nonetheless, it’s like 2-3000 phrases of math content material, so hopefully covers not having a correct e-newsletter this time. Seeya subsequent week!
If you happen to’re studying this on the net, you’ll be able to subscribe right here. Updates are as soon as every week. My most important web site is right here.
My new guide, Logic for Programmers, is now in early entry! Get it right here.
