13 points | by gurjeet 7 hours ago ago
1 comments
I worry that over the last N months, we haven't really reduced the correctness/security risks at all, we've merely worked out more places we can plug in the risky thing.
I worry that over the last N months, we haven't really reduced the correctness/security risks at all, we've merely worked out more places we can plug in the risky thing.