News for hackers. Stuff that matters.

A comment on C’s Biggest Mistake (2009). Parent comment

Re:C’s Biggest Mistake (2009) by pjmlp on Sunday September 13, 2020 @08:06AM (#24460281)
Cyclone, ATS, Checked C, Ada/SPARK.
[ Parent | on HN ]
Re:C’s Biggest Mistake (2009) by 59nadir on Monday September 14, 2020 @03:12AM (#24467643)
Footnote: With Ada/SPARK being much more battle-tested and ATS being a much more flexible & complete solution. Though I wouldn't exactly recommend ATS in terms of learning curve.
[ Parent | on HN ]