re: snark
This is absolutely irrelevant. The whole point of good abstractions is relieving "cognitive stress". Knowledge trumps intelligence when it comes to acquiring a skill in average case. I'm sure at some point despite having roughly the same inherent intelligence, most people could not multiply large numbers. Today they can and it is not because they evolved bigger brains or something. Sure some people can do it faster, but nobody really cares about that, including mathematicians.
@amiloradovsky@functional.cafe