4 ms·

They seem rather ignorant of the safety aspect of high assurance software and appear more focused on security. Neither of which are ever fully solved at the sof

by zppln 5y ago

They seem rather ignorant of the safety aspect of high assurance software and appear more focused on security. Neither of which are ever fully solved at the software level anyway.

okl 5y ago
> Neither of which are ever fully solved at the software level anyway. And not fully solvable at only the software level.
- exdsq 5y ago
  Especially when you see hidden opcodes at the CPU level - if you can't trust the hardware how can you trust the software?