3 ms·
Thanks for noting this. We are so accustomed to reading comments as of a point in time, but their meaning is also impacted by when they are made. In this case,
by math-dev 4y ago
Thanks for noting this. We are so accustomed to reading comments as of a point in time, but their meaning is also impacted by when they are made. In this case, a future historian may draw a different conclusion had they not seen your clarifying post. Whereas now it confirms that the community viewed it as a good thing, and HN also agreed steadfastly.