On Tue, May 30, 2023 at 9:53 AM Matthias Koeppe <matthiaskoe...@gmail.com> wrote:
> On Tuesday, May 30, 2023 at 9:14:14 AM UTC-7 Dima Pasechnik wrote: > > already the discussion on these minor points has taken so much time that > we could have instead done 10 or 20 PRs > > > This line of reasoning has been used several times already, including by > you. > > I have to point out that it is an invalid argumentative tactic: > > You are *assuming* that you are right, and then accuse me of blocking > progress, and of wasting your time with the discussion; and then you demand > that I give in, based on it. > > It is easy to make the mistake of overlooking that this is an invalid > tactic, based on a circular reasoning fallacy. > > But if used deliberately, it is abusive behavior -- namely a form of > bullying. As I wrote in > https://github.com/sagemath/sage/pull/35404#issuecomment-1563435455, "Sage > is a mature project that is developed in the open and in which also all > decision making takes place in the open. Users and developers who decide > to engage with a project such as Sage know that this is always a long-term > investment on their side. They need to be able to trust that the project > makes decisions in a meaningful, responsible way, which reduces their > perceived risk in making this investment." > +1. This is hard to disagree with. > -- > You received this message because you are subscribed to the Google Groups > "sage-devel" group. > To unsubscribe from this group and stop receiving emails from it, send an > email to sage-devel+unsubscr...@googlegroups.com. > To view this discussion on the web visit > https://groups.google.com/d/msgid/sage-devel/d459d557-fd7d-4c6a-8644-3ee96966b8fan%40googlegroups.com > <https://groups.google.com/d/msgid/sage-devel/d459d557-fd7d-4c6a-8644-3ee96966b8fan%40googlegroups.com?utm_medium=email&utm_source=footer> > . > -- -- William Stein -- You received this message because you are subscribed to the Google Groups "sage-devel" group. To unsubscribe from this group and stop receiving emails from it, send an email to sage-devel+unsubscr...@googlegroups.com. To view this discussion on the web visit https://groups.google.com/d/msgid/sage-devel/CACLE5GCbSJ6OAmEJoUHMSssaNx3u7U98m%3DASjnKPE7fzFc41Ug%40mail.gmail.com.