From mboxrd@z Thu Jan 1 00:00:00 1970 X-Spam-Checker-Version: SpamAssassin 3.4.4 (2020-01-24) on inbox.vuxu.org X-Spam-Level: X-Spam-Status: No, score=-1.1 required=5.0 tests=DKIM_SIGNED,DKIM_VALID, DKIM_VALID_AU,FREEMAIL_FROM,HTML_MESSAGE,MAILING_LIST_MULTI, RCVD_IN_DNSWL_NONE,T_SCC_BODY_TEXT_LINE autolearn=ham autolearn_force=no version=3.4.4 Received: (qmail 4324 invoked from network); 14 Apr 2022 15:49:14 -0000 Received: from mail-yb1-xb3f.google.com (2607:f8b0:4864:20::b3f) by inbox.vuxu.org with ESMTPUTF8; 14 Apr 2022 15:49:14 -0000 Received: by mail-yb1-xb3f.google.com with SMTP id i36-20020a25b224000000b006420453d37asf308073ybj.10 for ; Thu, 14 Apr 2022 08:49:14 -0700 (PDT) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=googlegroups.com; s=20210112; h=sender:date:from:to:message-id:in-reply-to:references:subject :mime-version:x-original-sender:precedence:mailing-list:list-id :list-post:list-help:list-archive:list-subscribe:list-unsubscribe; bh=kXeGSCPW35ML3FmjaE4z6XkvK2bGyYCnMkTTxXiFRXE=; b=XOkthq6XQASGBODgbOjZZCMGSon2YLdpCsM1V5PbkANXDqIxbS1yzZOieO82T8vlxr e2ciC3+WxqdXWU/RGlq4QIpBgwApkY1NiFfC/EMu+J2OSbECOtEgIxbhet/uD6pETL4i byL8AsBrKOBbIKMtK7U6T8ToafniBHC2s49hcI9YfN85NQEgmKc/kwRm9danpKaN//7o zQLdV9gz4XFrd0ZkfrfymXonHFn2xfi7kT/8nei1yBN0/eDoJjsTmgY11M2Y0i2FlcSI 1V4IMRblrHXtdPdPYBlJqiIX1cctlJA9YgpNTx8HqtEKIL9YXklCy1kHjey13aBzWf84 of0Q== DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20210112; h=date:from:to:message-id:in-reply-to:references:subject:mime-version :x-original-sender:precedence:mailing-list:list-id:list-post :list-help:list-archive:list-subscribe:list-unsubscribe; bh=kXeGSCPW35ML3FmjaE4z6XkvK2bGyYCnMkTTxXiFRXE=; b=lLrpgqMFbbzdJjaQAPg+7Bv66h8dW1u2M0TzcznIaNvwZdaGUvekXeJ9Yt3jGNnPJ1 T+3KRHbpc/n6/Rf8uKlPrn+EADJeJWjIb++QdXJH017vBsh/+5EWXe27Dkh9G9IfrHjn f7hyu+mzMU+eqGnQCy8eCmWK5mh8kenHajQLmtNwEGBO/k8tyyV/NtpTGVArnQtrZLXC wxO5uEGITBDSLyPyMkhw2SYNIlHWSjGoluzw5k4GvoPBSdzlY7JKfPTwL7GtYk9Vji6N TM/Nvjt/0nCMcyY+MRLazmwAoQAxh6hsdaP5SHGIhXm1VfgxH27UCoQs6s18q9kC3Ea1 Gj1A== X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20210112; h=sender:x-gm-message-state:date:from:to:message-id:in-reply-to :references:subject:mime-version:x-original-sender:precedence :mailing-list:list-id:x-spam-checked-in-group:list-post:list-help :list-archive:list-subscribe:list-unsubscribe; bh=kXeGSCPW35ML3FmjaE4z6XkvK2bGyYCnMkTTxXiFRXE=; b=xtdk/pQjoHaoJVIv+jdsWhnRIpmpWdAbYP3ZFu7a6N2U2YkcHI+/hnpWTnJfvtij6g w23ONZWfEO8R4SZMr8cDMY0F84qA407JWU6d3/pUCSRzK760YoY0zuP2ZIkohsyM/yoT MOdNffvHaBOiBghsQeQCF10xutFHPzoxpkcIP3LhhWhxJSye3MJHgzrRYtwJ5u8HMkJi vKu8gM7ma+7tM6h6UBY9FbKz5Hd4hBjy9B4tb+xwZMU7lfvpFzQ2uwc5CAvq9Ko45frZ bBMV94hkefoAVq7s5Flrmw0fIdXJkrsGZ3xEWpIa0cAREEJnQ1Sf6snaZFgOX8lC5P3I O3Eg== Sender: homotopytypetheory@googlegroups.com X-Gm-Message-State: AOAM532sQT8alVCpK+3pRz/cuXlyJ005aQw7uvwMKdPtoW2XDX34lzt/ JaW0b/5rCDLNUsC8KuEviHg= X-Google-Smtp-Source: ABdhPJx5PxahBlP9TuIbV2j1D/YlCyZ8itYP/9swKOKaIwcAvijKBFv7OLJ2VGCnZ1ghEvcr8iZTBw== X-Received: by 2002:a81:a605:0:b0:2ec:3fc3:2e63 with SMTP id i5-20020a81a605000000b002ec3fc32e63mr2452289ywa.67.1649951352579; Thu, 14 Apr 2022 08:49:12 -0700 (PDT) X-BeenThere: homotopytypetheory@googlegroups.com Received: by 2002:a25:6188:0:b0:641:ac01:9fca with SMTP id v130-20020a256188000000b00641ac019fcals3951555ybb.5.gmail; Thu, 14 Apr 2022 08:49:11 -0700 (PDT) X-Received: by 2002:a05:6902:544:b0:641:4007:1da8 with SMTP id z4-20020a056902054400b0064140071da8mr2227184ybs.195.1649951351358; Thu, 14 Apr 2022 08:49:11 -0700 (PDT) Date: Thu, 14 Apr 2022 08:49:10 -0700 (PDT) From: =?UTF-8?Q?Mart=C3=ADn_H=C3=B6tzel_Escard=C3=B3?= To: Homotopy Type Theory Message-Id: In-Reply-To: References: Subject: Re: [HoTT] Re: M. Shulman, Towards Third-Generation HOTT, April 14, 21, and 28 - HoTTEST Distinguished Lecture Series MIME-Version: 1.0 Content-Type: multipart/mixed; boundary="----=_Part_1576_760737733.1649951350593" X-Original-Sender: escardo.martin@gmail.com Precedence: list Mailing-list: list HomotopyTypeTheory@googlegroups.com; contact HomotopyTypeTheory+owners@googlegroups.com List-ID: X-Google-Group-Id: 1041266174716 List-Post: , List-Help: , List-Archive: , List-Unsubscribe: , ------=_Part_1576_760737733.1649951350593 Content-Type: multipart/alternative; boundary="----=_Part_1577_747893164.1649951350593" ------=_Part_1577_747893164.1649951350593 Content-Type: text/plain; charset="UTF-8" I am not happy at all with what Mike said in the above pull request discussion, and I said so there, but at the same time I think that cancelling his talk was the wrong thing to do. Everybody should move on positively after the resolution that Andrej discussed above, and I don't consider cancelling his talk to be a positive move. I am by no means excusing Mike from what he did - this is something he should work on to resolve himself. What I am saying is that cancelling somebody who has apologized publicly is not contributing to reinstate the welcoming atmosphere we've had in this community for a long time here. Martin 1. On Thursday, 14 April 2022 at 12:49:15 UTC+1 Andrej Bauer wrote: > The organizers of the HoTTest seminar did not refer explicitly to the > events that prompted them to take their decision, which leaves many people > surprised and in the dark. I worry that it may also lead to unfounded > speculation and uninformed opinions. As one of the administrators and a > HoTT book author I led an effort to bring to conclusion the episode that > the HoTTest seminar organizers implicitly referred to. Please allow me then > to give a short but incomplete account of the events of the past days as I > see it. > > A while ago, there was a HoTT book pull request #1101 > asking that "he or she" be > replaced with "they", for reasons of inclusivity. The ensuing discussion > took on a wider context. Mike Shulman and Dan Grayson expressed views which > the other participants strongly opposed and found offensive. Many members > of the HoTT community, including authors of the HoTT book, readers, and > students, spoke out against Mike's statements and presented reasons for > inclusivity. Some described how the issue affected them personally, which I > am sure was not easy to do. Overall the discussion was civilized, even > though emotions ran high. > > The administrators of the HoTT book repository, one of whom is Mike > Shulman, unanimously decided to implement the proposed change, as it had > very clear support. In addition, Mike Shulman acknowledged that the pull > request was not an appropriate place for political discussions, and > apologized for derailing the conversation in that direction. He expressed > regret that his attempts to explain his views hurt people's feelings. He > stated that he meant no harm to anyone. > > At present there is a related issue open, issue #1111 > , in which a Code of conduct is > being discussed, with the purpose of making sure that such incidents do not > happen in the future, and that the community can continue to be welcoming > to everyone. > > I urge anyone who intends to express an opinion to not base it solely on > what I have written here. > > With kind regards, > > Andrej > > > > > -- You received this message because you are subscribed to the Google Groups "Homotopy Type Theory" group. To unsubscribe from this group and stop receiving emails from it, send an email to HomotopyTypeTheory+unsubscribe@googlegroups.com. To view this discussion on the web visit https://groups.google.com/d/msgid/HomotopyTypeTheory/cdf9c1ad-5c35-4751-9d3d-e2621b71fb12n%40googlegroups.com. ------=_Part_1577_747893164.1649951350593 Content-Type: text/html; charset="UTF-8" Content-Transfer-Encoding: quoted-printable
I am not happy at all with what Mike said in the above pull request di= scussion, and I said so there, but at the same time I think that cancelling= his talk was the wrong thing to do.

Everybod= y should move on positively after the resolution that Andrej discussed abov= e, and I don't consider cancelling his talk to be a positive move.

I am by no means excusing Mike from what he did - thi= s is something he should work on to resolve himself.

What I am saying is that cancelling somebody who has apologized pub= licly is not contributing to reinstate the welcoming atmosphere we've had i= n this community for a long time here.

Martin=
On Thu= rsday, 14 April 2022 at 12:49:15 UTC+1 Andrej Bauer wrote:
The organize= rs of the HoTTest seminar did not refer explicitly to the events that promp= ted them to take their decision, which leaves=C2=A0many people surprised an= d in the dark. I worry that it may also=C2=A0lead=C2=A0to unfounded specula= tion and uninformed opinions. As one of the administrators and=C2=A0a HoTT = book author I led an effort to bring to conclusion the episode that the HoT= Test seminar organizers implicitly referred=C2=A0to. Please allow me then t= o give a short but incomplete account of the events of the past days as I s= ee it.

A while ago, there was a HoTT book pull= request #1101 asking that "he or she" be replaced with "they", for = reasons of inclusivity. The ensuing discussion took on a wider context. Mik= e Shulman and Dan Grayson expressed views which the other participants stro= ngly opposed and found offensive. Many members of the HoTT community, inclu= ding authors of the HoTT book, readers, and students, spoke out against Mik= e's statements and presented reasons for inclusivity. Some described ho= w the issue affected them personally,=C2=A0which I am sure was not easy to = do. Overall the discussion was civilized, even though emotions ran high.

The administrators of the HoTT book repository, one = of whom is Mike Shulman, unanimously decided to implement the proposed chan= ge, as it had very clear support. In addition, Mike Shulman acknowledged th= at the pull request was not an appropriate=C2=A0place for political discuss= ions, and apologized for derailing the conversation in that direction. He e= xpressed regret that his attempts to explain his views hurt people's fe= elings. He stated that he meant no harm to anyone.

At present there is a related issue open, issue #1111, in which a Code of conduct is = being discussed, with the purpose of making sure that such incidents do not= happen in the future, and that the community can continue to be welcoming = to everyone.

I urge anyone who intends to express = an opinion to not base it solely on what I have written here.
With kind regards,

Andrej



--
You received this message because you are subscribed to the Google Groups &= quot;Homotopy Type Theory" group.
To unsubscribe from this group and stop receiving emails from it, send an e= mail to = HomotopyTypeTheory+unsubscribe@googlegroups.com.
To view this discussion on the web visit https://groups.google.c= om/d/msgid/HomotopyTypeTheory/cdf9c1ad-5c35-4751-9d3d-e2621b71fb12n%40googl= egroups.com.
------=_Part_1577_747893164.1649951350593-- ------=_Part_1576_760737733.1649951350593--