News for hackers. Stuff that matters.

A comment on The Hundred-Year Language (2003). Parent comment

Re:The Hundred-Year Language (2003) by foooker on Sunday March 19, 2017 @10:34PM (#13911291)
Can you point out which specific advancements in the last few years you are talking about?
[ Parent | on HN ]
Re:The Hundred-Year Language (2003) by throwaway729 on Monday March 20, 2017 @12:08AM (#13911612)
It's not so much fundamental advances as much as a maturing of tooling and educational resources. The result is a lot of compelling proof-of-concept implementations:

https://sel4.systems/

http://compcert.inria.fr/

https://cakeml.org/

[ Parent | on HN ]