Hyperproperties
One tier worse than regular properties.
Five Unusual Raku Features
Junctions, whatevers, hypers, and more!
A list of ternary operators
Why let conditionals keep hogging the spotlight?
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,...