Logical Duals in Software Engineering
More techniques from the math mines
Sapir-Whorf does not apply to Programming Languages
Linguistics is about human languages, not programming ones
Software books I wish I could read
If you write them I'll buy them!
2000 words about arrays and tables
THEY'RE JUST FUNCTIONS
Programming Language Escape Hatches
A Necessary Evil
Maybe writing speed actually is a bottleneck for programming
An off the cuff ramble
Logic for Programmers Turns One
History, updates, metrics, and next steps.
Logical Quantifiers in Software
You can cheat a test suite with a big enough polynomial
TDD Gone Wrong (Gone Z3xual)
Solving LinkedIn Queens with SMT
For sure easier than solving it in SAT!
AI is a gamechanger for TLA+ users
There has never been a better time to learn formal specification.
What does "Undecidable" mean, anyway
An explainer for people who don't know computer science and are mildly curious
Finding hard 24 puzzles with planner programming
(1+5)^5/324 = 24
Modeling Awkward Social Situations with TLA+
Walkward!
Write the most clever code you possibly can
Clever code is a bad idea 95% of the time, this is the other 5%
Requirements change until they don't
Requirements, phase changes, and formal methods.
The Halting Problem is a terrible example of NP-Harder
It's a justifiable copout, but it's still a copout.
Solving a "Layton Puzzle" with Prolog
I have a lot in the works for the this month's Logic for Programmers release. Among other things, I'm completely rewriting the chapter on Logic Programming...
![[April Cools] Gaming Games for Non-Gamers](https://www.aprilcools.club/aprilcoolsclub.png)
[April Cools] Gaming Games for Non-Gamers
My April Cools is out! Gaming Games for Non-Gamers is a 3,000 word essay on video games worth playing if you've never enjoyed a video game before. Patreon...
Betteridge's Law of Software Engineering Specialness
The answer to "is software engineering special" is usually "no".