Hacker News Reader

It's kind of a shame that this subset of research is kind of stuck on C as a standard. I feel like higher abstraction languages would potentially be easier to reason about, as well as personally more useful to me.

Sure I know C11 but it's just not a tool that solves the problems I'm interested in.

View on HN

A lot of embedded code is written in C. A lot of safety critical code is embedded code. This is unlikely to change in the next decade or two.

The problem is that in safety critical contexts you are using special subsets of C (e. g. like in MISRA C). I would probably make more sense to analyze languages like Ada/SPARK or Rust which already have some safety considerations respected in their designs.

Uh, tons of modern verifable languages exist. See idris or f* for example.

They are actually quite good.

Uh, he was saying they should be used in this instead of C.

Reply on news.ycombinator.com