4 ms·They likely don't change a lot, so the AI called diff would sufficeby Kinrany 3y agoThey likely don't change a lot, so the AI called diff would sufficekevincox 3y agoAnd provides a much stronger guarantee of correctness.