10 ms·
It turns out that you might already be using software containing proven correct software without realizing it (Microsoft Azure, Linux kernel, Firefox, Wireguard
by mbrodersen 5y ago
It turns out that you might already be using software containing proven correct software without realizing it (Microsoft Azure, Linux kernel, Firefox, Wireguard, Fintech, ...)