extrememota

Considering how all master keys of most popular measures have been hacked, its natural to assume that government keys will be hacked and leacked too.

From the same document. I do not see how this is technically possible.

> Technical solutions for gaining access to encrypted data must comply withthe principles of legality, transparency, necessity and proportionalityincluding protection of personal data by design and by default.

Memory safety is not the only type of safety though. There are race conditions for example.

However, if you do any kind of GPU computation PCIe4 is the thing to have. Same goes for RTX 3080 etc.

The code can be unsafe because it is physically impossible to test for every input in a computer. This is where various engineering designs come in which reduce the area of testing based on some theories.

Also, even in math, there are enough mistakes in publications (not just typos, but reasoning errors) which hopefully do not affect the eventual results in any fundamental way. The equivalent of safe code in computer science would be equivalent of completely formal proofs in mathematics (like in Coq and similar languages), but probably much more difficult due to existence of temporal conditions.

What's wrong with mailing lists?