2 points | by ykonstant 9 hours ago ago
1 comments
A good reminder that soundness bugs in trusted kernels are not merely a theoretical consideration.
A good reminder that soundness bugs in trusted kernels are not merely a theoretical consideration.