Computer Things

LLMs are bad at vibing specifications

Free Books

New Blog Post: Some Silly Z3 Scripts I Wrote

Stream of Consciousness Driven Development

Proving What's Possible

Logic for Programmers New Release and Next Steps

Refinement without Specification

My Gripes with Prolog

The Liskov Substitution Principle does more than you think

Some Fun Software Facts

One more week to the Logic for Programmers Food Drive

Get Logic for Programmers 50% off & Support Chicago Foodbanks

I'm taking a break

The Phase Change

Three ways formally verified code can go wrong in practice

New Blog Post: " A Very Early History of Algebraic Data Types"

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?

Modal editing is a weird historical contingency we have through sheer happenstance