• krnpnk@feddit.de
    link
    fedilink
    arrow-up
    0
    ·
    5 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 🙂