Re:Gary Starkweather died on December 26, 2019
by rblatz on Wednesday January 08, 2020 @11:46PM
(#21998646)
That’s been my opinion on a lot of these, they edit the headline and make it less helpful.
[ Parent
| on HN ]
Re:Gary Starkweather died on December 26, 2019
by dang on Thursday January 09, 2020 @02:13PM
(#22004413)
That's because it's a global optimization rather than a local one: https://hn.algolia.com/?dateRange=all&page=0&prefix=false&qu...
There's a rarer and more special consideration in a case like this as well. Taking out "inventor of the laser printer" adds more information than it removes. It adds the information that Starkweather is significant enough that HN readers ought to know who he is. If that information were hard to obtain, there might be a tradeoff here, but since it's literally one click away, I think the benefit of this edit outweighs the cost.