[rotifer]

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

One thing that I wish websites did is to make it easy to report simple typos and grammatical errors without having to go through GitHub. For example, on https://www.learntla.com/intro/faq.html "losting" should be "losing". It would be great to simply and quickly report them without having to context switch and go through the overhead of opening an issue or creating a PR. (In any case, I don't even have a GitHub account.)

[hwayne]

It's also fine to send me an email (h@mymainwebsite) or a twitter DM or whatever, I just presented the issue so people know they can send feedback and that I'll accept it.

[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"