Hacker News new | past | comments | ask | show | jobs | submit login

Fine! Now we have a way to write guaranteed safe C code.

It requires quite a lot of qualification from the development team, though.




if ur fine with writing 4 lines of code a day from an expert...i guess


With endless bug-hunting in hastily-written C code, it could be fewer than 4 lines a day of completed code. (I hope nobody actually does so poorly, except while learning C.)


of course, with unverified code, "completed" means absence of evidence of bugs, not evidence of absence.




Consider applying for YC's Spring batch! Applications are open till Feb 11.

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

Search: