'"But we wouldn't have X without [horribly toxic person]"
True, but you cannot even FATHOM all the ideas/products/processes/community leadership you've lost out on from the people you've driven out.
You're focusing on a couple constellations at the expense of the Milky Way
@platypus I don't get how many people just don't seem to *want* to understand this.
@platypus there's also this idea that inventions tend to come simultaneously from different people when the time is right, as civilization progressed to some level. So basically, if Stallman wouldn't write GCC, someone else would almost certainly write something very comparable in value.
Lone benevolent geniuses are actually rare accidents.
@isagalaev @platypus And there are numerous cases where this has quite evidently happened.
In our field we can point to Alan Turing. We wouldn't be so convinced of the concept of "turing completeness" if it wasn't independantly discovered by Alonzo Church. The two read their papers after the fact leading them both to write appendices arguing their ideas are equivalent.
Mathematicians of the time were very curious about the question they independantly answered.
@isagalaev @platypus Indeed. The person who gets the credit usually has better PR or is more media friendly then others.
There is precedence since BSD was basically an extension pack for Unix, and there is no reason to think BSD wouldnβt have grown into something like the BSD OSs we know today taking the place of the GNU project.
@platypus We wouldn't have *this specific* X, but who's to say nobody else could've come up with it?
@KamareDrache @platypus There were probably 5-6 other implementations at the time, but that was the one everyone picked regardless for whatever reason. The reason was probably not technical merit, and X probably kept us from a better future/present.
@platypus "But we wouldn't have X without [horribly toxic person]"
Yes, and we will continue to have X without them. They do not need to be here for X to continue to exist.
anyway, if you're making calls to tolerance and just getting along:
1) remember that "getting along" has always looked like letting your idols/big stars/etc push people out
2) redirect that energy toward the people who ARE the problem, not the people responding to the problem
3) don't @ me