New top story on Hacker News: Checked C: extension to C that adds static and dynamic checking

Checked C: extension to C that adds static and dynamic checking
96 by ingve | 41 comments on Hacker News.