It’s April Cools! It’s like April Fools, except instead of cringe comedy you make genuine content that’s different from what you usually do. For example, last year I talked about The best introductory

These are some of the responses to Some Silly Z3 Scripts I wrote. Blogs on a similar topic Emails and Comments TODO

As part of writing Logic for Programmers I produced a lot of “chaff”, code samples and sections I wrote up and then threw away. Sometimes I found a better example for the same topic, sometimes I threw

Algebraic data types consist of product types (structs with multiple fields) and sum types (tagged unions representing choices between options).

Video games are the world's largest entertainment industry but remain inaccessible to non-gamers due to assumed gaming knowledge.

JavaScript treats `-->` at line start as a comment due to a legacy hack for hiding scripts from old browsers that didn't support the `<script>` tag.

The Hierarchy of Controls from workplace safety can be applied to software engineering to prevent outages, prioritizing elimination of risks over lesser protections.

Taking a break from blogging to focus on writing "Logic for Programmers." Returning early 2025, but newsletter continues.