3 ms·
Oh, seems like the companies may finally get some motivation to use memory-safe languages, formal proofs, etc.
by pshirshov 5y ago
Oh, seems like the companies may finally get some motivation to use memory-safe languages, formal proofs, etc.
loading thread…