Well, you do understand how to write proveable programs. Most programmers do not... | Hacker News

Hacker Newsnew | past | comments | ask | show | jobs | submit

wglb on April 11, 2014 | parent | context | favorite | on: Tarsnap: No heartbleed here

Well, you do understand how to write proveable programs. Most programmers do not.

Consider applying for YC's Winter 2027 batch! Applications are open till November 2.
Guidelines | FAQ | Lists | API | Security | Legal | Apply to YC | Contact