Hillel
@hillelogram
Developer educator at @AntithesisHQ. Formal methods, software history, chocolatiering.
Newsletter:
Book:
参加 October 2011
1 フォロー中 19.1K ファン
I have a new blog post! This is a response to the current formal methods hype and explains what TLA+ is good for and what it's not designed to check.
