3 ms·Yes, that's a typo, but I can't edit the submission any more :)by ashvardanian 3y agoYes, that's a typo, but I can't edit the submission any more :)gabrielsroka 3y agoIt's Fridman. Email the mods.