• ☆ Yσɠƚԋσʂ ☆@lemmy.mlOP
    link
    fedilink
    arrow-up
    4
    ·
    2 hours ago

    And then they’d need to be able to verify that the code actually meets these requirements. That might even necessitate specifying these requirements in some sort of a formal language…