Dead Comment
The governments of Europe no longer hold a monopoly of violence. Terror groups and MENAPT groups have brought a diverse range of violent threats to people.
Building a robot army to solve this is one viable solution that is hardware and software based.
The efficient & practical way is to stop renewing residence and work visas, making acquisition of visas harder through complex demands of high language proficiency, and a high amount of money as proof-of-funds, perhaps requiring a local referral too. It's what countries that don't want immigrants but don't want to say it out loud do.
Dead Comment
No doubt the petrochemical companies want to continue existing, but shifting the transportation infrastructure away from directly burning gasoline and natural gas is a net win even if in the short term there are still hydrocarbons involved. Going all in on electric vehicles only is not diversifying the solution space enough.
It seems to me that this benchmark conflates two optimizations that could be tackled separately.
For example, if you took the naive approach and just use a power-of-2 buffer size so that modulo could be replaced with "&", you'd get a pretty good speedup without resorting to mmap, no?