Hacker News new | ask | show | jobs
by coolsunglasses 4312 days ago
A certified C compiler a la CompCert is still nothing like Ada Spark. C just lends itself too easily to error.