|
|
|
|
|
by ringzero
2342 days ago
|
|
Just a point of clarification that I found helpful - the patches offered to correct soundness problems, in this case, didn’t significantly impact performance. Your hypothetical still stands, but it’s not necessarily a huge trade off. |
|