7·
3 days agoMy husband says it is not secret what they use. It is something called L4-SEC which has formal proofs of correctness
- 0 Posts
- 4 Comments
Joined 1 year ago
Cake day: January 2nd, 2024
You are not logged in. If you use a Fediverse account that is able to follow users, you can follow this user.
I believe the holocaust museum calls these sorts of lists the point of fight now or die one by one
The cost of them not having the source code or the right to repair the shit they bought and paid for with our tax dollars.
https://www.sigops.org/s/conferences/sosp/2009/papers/klein-sosp09.pdf