Comment by otterley 6 hours ago Would formal validation of these algorithms (e.g. with TLA+) help avoid such bugs? 1 comment otterley Reply kedihacker 6 hours ago I think a audited algorithm where each type is strictly defined like int32 added to that really help with what exactly should be inputted to it so it remains correct.
kedihacker 6 hours ago I think a audited algorithm where each type is strictly defined like int32 added to that really help with what exactly should be inputted to it so it remains correct.
I think a audited algorithm where each type is strictly defined like int32 added to that really help with what exactly should be inputted to it so it remains correct.