As far as I know this will be one of the first Formal Methods books from ANY of the big software publishers (aside from Wesley-Addison textbooks). I am incredibly pumped about this chance to help TLA+ go mainstream.
Show this thread
Big news: I'm now writing a book with @Apress! If everything goes well "Practical TLA+" will available by the end of this year. It'll cover everything a beginner needs plus plenty of deep examples to help you out. Like half of the book will be examples. It's gonna be awesome.
-
-
-
Huge thanks to
@ahelwer,@RichardWhaling , and@dijjnn who all helped me get the proposal off the ground and whom I'm intentionally subtweeting to save them from notification hellShow this thread
End of conversation
New conversation -
-
-
that sounds great and all, but announcing that you are writing a book on twitter isn't sufficient. I'll need a formal proof of this.
-
I can give you a couple of shitty unit tests, does that suffice
-
They can test for the presence of your original tweet. 100% coverage
-
100% coverage == 100% correct
End of conversation
New conversation -
-
-
What programming language will you use for the examples?
-
TLA+, of course!
End of conversation
New conversation -
-
-
I'm so excited for this. TLA+ seems cool, but a friendly means to approach it is necessary. Do you have a mailing list I can sign up for to get notified of its release?
-
Uh dm me your email and I can save it in a file, that's my mailing list rn
End of conversation
New conversation -
-
-
Awesome, congrats!
-
Thank you!
End of conversation
New conversation -
-
-
Awesome!!
-
Thanks!
End of conversation
New conversation -
-
-
Congratulations!!!! I'm really happy for you.
-
Thank you!!!
End of conversation
New conversation -
-
-
Nice! Just begun using TLA+ for teaching at Aarhus University using the Specifying Systems book. Let me know if you happen to drop by Denmark
Thanks. Twitter will use this to make your timeline better. UndoUndo
-
-
-
This sounds great. If you need an informal reviewer then hit me up!
Thanks. Twitter will use this to make your timeline better. UndoUndo
-
-
-
Once you’re done, if you need a reviewer, let me know.
Thanks. Twitter will use this to make your timeline better. UndoUndo
-
-
-
Need someone to read drafts and complain about it?
Thanks. Twitter will use this to make your timeline better. UndoUndo
-
Loading seems to be taking a while.
Twitter may be over capacity or experiencing a momentary hiccup. Try again or visit Twitter Status for more information.