3 ms·
It looks like the Python version that's good for 2^49 items uses 1360 bytes for this array, allocated on the stack. I wouldn't worry about an extra couple of b
by tveita 12y ago
It looks like the Python version that's good for 2^49 items uses 1360 bytes for this array, allocated on the stack.
I wouldn't worry about an extra couple of bytes nearly as much as I would worry about changing the behaviour of a function used in an "astronomical number of program", so this looks like a pretty reasonable and conservative choice, at least for an immediate patch.
- deleted 12y ago[deleted]
- krick 12y agoDoes it "change behavior"? As far as I understand, the only change is that this test wouldn't crash anymore. Which certainly is "changing the behavior", but allocating more memory is as well. If so, I don't see any reason not to use formally verified version. Not that it is really important, but quite reasonable.