hwayne

Status: Active user
Joined: 8 years ago by invitation from flyingfisch
Karma: 32962
Stories Submitted: 904, most commonly tagged formalmethods
Comments Posted: 3629
Homepage: http://www.hillelwayne.com
GitHub: https://github.com/hwayne
About:

I like write about software history, formal methods, and exotic languages. I’m also an avid juggler and chocolatier.