← Back to context Comment by otterley 2 hours ago Would formal validation of these algorithms (e.g. with TLA+) help avoid such bugs? 1 comment otterley Reply kedihacker 2 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 2 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.