4 ms·
Nobody with experience in the field advertises formally-verified software like that, and it is understood that the spec may as well be wrong. It is also underst
by grg0 6mo ago
Nobody with experience in the field advertises formally-verified software like that, and it is understood that the spec may as well be wrong. It is also understood that the non-verified parts may have bugs (surprise). There is no news here.
- minimaltom 6mo agoUnless "with experience in the field" == academia, disagree. In particular I remember the early discourse & hype around Wireguard, it was discussed as if perfection was an achieved outcome.