Security News > 2020 > August > Friday Squid Blogging: New SQUID

Software has ZERO such known quantities that can be used to create complex systems.

Yes, the problem is that software is artisanal no, mathematics cannot be usefully applied to hand-crafted software after the fact.

We have no such foundation in software "Engineering".

L-O-L. What perfect software did Alan Kay ever produce? Is anyone actually still using anything he produced? I wouldn't be that surprised if some still was being used, but there are very few Bill Joys in the world whose code has stood the test of time.

Prof. Knuth's work on algorithmic functions is epochal reference material but it does not inform how to KNOW your software is correct.

News URL

https://www.schneier.com/blog/archives/2020/08/friday_squid_bl_740.html