Linguistics is about human languages, not programming ones| buttondown.com
History, updates, metrics, and next steps.| buttondown.com
TDD Gone Wrong (Gone Z3xual)| buttondown.com
For sure easier than solving it in SAT!| buttondown.com
There has never been a better time to learn formal specification.| buttondown.com
An explainer for people who don't know computer science and are mildly curious| buttondown.com
Clever code is a bad idea 95% of the time, this is the other 5%| buttondown.com
Requirements, phase changes, and formal methods.| buttondown.com
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...| buttondown.com
Or: why test-first development is not the same as test-driven development| buttondown.com
Or four kinds, or six kinds, I'm not picky about how you count them| buttondown.com
Building an intuition for the mathematics behind the "TLA" in "TLA+"| buttondown.com
Just an unordered collections of thoughts on this. In programming languages, nondeterminism tends to come from randomness, concurrency, or external forces...| buttondown.com
Why are scalable systems locally-inefficent, and locally-efficient systems unscalable? Plus, new book release!| buttondown.com
"Stronger" tests are better for determining correctness, while "weaker" tests are useful for localizing errors.| buttondown.com
It's too cold to go outside, so let's talk juggling.| buttondown.com
All languages have numbers, booleans, strings, and lists. What else is out there?| buttondown.com
A toolbox language is a programming language that’s good at solving problems without requiring third party packages. My default toolbox languages are Python and shell scripts, which you probably already know about. Here are some of my more obscure ones. AutoHotKey Had to show up! Autohotkey is basically “shell scripting for GUIs”. Just a fantastic tool to smooth over using unprogrammable applications. It’s Windows-only but similar things exist for Mac and Linux.| Hillel Wayne
