• snaggen@programming.devOP
    link
    fedilink
    arrow-up
    1
    ·
    1 year ago

    Well, of course you should stick to rustc if you don’t need the certification. I get the impression you mix up thing and the purpose of a certified compiler.

    Ferrous Systems is working on certifying a specific version of rustc, and hence make it possible to use rust for projects where such certification is required. And certification is required for things like programming medical equipment. If you are hooked in to life support, it is good if the compiler did the thing it was supposed to do… a crash in such programs can be fatal in a very literal way.

    Also, notice that they try to do this without forking and by contributing upstream.