27 ms·
Can you point out which specific advancements in the last few years you are talking about?
by foooker 10y ago
Can you point out which specific advancements in the last few years you are talking about?
- throwaway729 10y agoIt'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/ https://sel4.systems/ http://compcert.inria.fr/ http://compcert.inria.fr/ https://cakeml.org/ https://cakeml.org/