[SloopJon]

> I just started reading the book a couple of days ago. Sigh... :-)

I wasn't even going to click the link, because I thought this was for the old online book. Because of your comment, I see that Learn TLA+ has been updated, and Hillel says of the Practical TLA+ book I bought a couple of weeks ago: "Don't bother."

I haven't gotten that far yet, but I have modeled the wolf, cabbage, and goat problem, and helped the poor waiter in xkcd 287. Eventually I hope to apply it to a distributed database and our crazy Jira deployment. I'm not sure which will be harder.

[tclancy]

B

I feel like you dropped this.

[hwayne]

The ISO standard for Z says it must be pronounced "Zed", even if you're American, and as revenge I now pronounce Event-B as "Event-Bed"