Thanks for proving Bernstein right
Thanks for proving Bernstein right
Posted Nov 4, 2007 22:43 UTC (Sun) by ms (subscriber, #41272)In reply to: Thanks for proving Bernstein right by i3839
Parent article: Daniel Bernstein: ten years of qmail security
The only way to help such programmers is to use languages which do proof carrying code. Then you /know/ that if it type checks, some proof holds about the program. Whether or not that proof means anything to you is for you to decide.