3 ms·
They almost certainly have such a process, but it got bypassed by accident, probably got put into a "minor updates" channel (you don't run your model checker ev
by chuckadams 2y ago
They almost certainly have such a process, but it got bypassed by accident, probably got put into a "minor updates" channel (you don't run your model checker every time you release a new signature file after all). Surprise, business processes have bugs too.
But naw, must be every random commentator on HN knows how to run the company better.
- TeMPOraL 2y ago> (you don't run your model checker every time you release a new signature file after all) Wonder if the higher-ups who mandated this software to be installed in their hospitals were informed about that fact.