What TLA+ Can't Check
Hi everyone, I wrote a new blog post, Breaking the Limits of TLA+ Model Checking. It's the first (non-learntla) TLA+-related content I've put out in what,...
I really like powershell
When I went on Windows full time in 2019 I decided to avoid WSL as much as I could, which meant learning the Windows-native ways of doing things, which meant...
The Capability-Tractability Tradeoff
The more you can say, the less you can say about what you can say.
Repurposing Hotel Keycards
April Cools!
Everything's an API
Hi Everybody, April Cools is this weekend! A bunch of people who normally write tech stuff will be writing about a bunch of other topics. If you've got a...
GPT is revolutionary
Even a stochastic parrot can sing.
Ergonomic APIs, channel invariants, and data views
Musings on a tempting antipattern
Making Memes
Fnord.
What can you code up in an hour?
Fast programming is a powerful skill.
Formalizing Stability and Resilience Properties
Via TLA+
Predicate Logic for Programmers: Status Report
A 2000-word piece on why I haven't yet finished a different piece
Hype Cycles Aren't "Gaslighting" You
I promised an update on the logic book today but I haven't done a spite write in a while and oh boy a new one is just raring to go. Update is queued up to be...
Teaching Implication Better
Hello everyone! It's finally March, or at least close enough to March for my purposes. First thing, we're a month off from April Cools! April cools is a...
Code review vs code proofreading
What if the problem with code review is that we're doing it wrong?
Programming AIs worry me
For some inane reason, Github classifies me as a "major open source maintainer", which means I get a free copilot subscription.1 I've been using it for a...
Maybe people do care about performance and reliability
But they are victims of complex societal factors that are beyond their control
Creatively Misusing TLA+
Five not-quite-normal uses
Improve your debugging by asking broad questions
Another form of divide-and-conquer
Tag Systems
I've tried to write a blog post on tag systems for years now. Literally years, I think I first started drafting it out in 2018 or so? The problem is that...
New Workshop, Some Data-ish Pipeline Tricks
Lots of admin stuff today! First, we have a new blogpost, the full version of the complexity preview I shared last week. I'm also announcing a new TLA+...