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.
NoCode Will Not Bring Computing to the Masses
NoCode, scripting vs applications, and software marketplaces
What I look for in empirical software papers
Oh God it's already Thursday
Paradigms succeed when you can strip them for parts
On the value of "scavenging" for paradigm adoption
"Integration tests" are just vibes
New blog post, and some thoughts on what makes an integration test an "integration" test.
"Testing can show the presence of bugs but not the absence"
An analysis of the ramifications.
What makes concurrency so hard?
Is it something about human brains, or something about the problem domain?