That is a seriously cool project! I wish more people took advantage of both HSMs... | Hacker News

HN2new | past | comments | ask | show | jobs | submit

		erichocean on May 1, 2014 \| parent \| context \| favorite \| on: Co-routines as an alternative to state machines (2... That is a seriously cool project! I wish more people took advantage of both HSMs and theorem provers, and you've done both. Nice. :)

tlarkworthy on May 1, 2014 [–]

thanks a lot. Yeah, its a brutal bug exterminator combo, and somewhat easier to wrap your head around that coq or similar.

I am trying to find an organic use of the H in HSM for server side stuff, but struggling to think of examples that are not contrived if you have any.

Guidelines | FAQ | Lists | API | Security | Legal | Apply to YC | Contact