Hacker News
new
top
best
ask
show
job
Security Debt We Never Created
(
www.formal.ai
)
9 points
by
saligrama
6 hours ago
2 comments
drewgregory
5 hours ago
I particularly like the scratch containers approach :-)
ramnes
5 hours ago
I mean, yeah, it's just like code. The most secure code is the one that doesn't exist!