February 19, 2025 Or four kinds, or six kinds, I’m not picky about how you count them No newsletter next week, I’m teaching a TLA+ workshop. Speaking of which: I spend a lot of time thinking about formal methods (and TLA+ specifically) because it’s where the source of almost all my revenue. But I don’t
