Creează un cont pentru a te abona la acest blog și a-i urmări articolele pe pagina Lectură.
-
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.