3 ms·Still no benchmarks, so this doesn't add all that much to the earlier coverage, unfortunately.by gwern 7y agoStill no benchmarks, so this doesn't add all that much to the earlier coverage, unfortunately.