Security Debt We Never Created (formal.ai)

9 points by saligrama 4mo ago ↗ HN

2 comments

[ 3.6 ms ] story [ 13.7 ms ] thread

ramnes 4mo ago ↗

I mean, yeah, it's just like code. The most secure code is the one that doesn't exist!

I particularly like the scratch containers approach :-)