Hillel Wayne

I started writing Logic for Programmers because there weren’t any good resources on logic for, uh, programmers.

I am delighted to announce that my book, Logic for Programmers, is now available!

It’s April Cools!

As part of writing Logic for Programmers I produced a lot of “chaff”, code samples and sections I wrote up and then threw away.

Been quiet around here!

It’s April Cools!

What does this print?

The other day a mechanical engineer introduced me to the Hierarchy of Controls (HoC), an important concept in workplace safety. 1 (source) To protect people from hazards, system designers should seek to use the most effective controls available.

All of my budgeted blogwriting time is going to Logic for Programmers.

A toolbox language is a programming language that’s good at solving problems without requiring third party packages.

Last year a client asked me to solve a problem: they wanted to be able to compose two large TLA+ specs as part of a larger system.

This version of the talk was given at DDD Europe, 2024.

These are some of the responses to Software Friction.

In his book On War, Clausewitz defines friction as the difference between military theory and reality: Thus, then, in strategy everything is very simple, but not on that account very easy.

I’ve recently done a lot of work in Alloy and it’s got me thinking about a common specification pitfall.

It’s April Cools!

I got a lot of responses to The Hunt For the Missing Data Type.