One more week to the Logic for Programmers Food Drive
Also: COBOL is a bad language
Get Logic for Programmers 50% off & Support Chicago Foodbanks
From now until the end of the month, you can get Logic for Programmers at half price with the coupon feedchicago. All royalties from that coupon will go to...
I'm taking a break
Computer Things will return in January!
Modal editing is a weird historical contingency we have through sheer happenstance
If vi didn't exist, it would not have been invented.
The Phase Change
Three ways formally verified code can go wrong in practice
"Correct" doesn't mean "correct" when correctly using "correct"
New Blog Post: " A Very Early History of Algebraic Data Types"
Last week I said that this week's newsletter would be a brief history of algebraic data types. I was wrong. That history is now a 3500 word blog post....
Many Hard Leetcode Problems are Easy Constraint Problems
Use the right tool for the job.
The Angels and Demons of Nondeterminism
Do we care about the best case or the worst case?
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.