Computer Things

Many Hard Leetcode Problems are Easy Constraint Problems

The Angels and Demons of Nondeterminism

Logical Duals in Software Engineering

Sapir-Whorf does not apply to Programming Languages

Software books I wish I could read

2000 words about arrays and tables

Programming Language Escape Hatches

Maybe writing speed actually is a bottleneck for programming

Logic for Programmers Turns One

Logical Quantifiers in Software

You can cheat a test suite with a big enough polynomial

Solving LinkedIn Queens with SMT

AI is a gamechanger for TLA+ users

What does "Undecidable" mean, anyway

Finding hard 24 puzzles with planner programming

Modeling Awkward Social Situations with TLA+

Write the most clever code you possibly can

Requirements change until they don't

The Halting Problem is a terrible example of NP-Harder

Solving a "Layton Puzzle" with Prolog

[April Cools] Gaming Games for Non-Gamers

Betteridge's Law of Software Engineering Specialness

Verification-First Development

New Blog Post: "A Perplexing Javascript Parsing Puzzle"

Five Kinds of Nondeterminism

Are Efficiency and Horizontal Scalability at odds?

What hard thing does your tech make easy?

The Juggler's Curse

What are the Rosettas of formal specification?

"Logic for Programmers" Project Update

Formally modeling dreidel, the sequel

Stroustrup's Rule