3 ms·

Any discussion of gender (or race, or ...) on HN tends to degrade into, well, look around in an hour. It would be good to change that.