laarcnew | comments | discord | tags | ask | show | place | submitlogin

Bookmarked. Especially due to the section talking about the comment quality, specs with rationales, and so on. This would be a nice project to attempt formal verification or high-assurance security on given careful, detailed descriptions of design and code are a prerequisite to achieving those goals. Author might have already done most of the important work. :)

Welcome | Guidelines | Bookmarklet | Feature Requests | Source | Contact | Twitter | Lists

RSS (stories) | RSS (comments)