New Blog Post: Some Silly Z3 Scripts I Wrote
Now that I'm not spending all my time on Logic for Programmers, I have time to update my website again! So here's the first blog post in five months: Some...
Stream of Consciousness Driven Development
Better pairing through touch typing
Proving What's Possible
When "what CAN happen" is as important as "what SHOULD happen"
Logic for Programmers New Release and Next Steps
Logic for Programmers v0.13, now with 20% more content!
Refinement without Specification
Refinement with SQL
My Gripes with Prolog
It's not my favorite language
The Liskov Substitution Principle does more than you think
It's more than just the L in SOLID!
Some Fun Software Facts
Last newsletter of the year! First some news on Logic for Programmers. Thanks to everyone who donated to the feedchicago charity drive! In total we raised...
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!