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

    You are free to see this as an ad, but as Rust is targeting safety critical programming in general, I find it interesting to follow certification efforts like this to make rust available for really safety critical use cases. Now, the Ferrocene project is contributing back, but that fact or the license does not really affect the relevance for this community.