Hillel
@hillelogram
Developer educator at @AntithesisHQ. Formal methods, software history, chocolatiering.
Newsletter:
Book:
Joined October 2011
1 Following 19.1K Followers
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.
