TLA from first principles
Building an intuition for the mathematics behind the "TLA" in "TLA+"
Be Suspicious of Success
Successful software is buggy software.
How to convince engineers that formal methods is cool
Based on my experiences convincing people it's cool
Refactoring Invariants
Porting a formal methods idea to everyday coding
Goodhart's Law in Software Engineering
It's not just about your boss.
Why Not Comments
Why not "why not" comments? Not why "not comments"
Thoughts on "The Future of TLA+"
What could be added to TLA+ without compromising Lamport's vision?
State and time are the same thing
State is time, time is state.
An idea for teaching formal methods better
Teaching with pseudospecs
Texttools dot py
A small script I find really useful, and you might too!
Why I prefer rST to markdown
I will never stop dying on this hill
My patented Miracle Tonic would have prevented the CrowdStrike meltdown
𝄞 Try Hilleli's 𝅘𝅥𝅮 Miracle Elixir 𝅘𝅥
Keep perfecting your config
Make your tools work better for you.
Logic for Programmers now in early access!
I am delighted to announce that Logic for Programmers is now available for purchase! While still in early access, it's almost 20,000 words, has 30 exercises,...
Solving a math problem with planner programming
More opportunities to mess with exotic technology
A brief introduction to interval arithmetic
Why x^2 isn't always x*x.
Logic for Programmers Update
I spent the early week recovering and the later week working on Logic for Programmers ([init] [update]) because I have a self-imposed deadline of mid-July,...
New blog post: Composing TLA+ Specifications
Post here! It's a really advanced TLA+ technique that I'm sure will alienate 90% of my readers. Patreon here. Anyway, I'm off to get a bone graft. Proper...
Nondeterminism in Formal Specification
Just an unordered collections of thoughts on this. In programming languages, nondeterminism tends to come from randomness, concurrency, or external forces...
I've been thinking about tradeoffs all wrong
It's not about what's better, it's about what's less worse.