3 ms·Which implies his Redis PR would have taken two decades without AI.by slopinthebag 4mo agoWhich implies his Redis PR would have taken two decades without AI.