Security Debt We Never Created (formal.ai)

9 points by saligrama 2mo ago ↗ HN

2 comments

[ 3.8 ms ] story [ 15.3 ms ] thread

ramnes 2mo 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 :-)