• krnpnk@feddit.de
    link
    fedilink
    arrow-up
    3
    ·
    7 months ago

    I’ve been waiting for something like that for quite a while. Let’s hope it really drives forward adoption in safety critical software 🙂