Some Silly Z3 Scripts I Wrote
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
Formal verification consultant. Author of 'Practical TLA+'. Writes about software correctness and testing.
https://www.hillelwayne.comAs 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.