I put a related question on Computer Science Stack Exchange a week ago. Linking it here in the hopes that HN users roll-calling here will shed some light.

Ref: https://cs.stackexchange.com/questions/122066/does-the-under...