7 ms·

They did buy Nod.ai recently