4 ms·it's not about optimization, it's about soundness, and the numbers aren't soundby kiitos 1y agoit's not about optimization, it's about soundness, and the numbers aren't sound