Hillel
@hillelogram
Developer educator at @AntithesisHQ. Formal methods, software history, chocolatiering.
Newsletter:
Book:
Joined October 2011
1 Following 19.1K Followers
Required reading to get on here talking about formal verification
*Just links to my blog, other blog, twitter account, LinkedIn account, Instagram account, steam handle*
