Hillel
@hillelogram
Developer educator at @AntithesisHQ. Formal methods, software history, chocolatiering.
Newsletter:
Book:
参加 October 2011
1 フォロー中 19.1K ファン
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*
