It's too cold to go outside, so let's talk juggling.| buttondown.com
because you’ll have more awesome friendships • be consistent • suggested post ideas • setup advice • getting initial readers| benkuhn.net
most important things are outlier-driven • draw lots of samples • filter for maybe-amazing, not probably-good • learn where your bar should be • expect to fail a lot| benkuhn.net
There’s not a whole lot on TLA+ technique out there: all the resources are either introductions or case studies. Good for people starting out, bad for people past that. I think we need to write more intermediate-level stuff, what Ben Kuhn calls Blub studies. Here’s an attempt at that. Most TLA+ properties are invariants, properties that must be true for every state in the behavior. If we have a simple counter:| Hillel Wayne