Category Theory
Zulip Server
Archive

You're reading the public-facing archive of the Category Theory Zulip server.
To join the server you need an invite. Anybody can get an invite by contacting Matteo Capucci at name dot surname at gmail dot com.
For all things related to this archive refer to the same person.


Stream: community: discussion

Topic: BAE and other exclusions


view this post on Zulip Joscha Diehl (Jul 08 2020 at 17:20):

As an outsider, really enjoying this conference it is not my place to criticize. But I would really like to hear people's opinions, on how an engineer working for BAE presenting, fits with the general values of the community. In particular, since this is a panel tomorrow.

view this post on Zulip Joscha Diehl (Jul 08 2020 at 17:22):

I'm really interested in your opinions. Because I did not yet myself have to decide on whether to decline certain funding or collaborations (because of moral reasons), but I think this will happen at some stage in my career.

view this post on Zulip Jules Hedges (Jul 08 2020 at 17:25):

This is independent of the science. It is not in doubt that military contractors do interesting science sometimes

view this post on Zulip Jules Hedges (Jul 08 2020 at 17:26):

https://en.wikipedia.org/wiki/BAE_Systems#Saudi_war_crimes_in_Yemen

view this post on Zulip Jules Hedges (Jul 08 2020 at 17:26):

This should however be on the values channel, not here

view this post on Zulip Joscha Diehl (Jul 08 2020 at 17:27):

Jules Hedges said:

This is independent of the science. It is not in doubt that military contractors do interesting science sometimes

Yes, they often do. That's why it's a difficult topic, the more applied one gets.

view this post on Zulip Joscha Diehl (Jul 08 2020 at 17:27):

Jules Hedges said:

https://en.wikipedia.org/wiki/BAE_Systems#Saudi_war_crimes_in_Yemen

BAE: yes, they are Lockheed-level evil ..

view this post on Zulip Notification Bot (Jul 08 2020 at 17:43):

This topic was moved here from #ACT 2020 > July 8: Industry Showcase by Jules Hedges

view this post on Zulip Jules Hedges (Jul 08 2020 at 17:47):

My response: https://twitter.com/_julesh_/status/1280918329360777224

I'm not live-tweeting the ACT industry session, except to say that we had a talk from BAE and I'm not ok with this, and I will fight against their presence in our community to the extent that I can https://twitter.com/_julesh_/status/1280918329360777224/photo/1

- julesh (@_julesh_)

view this post on Zulip Joscha Diehl (Jul 08 2020 at 18:12):

Thank you, Jules. Also for moving the thread.

view this post on Zulip John Baez (Jul 08 2020 at 18:58):

I'm sure some people will raise this question tomorrow. It's good to think about whether you want to ban talks from people who work at "evil" corporations, and if so, how "evil" will be determined.

For example, there was also a talk from Alberto Sperazon at Honeywell, and many talks by people who get funding from the US Defense Department.

Also: what would you think about a talk from someone who works at Facebook, or Google?

view this post on Zulip Georgios Bakirtzis (Jul 08 2020 at 19:19):

It's interesting to know that GTRIs budget is also heavily military related, in case you wanted to use Catlab ;)

view this post on Zulip Evan Patterson (Jul 08 2020 at 19:32):

I'm not sure what is being implied here, but whatever you may think of GTRI—everyone is entitled to their own opinion—Catlab is not a product of GTRI. It is an open source project, which for most of its early history was developed by me in my spare time as a grad student. Lately it has gathered more users and contributors, for which I am grateful, and I hope that will continue. In general, open source projects do not and cannot dictate who gets to use them or why. In that respect, OSS is perfectly analogous to mathematics.

view this post on Zulip Georgios Bakirtzis (Jul 08 2020 at 19:34):

This wasn't directed at Catlab... but if we start assigning normative claims on scientific work based on affiliation (and not context) statements like this are becoming "easy". That was my point.

Most of my software packages started when I was on a teaching award, now I am funded by SERC, should people not use my work?

view this post on Zulip Jules Hedges (Jul 08 2020 at 19:37):

It's shades of grey, until you hit the end of the scale. BAE are literally complicit in ongoing war crimes that are well documented. You can probably find more openly evil organisations than BAE, but you'd have to search quite hard

view this post on Zulip Jules Hedges (Jul 08 2020 at 19:39):

Last year I met someone from Palantir at ACT and that made me a bit uncomfortable. BAE make Palantir look like nothing by comparison

view this post on Zulip Oliver Shetler (Jul 08 2020 at 19:42):

Giorgos Bakirtzis said:

This wasn't directed at Catlab... but if we start assigning normative claims on scientific work based on affiliation (and not context) statements like this are becoming "easy". That was my point.

Most of my software packages started when I was on a teaching award, now I am funded by SERC, should people not use my work?

I would have found it helpful if you had said this explicitly. It's really easy for text to get misunderstood, or misused when you don't make your intentions clear. I made a pun connecting "toothless" regulations to the idea of regulators wanting to bite people, and even that got misconstrued. This has re-enforced my feeling that literal is normative for text.

One of the things I love about this forum is that nobody hides behind plausible deniability. I know that wasn't your intention. But I only know that because ambiguous comments like these are rare, so you have de-facto credibility. While it's up to everybody how to speak, I'd like to encourage the norm of literalism.

view this post on Zulip Oliver Shetler (Jul 08 2020 at 19:45):

John Baez said:

I'm sure some people will raise this question tomorrow. It's good to think about whether you want to ban talks from people who work at "evil" corporations, and if so, how "evil" will be determined.

For example, there was also a talk from Alberto Sperazon at Honeywell, and many talks by people who get funding from the US Defense Department.

Also: what would you think about a talk from someone who works at Facebook, or Google?

Sounds like a Sorites' paradox when you put it that way. As I understand it, this kind of paradox comes up when you pick an aspect of a situation that doesn't have enough structure to capture the distinction you are trying to draw.

If I understood @Jules Hedges correctly, he's particularly concerned about the company's involvement with war crimes. Maybe there's a sophisticated way to address this concern, without collapsing the details to a scale of evil (I know Dr Michael Stone, who hosts the show "Most Evil" and built an "evil scale". Even according to him, it's not a one dimensional phenomenon).

While war crimes aren't completely well-defined, they are a fairly well-defined concept. Well defined enough that involvement in war crimes could be addressed with their own separate procedure from other forms of "evil."

view this post on Zulip Paolo Perrone (Jul 08 2020 at 19:49):

I'm with Jules here.
Everybody is entitled to their opinion, and that's why we are having the panel tomorrow. Please come and voice yours (respectfully)!

view this post on Zulip Jules Hedges (Jul 08 2020 at 19:49):

Yes, exactly. There is lots to debate about where the line is drawn, but if anyone thinks there is a possible debate about whether the line is drawn here then they are living in a different ethical universe to me

view this post on Zulip John Baez (Jul 08 2020 at 20:11):

I wasn't trying to claim it's impossible to draw a line. I wasn't trying to play a "sorites paradox" game. I just want to know roughly where Jules and others want to draw the line - and also what the line amounts to. Is Jules saying that Steve Huntsman should not have been allowed to give a talk? And if so, what should be the procedure for banning certain speakers?

Personally I think might actually be better to do what we're doing, which is let people who work for morally dubious companies give talks... but then have a forum where we discuss the moral issues. For example, it'd be great if Jules (or anyone) gave a little presentation about what BAE Systems is doing. That might accomplish more than just - perhaps rather quietly - banning speakers from this company.

view this post on Zulip John Baez (Jul 08 2020 at 20:18):

All my questions here are non-rhetorical.

view this post on Zulip Oliver Shetler (Jul 08 2020 at 20:26):

John Baez said:

I wasn't trying to claim it's impossible to draw a line. I wasn't trying to play a "sorites paradox" game. I just want to know roughly where Jules and others want to draw the line - and also what the line amounts to. Is Jules saying that Steve Huntsman should not have been allowed to give a talk? And if so, what should be the procedure for banning certain speakers?

Personally I think might actually be better to do what we're doing, which is let people who work for morally dubious companies give talks... but then have a forum where we discuss the moral issues. For example, it'd be great if Jules (or anyone) gave a little presentation about what BAE Systems is doing. That might accomplish more than just - perhaps rather quietly - banning speakers from this company.

I'm sorry, I didn't mean to suggest that you were playing a "sorites paradox game" –– I meant to say that the idea of drawing "a" (singular) line at a "level" of evil can make thinking about the problem harder, because it draws one's attention away from other salient aspects of the issue.

Asking "how many grains of sand" form a "heap" draws attention away from the contextual use of the word "heap" and the morphology of a three-dimensional pile, etc.

Asking about "lines" and "evil" draw attention away from facets of the situation. For example @Evan Patterson raised the issue how open source projects are structured, which is highly salient to how a mathematical community receives and disseminates information. Another example is the (presumably) default view of @Jules Hedges that we should not invite people from organizations affiliated with war crimes. But as an open community, that does not stop these people from learning and using our tools. How does the vitality of open communication weigh against the desire to keep it secret for fear that it will be misused? Even if we all accept the basic premise that war crimes are unequivocally evil, there is a lot left to be desired from metaphors about lines and scales.

Maybe I'm wrong about this, and there may be a valid reason for thinking in terms of lines and levels of evil. I was just raising my concern.

view this post on Zulip Oliver Shetler (Jul 08 2020 at 20:32):

John Baez said:

All my questions here are non-rhetorical.

I have no doubt about that, and I like the idea of open rational discussion at this juncture. Jumping to conclusions is easy in the short term and costly in the long run.

view this post on Zulip John Baez (Jul 08 2020 at 20:33):

Here's why I said what I said. Since I'm on the steering committee for ACT conferences, I would like some concrete suggestions about what we should do in ACT2020. Suppose we get people wanting to give talks who work at a bunch of organizations that seem morally questionable in various ways. What should the people in charge of deciding on talks actually do? That's what I'm really trying to get at.

If the answer is just "they should get together and decide what to do", that's fine but it provides them with no guidance.

view this post on Zulip John Baez (Jul 08 2020 at 20:36):

I was hoping for Jules or you or anyone to actually make concrete suggestions.

view this post on Zulip Oliver Shetler (Jul 08 2020 at 20:36):

John Baez said:

Here's why I said what I said. Since I'm on the advisory board for the ACT conferences, I would like some concrete suggestions about what we should do in ACT2020. Suppose we get people wanting to give talks who work at a bunch of organizations that seem morally questionable in various ways. What should the people in charge of deciding on talks actually do? That's what I'm really trying to get at.

If the answer is just "they should get together and decide what to do", that's fine but it provides them with no guidance.

Would you be okay with me reaching out to Michael Stone, Greg Lopez and Massimo Pigliucci to invite them to help advise on these issues? I don't know if any of them will be interested, but maybe as experts on evil (Michael) and Stoic ethics (Greg and Massimo), they could offer some guidance. Maybe other people also know relevant experts?

view this post on Zulip Oliver Shetler (Jul 08 2020 at 20:39):

John Baez said:

I was hoping for Jules or you or anyone to actually make concrete suggestions.

I think these things take time and finesse. I'm new to this community so I don't feel entitled to push for particular outcomes when so many others have so much more invested here. However, if this is a "dirty job" that people don't want, I'd be willing to help facilitate building a protocol for making these sorts of decisions.

view this post on Zulip John Baez (Jul 08 2020 at 20:40):

I'm certainly fine with people getting advice from experts. In the short term, we're going to have a discussion about this stuff tomorrow from 16:00 to 17:00 UTC, and I'm urging everyone here - everyone in the "ACT community" - to think about specific recommendations.

view this post on Zulip John Baez (Jul 08 2020 at 20:42):

I don't think anyone needs to be extremely shy about "pushing for particular outcomes": so far the problem is that nobody is suggesting anything, except maybe Jules is saying Steve Huntsman shouldn't have been allowed to speak, or maybe not allowed to display the BAE Systems logo. (I'm not sure which.)

view this post on Zulip Oliver Shetler (Jul 08 2020 at 20:43):

John Baez said:

I'm certainly fine with people getting advice from experts. In the short term, we're going to have a discussion about this stuff tomorrow from 16:00 to 17:00 UTC, and I'm urging everyone here - everyone in the "ACT community" - to think about specific recommendations.

Okay. In that case, I'll hold off on inviting people to help until it's clearer how the community could use them, if at all.

view this post on Zulip John Baez (Jul 08 2020 at 20:44):

The discussion tomorrow seems rather unlikely to end in a specific decision.

view this post on Zulip John Baez (Jul 08 2020 at 20:44):

But I think it would be nice if some people came up with some proposed policies.

view this post on Zulip Oliver Shetler (Jul 08 2020 at 20:48):

John Baez said:

The discussion tomorrow seems rather unlikely to end in a specific decision.

Maybe one thing to think about is why it's so hard for people to decide on these issues. What is causing people to be shy? And is there a way to get people to weigh in?

view this post on Zulip John Baez (Jul 08 2020 at 20:52):

I bet people will weigh in at the actual meeting. I think people are less shy when they're actually talking instead of writing into a box.

view this post on Zulip Oliver Shetler (Jul 08 2020 at 20:52):

John Baez said:

But I think it would be nice if some people came up with some proposed policies.

In addition to the option of banning people, banning logos, or leaving things as they are, one additional concrete option is to require that people who work for certain kinds of organizations have to explain themselves to a critical audience as a condition of participation. Let's call that the "roast" option. It's not a strong solution, but at least it would build a culture of reflecting on our actions––if that's what people think is important. (I see both sides of the issue. Some people might be thinking "my god, this is a maths forum, what is all this baggage doing here?")

view this post on Zulip Fabrizio Genovese (Jul 08 2020 at 21:19):

My stance is that the ACT community should steer away from companies involved in war crimes like BAE, or making a business by fucking people's rights and privacy like Amazon or Facebook. I don't think it's enoguh to talk about this (even if it's good to do so). Following Ostrom, we really have to give negative incentives if we want the community to steer away from stuff like that.

view this post on Zulip Fabrizio Genovese (Jul 08 2020 at 21:21):

Oliver Shetler said:

[...] Another example is the (presumably) default view of Jules Hedges that we should not invite people from organizations affiliated with war crimes. [...]

Also, I find this part of wat Oliver wrote quite puzzling. It's like saying "We should not invite people from organizations affiliated with the KKK". It's not a "should", under any plausible definition of common sense this should be a "must"

view this post on Zulip Fabrizio Genovese (Jul 08 2020 at 21:23):

I mean, we are not talking about philosophical nuances. This is literally a company that helps dropping bombs on the fucking red cross in Yemen. It literally takes quite an effort to imagine how we could do worse than this.

view this post on Zulip Oliver Shetler (Jul 08 2020 at 21:24):

Fabrizio Genovese said:

Oliver Shetler said:

[...] Another example is the (presumably) default view of Jules Hedges that we should not invite people from organizations affiliated with war crimes. [...]

Also, I find this part of wat Oliver wrote quite puzzling. It's like saying "We should not invite people from organizations affiliated with the KKK". It's not a "should", under any plausible definition of common sense this should be a "must"

In my view, "must" is a natural concept. Apples "must" fall when unencumbered. People make choices and choices are the subject of moral language such as "should."

If you want to use these words differently, that's fine by me. However, criticizing peoples' statements on the grounds of single word semantics is a highly error-ridden way to interact.

I disagree with the antagonistic way you chose to question my vocabulary. People often have internal semantic frames that you aren't aware of.

view this post on Zulip Fabrizio Genovese (Jul 08 2020 at 21:25):

The concept of "categorical imperative" is known since Kant. "must" is very much a word of our moral vocabulary since the Enlightenment at least :confused:

view this post on Zulip Oliver Shetler (Jul 08 2020 at 21:26):

Fabrizio Genovese said:

The concept of "categorical imperative" is known since Kant. "must" is very much a word of our moral vocabulary since the Enlightenment at least :/

I'm sorry this is so upsetting to you. Can you tell me more about what's coming up for you? If you like, you can speak to me in private, although I'm fine with either format.

view this post on Zulip Oliver Shetler (Jul 08 2020 at 21:28):

I'd also like to note for @John Baez that this interaction may be a good example of the reasons why people are not speaking up. I certainly feel less welcome to speak.

view this post on Zulip John Baez (Jul 08 2020 at 21:28):

I think you guys basically agree, if the main disagreement here is between "should" and "must".

view this post on Zulip Fabrizio Genovese (Jul 08 2020 at 21:28):

I'm not upset, I'm just being very assertive. And the reason is that I would honestly feel "morally dirty" if the community I am part of decides that it's not a big deal if someone working for a company involved in war crimes gives a talk

view this post on Zulip John Baez (Jul 08 2020 at 21:29):

Fabrizio is a lively fellow, he curses a lot - don't be put off, Oliver. (Of course you don't know him like I do.)

view this post on Zulip John Baez (Jul 08 2020 at 21:30):

Bob Coecke actually commented with surprise yesterday at how Fabrizio didn't cuss at all in his talk.

view this post on Zulip Fabrizio Genovese (Jul 08 2020 at 21:30):

You can compromise wih rational opinions. Bur morals do not necessarily follow rationality. I consider myself quite an open minded person, but then again, thinking that it's ok to have ties with companies involved in plainly deplorable activities makes me feel quite bad

view this post on Zulip Oliver Shetler (Jul 08 2020 at 21:31):

Fabrizio Genovese said:

I'm not upset, I'm just being very assertive. And the reason is that I would honestly feel "morally dirty" if the community I am part of decides that it's not a big deal if someone working for a company involved in war crimes gives a talk

I'm not saying you're necessarily upset. It sounds like some kinds of strong feelings are coming up for you though. I'm just trying to connect on a more empathetic, less logical level. I want to know more about how you're feeling if you're willing to be a little vulnerable.

view this post on Zulip Oliver Shetler (Jul 08 2020 at 21:32):

And I know you said you're not upset, but I'm still sorry if I stepped on your toes in a way that could have made you upset.

view this post on Zulip Fabrizio Genovese (Jul 08 2020 at 21:33):

Also, I can agree that military funding may be bad or not depending on the context. But I think that some things are undisputably bad, like Nazism and their race theories, slavery, or killing people for fun. For me, things like "bombing the red cross" really fall under this category

view this post on Zulip Fabrizio Genovese (Jul 08 2020 at 21:34):

I mean, usually when it comes to military organizations at least there's the usual BS story of "peace missions" or "we had to act in self defense". Bus something like "bombing the red cross" is just openly inexcusable

view this post on Zulip Fabrizio Genovese (Jul 08 2020 at 21:35):

So, I don't think we are talking about the usual Google situation, where yes there's a company that is bad but where do you draw the line and blablabla

view this post on Zulip Fabrizio Genovese (Jul 08 2020 at 21:35):

As @Jules Hedges said, we are literally talking about a company involved in some undisputably deplorable activities, which, imho, is a completely different thing

view this post on Zulip Fabrizio Genovese (Jul 08 2020 at 21:37):

Oliver Shetler said:

Fabrizio Genovese said:

I'm not upset, I'm just being very assertive. And the reason is that I would honestly feel "morally dirty" if the community I am part of decides that it's not a big deal if someone working for a company involved in war crimes gives a talk

I'm not saying you're necessarily upset. It sounds like some kinds of strong feelings are coming up for you though. I'm just trying to connect on a more empathetic, less logical level. I want to know more about how you're feeling if you're willing to be a little vulnerable.

Well, I told you above, the idea that such companies exist clearly disgusts me. And I'm seriously puzzled regarding why Steven works for them. I've met him, he's a nice guy. So either his moral standards are really low (but I don't think this is the case frankly) or something must have happened to lead him to choose to work for them.

view this post on Zulip Tobias Fritz (Jul 08 2020 at 21:39):

Hi all. I've thought about these issues a bit, and I also think that they're important, so here are my two cents. I'm less shy when writing into a box than when talking into a box :laughing:

I can see the temptation to ban certain speakers based on their affiliation, but my current tendency is to say that this would be going too far. The contemporary pervasiveness of de-platforming and blocking dissenting views seems to add to the creation of filter bubbles and to the sectioning of society into disparate parts with no understanding of each others' thinking and actions, and is in my perspective going too far. My worry is that excluding certain people would contribute to that. But given that, I'm also all in favour of voicing concerns openly as @Jules Hedges has done, and if possible also discussing them with the very people who have those questionable affiliations. (I did this in personal conversation with @Steve Huntsman at last year's UCR meeting. I disagree with his personal decision, and I would personally never accept funding let alone employment from BAE, but I think that he deserves a chance to explain himself and to hear people's concerns in a respectful conversation.) So @Fabrizio Genovese, if you know Steve personally, have you talked to him about your concerns and asked him why he works for BAE?

On a related note, I think that there's a difference between letting someone speak and endorsing any of what they say or do. For example if BAE Systems was a conference sponsor, then this could already be considered much more of an endorsement, and would constitute an affiliation with the entire community rather than just with an individual member. I would also be very uncomfortable with that, and I strongly support @Tom Leinster's actions with regards to the conference's original sponsors. I would feel similarly about Facebook or Google.

view this post on Zulip Fabrizio Genovese (Jul 08 2020 at 21:39):

Yes, I am aware of the "Han vs everything else" issue in China. And I agree, it's bad. Still, collaborating with Chinese academics can serve a different purpose. Namely, it also is a way to take them out of their current situation. When you are a citizen of an authoritatian country often your alternatives are limited

view this post on Zulip John Baez (Jul 08 2020 at 21:39):

Well, I told you above, the idea that such companies exist clearly disgusts me. And I'm seriously puzzled regarding why Steven works for them. I've met him, he's a nice guy. So either his moral standards are really low (but I don't think this is the case frankly) or something must have happened to lead him to choose to work for them.

It would be interesting to know. Yes, Steve is a nice guy. We could just ask.

Here is some information on BAE Systems and the arms they've sold to Saudi Arabia:

https://www.trtworld.com/magazine/the-uk-faces-criticism-for-resuming-weapons-sales-to-saudi-arabia-37971

view this post on Zulip John Baez (Jul 08 2020 at 21:40):

I hadn't known about this; since BAE Systems is a British company there may be more talk about this in the UK.

view this post on Zulip Fabrizio Genovese (Jul 08 2020 at 21:41):

Tobias Fritz said:

Hi all. I've thought about these issues a bit, and I also think that they're important, so here are my two cents. I'm less shy when writing into a box than when talking into a box :laughing:

I can see the temptation to ban certain speakers based on their affiliation, but my current tendency is to say that this would be going too far. The contemporary pervasiveness of de-platforming and blocking dissenting views seems to add to the creation of filter bubbles and to the sectioning of society into disparate parts with no understanding of each others' thinking and actions, and is in my perspective going too far. My worry is that excluding certain people would contribute to that. But given that, I'm also all in favour of voicing concerns openly as Jules Hedges has done, and if possible also discussing them with the very people who have those questionable affiliations. (I did this in personal conversation with Steve Huntsman at last year's UCR meeting. I disagree with his personal decision, and I would personally never accept funding let alone employment from BAE, but I think that he deserves a chance to explain himself and to hear people's concerns in a respectful conversation.) So Fabrizio Genovese, if you know Steve personally, have you talked to him about your concerns and asked him why he works for BAE?

On a related note, I think that there's a difference between letting someone speak and endorsing any of what they say or do. For example if BAE Systems was a conference sponsor, then this could already be considered much more of an endorsement, and would constitute an affiliation with the entire community rather than just with an individual member. I would also be very uncomfortable with that, and I strongly support Tom Leinster's actions with regards to the conference's original sponsors. I would feel similarly about Facebook or Google.

I did not talk to him, but I want to, by all means. About this, it should be made clear that I do not have anything against Steve, it's the company that represents him that's the problem

view this post on Zulip Fabrizio Genovese (Jul 08 2020 at 21:42):

So, a good compromise would be to have him give a talk, but to strip away his affiliation from the slides, or something like that

view this post on Zulip Fabrizio Genovese (Jul 08 2020 at 21:43):

My point is that I don't want the community to give space to these horrible organizations. Regarding people, I think there may be a lot of different reasons why one ends up being in some situation, so I tend to be less critic of their choices

view this post on Zulip Morgan Rogers (he/him) (Jul 08 2020 at 21:46):

Indeed, there is a vast rift between allowing anyone to promote BAE and allowing someone simply affiliated with BAE to speak. Talks at a conference are much more controllable than pulpit speeches at university debate societies.

view this post on Zulip Oliver Shetler (Jul 08 2020 at 21:46):

Fabrizio Genovese said:

Well, I told you above, the idea that such companies exist clearly disgusts me. And I'm seriously puzzled regarding why Steven works for them. I've met him, he's a nice guy. So either his moral standards are really low (but I don't think this is the case frankly) or something must have happened to lead him to choose to work for them.

One way to think of this is that some people think of being a "good person" as being a person who others would want on their team, and who others wouldn't mind as an enemy (MLK, Ghandi, pacifists, etc.). Another concept of being a "good person" is being a person who you want on your team, and who you really do not want as an enemy (Marcus Aruleus, Roosavelt, Churchill). Still others think of being a "good person" as being a person who is useful to his or her group (insert famous physicist from WWII era here).

view this post on Zulip Fabrizio Genovese (Jul 08 2020 at 21:49):

Publius Terentius Afer used to say «Homo sum, humani nihil a me alienum puto», which literally means "I'm human. I think nothing human is alien to me". What's sure is that I tend not to judge someone as a "good person" just by looking at their actions

view this post on Zulip Oliver Shetler (Jul 08 2020 at 21:50):

Fabrizio Genovese said:

Publius Terentius Afer used to say «Homo sum, humani nihil a me alienum puto», which literally means "I'm human. I think nothing human is alien to me". What's sure is that I tend not to judge someone as a "good person" just by looking at their actions

It's just a rubric for organizing things that I thought you might find interesting or useful in being less puzzled at why a person might take funding from the military.

view this post on Zulip Paolo Perrone (Jul 08 2020 at 21:51):

I said this in an email a little while ago. My view is, like many here, that we should not give BAE space to give a talk, nor possibility to fund our conferences.
However, everybody has a different "ethical line". Especially since we meet to discuss, let's please not turn the meeting into a "my line is better than your line" debate. We will not convince other people this way, especially not by rational arguments.
(All these lines are arbitrary, and there is no "transitivity": the only perfectly consistent lines would be "funding from all, including nazis" and "no research at all". Some of you talked about degrees of separations already...)
We won't achieve anything by just telling the others that we are right and they are wrong - except dividing the community like a political party.
And please, let's make sure that throughout the debate nobody feels attacked or impeeded to voice their own idea (for being "evil", "inconsistent", or anything else). Let's respect and hear everyone's opinion.

view this post on Zulip Fabrizio Genovese (Jul 08 2020 at 21:52):

I think no one is saying to someone else that they are right or wrong, to be honest

view this post on Zulip Morgan Rogers (he/him) (Jul 08 2020 at 22:05):

Paolo Perrone said:

However, everybody has a different "ethical line". Especially since we meet to discuss, let's please not turn the meeting into a "my line is better than your line" debate. We will not convince other people this way, especially not by rational arguments.
(All these lines are arbitrary, and there is no "transitivity": the only perfectly consistent lines would be "funding from all, including nazis" and "no research at all". Some of you talked about degrees of separations already...)

Indeed, @Oliver Shetler has quite eloquently argued that debating the placement of an ethical "line" is reductionist, since it erases crucial context. Yet the places where some would draw a line should certainly be places where we make the effort to think about our actions and motivation a little harder.

view this post on Zulip Fabrizio Genovese (Jul 08 2020 at 22:06):

I think that one thing that emerged from this conversation is that all the people involved in it seem to somewhat agree that the concept of "evil" applies better to organizations than to people involved with them

view this post on Zulip Oliver Shetler (Jul 08 2020 at 22:07):

@Paolo Perrone If by places where people would draw lines, you mean specific concerns, then I totally agree.

view this post on Zulip Fabrizio Genovese (Jul 08 2020 at 22:08):

This begs the question: "why does someone choose to work for an evil organization?", which clearly demands some context. Indeed, plausible answers could be "Because the person in question has low moral fiber" as well as "because the person in question was literally starving and couldn't find any other opportunity", which are on quite opposite ends of the spectrum

view this post on Zulip Oliver Shetler (Jul 08 2020 at 22:10):

And then there's the question of how relevant different aspects of a person's character are to the maths they do and their participation in this community. Some would be more relevant than others.

view this post on Zulip Morgan Rogers (he/him) (Jul 08 2020 at 22:11):

Paolo Perrone said:

And please, let's make sure that throughout the debate nobody feels attacked or impeeded to voice their own idea (for being "evil", "inconsistent", or anything else).

I appreciate that your intention is to encourage respect, but the only entity that has actively been labelled as evil in this particular discussion is BAE, and if the hostility towards them is somehow news to those affiliated with them, I think we've done more good than harm by pointing it out...

view this post on Zulip Fabrizio Genovese (Jul 08 2020 at 22:14):

Oliver Shetler said:

And then there's the question of how relevant different aspects of a person's character are to the maths they do and their participation in this community. Some would be more relevant than others.

This is a bit less debatable tho, because there's a pretty practical principle at work here. If someone has some desplicable inclinations, many people in the commuity could feel really unconfortable in having this someone around

view this post on Zulip Fabrizio Genovese (Jul 08 2020 at 22:15):

Examples that come to mind are Teichmuller, which I don't think would be allow to speak at any venue today if he were still alive. Actually I've heard that some people are already puzzled wrt citing his work

view this post on Zulip Fabrizio Genovese (Jul 08 2020 at 22:16):

(I mean, openly being a nazi is now considered a crime in many countries, so that would for sure make the decision process easier)

view this post on Zulip Fabrizio Genovese (Jul 08 2020 at 22:17):

I agree that sometimes the lines are blurred tho. There's was a big fuss last year about having John de Goes speaking at a programming conference, for instance

view this post on Zulip Fabrizio Genovese (Jul 08 2020 at 22:18):

(all of this is really funny to me because in this conversation I'm somehow playing the part of the one sympathizing for stuff like historical revisionism, which is something I really abhor)

view this post on Zulip Georgios Bakirtzis (Jul 08 2020 at 22:20):

Do you cite Gentzen?

view this post on Zulip Fabrizio Genovese (Jul 08 2020 at 22:21):

I personally never have. The good thing with Gentzen is that his stuff is so known that you can do without a citation

view this post on Zulip Georgios Bakirtzis (Jul 08 2020 at 22:21):

Do you bring up Gentzen when you teach sequent calculus?

view this post on Zulip Fabrizio Genovese (Jul 08 2020 at 22:22):

i never thought sequent calculus

view this post on Zulip Fabrizio Genovese (Jul 08 2020 at 22:22):

But I get your point, and the list is long

view this post on Zulip Fabrizio Genovese (Jul 08 2020 at 22:22):

E.g. Heisenberg, etc etc

view this post on Zulip Fabrizio Genovese (Jul 08 2020 at 22:23):

As I said I'm not exactly in favor of historical revisionism. Also I think it doesn't matter too much when people are long dead. But asking the question about people that are very much alive is a different kind of thing

view this post on Zulip Oliver Shetler (Jul 08 2020 at 22:23):

@Fabrizio Genovese

Examples that come to mind are Teichmuller, which I don't think would be allow to speak at any venue today if he were still alive. Actually I've heard that some people are already puzzled wrt citing his work

One of my Ethics professors once told us a story about his advisor, who was a concentration camp survivor. He regularly taught Heiddeger and defended it on the grounds that his contributions to philosophy were very important, and it would be rewriting history to expunge his academic contributions. The open practice of citation in academia is professionally sacred in a way similar to the imperative to do no harm for doctors.

Excluding people, however, is another matter. There are many cases where this makes sense. Although it should depend on context. There may not be many reformed fellons in academia, but I wish there were (in America, committing a crime is a path fixing event akin to becoming lower cast in rural India). In my opinion credibly reformed people should always be allowed to participate in the pursuit of knowledge.

view this post on Zulip Fabrizio Genovese (Jul 08 2020 at 22:25):

So, here's my opinion about this: If someone's dead, well there's nothing really we can do. All things considered it's better to act in an utilitarian way and use the work produced. If someone is alive, then the situation changes. We can ask this person for clarification, and act accordingly

view this post on Zulip Oliver Shetler (Jul 08 2020 at 22:26):

Yes, I added a clarification above

view this post on Zulip Fabrizio Genovese (Jul 08 2020 at 22:27):

Also, I think there's a little flaw in the "big contributions" argument, that I hear ad nauseam: Suppose there's some academic that is insanely good, but also a total asshole. Like, a legendary one. When evaluating the impact on the community, we shouldn't just take into account that person's accomplishments, but also how many people were actually excluded from the community because of them (e.g. people being so uncomfortable that they changed field altogether). When you factor this consideration in, things change imho, and there are very few scientists whose orverall impact would still turn out positive.

view this post on Zulip Fabrizio Genovese (Jul 08 2020 at 22:27):

That is, you may have created great maths, but you probably also destroyed a lot of potential math by making other scientists walk away. This is rarerly considered in the usual "but he's done great things" argument.

view this post on Zulip Oliver Shetler (Jul 08 2020 at 22:28):

That's a good reason to exclude a person while alive. Not a good reason not to cite their original contributions after they are dead, or after they have been booted from the community.

view this post on Zulip Fabrizio Genovese (Jul 08 2020 at 22:28):

On this, I agree

view this post on Zulip Fabrizio Genovese (Jul 08 2020 at 22:29):

Also, the utilitatian argument here is "considering how much harm they made, at least let's try to keep the good"

view this post on Zulip Fabrizio Genovese (Jul 08 2020 at 22:29):

But for me the main problem with dead people is that you can't really ask them why. As we were saying before, there may be countless reasons why one turns out being the way they are

view this post on Zulip Fabrizio Genovese (Jul 08 2020 at 22:31):

So it's easy to say that Heidegger and Von Braun were nazis. It's less easy to understand why, once one factors in things such as the impossibility of doing research in nazi Germany without being registered as a party supporter

view this post on Zulip Tobias Fritz (Jul 08 2020 at 22:31):

Here's an interesting case that I'd like to mention, mainly for fun and without wanting to suggest anything either way.

Bill Lawvere worked for an intelligence think tank in 1962, and there he ended up writing the manuscript that founded categorical probability! His job there was apparently in the design of protocols for arms control—but who knows what other people there did. This story is now told on the nLab, thanks to Dmitri Pavlov and others.

view this post on Zulip Fabrizio Genovese (Jul 08 2020 at 22:32):

I'll check it out for sure, I love this sort of folklore

view this post on Zulip Fabrizio Genovese (Jul 08 2020 at 22:32):

Fabrizio Genovese said:

So it's easy to say that Heidegger and Von Braun were nazis. It's less easy to understand why, once one factors in things such as the impossibility of doing research in nazi Germany without being registered as a party supporter

Btw, I guess this is precisely the situation many Chinese academics are in today.

view this post on Zulip Oliver Shetler (Jul 08 2020 at 22:34):

@Fabrizio Genovese that's fair, although Heiddeger defended bis choice and supported them after theh were overthrown. This is why he is often used in the argument for the sanctity of academic citations.

view this post on Zulip Oliver Shetler (Jul 08 2020 at 22:36):

As for Chinese academics, many of them completely agree with the politics of their government. And they often have the option to immigrate elsewhere, as talented people everywhere do. It is what it is.

view this post on Zulip Fabrizio Genovese (Jul 08 2020 at 22:37):

Oliver Shetler said:

Fabrizio Genovese that's fair, although Heiddeger defended bis choice and supported them after theh were overthrown. This is why he is often used in the argument for the sanctity of academic citations.

I guess I'd like to read precisely what he wrote about it. He's really an increadible philospher, so I imagine his defense had some interesting conceptual insights at least

view this post on Zulip John Baez (Jul 08 2020 at 22:37):

On a big digression: someone had better come up with a different name for Teichmüller space if they want us to stop mentioning Teichmüller. It's a super-important concept in complex analysis.

view this post on Zulip Fabrizio Genovese (Jul 08 2020 at 22:38):

Oliver Shetler said:

As for Chinese academics, many of them completely agree with the politics of their government. And they often have the option to immigrate elsewhere, as talented people everywhere do. It is what it is.

Sure. Then again, one has also to factor in the amount of propaganda and the high level of censorship. It's easier to agree with something when alternatives are out of reach

view this post on Zulip Fabrizio Genovese (Jul 08 2020 at 22:38):

John Baez said:

On a big digression: someone had better come up with a different name for Teichmüller space if they want us to stop mentioning Teichmüller. It's a super-important concept in complex analysis.

One problem here is that "Teichmuller space" sounds increadibly badass...

view this post on Zulip John Baez (Jul 08 2020 at 22:39):

Well, so would "Hitler space".

view this post on Zulip Oliver Shetler (Jul 08 2020 at 22:39):

I'm not touching this one, and that's a sign we're getting into very dangerous territory.

view this post on Zulip John Baez (Jul 08 2020 at 22:41):

If people are nervous about that particular joke, oh well. Can I joke about Genghis Khan? He was just as bad as Hitler.

view this post on Zulip Fabrizio Genovese (Jul 08 2020 at 22:41):

John Baez said:

Well, so would "Hitler space".

My reaction in finding this in a paper would probably be:
https://i.imgur.com/3WcNeh3.jpg

view this post on Zulip John Baez (Jul 08 2020 at 22:43):

Digressing even further, is there anyone alive still named Hitler? If so I feel sorry for them.

view this post on Zulip John Baez (Jul 08 2020 at 22:43):

Or did all his relatives just change their names? That name has been poisoned.

view this post on Zulip John Baez (Jul 08 2020 at 22:44):

Anyway, I should shut up.

view this post on Zulip Fabrizio Genovese (Jul 08 2020 at 22:45):

I think there was some relative still around, which changed name, but was still living a sort of inner psychological hell because of his ancestry

view this post on Zulip Georgios Bakirtzis (Jul 08 2020 at 22:46):

Bringing it back and explaining why I have such a strong reaction to this: there are already purity tests in this community. I have never had what happened to me happen at any other venue during the review process, where I was called "coy" for not discussing at length the possibility of UAVs being used in "remote warfare" because in the acknowledgments they saw my indirect funding came from Northrop and SERC. This is completely unacceptable and it shows that the community is split. If you want to do anything practical (in the US at least) you need to indirectly touch military funding.

view this post on Zulip Oliver Shetler (Jul 08 2020 at 22:46):

As for Chinese academics, many of them completely agree with the politics of their government. And they often have the option to immigrate elsewhere, as talented people everywhere do. It is what it is.

@Fabrizio Genovese

Sure. Then again, one has also to factor in the amount of propaganda and the high level of censorship. It's easier to agree with something when alternatives are out of reach

I mean... we're talking about Western educated people whose opinions get more entrenched when they go abraod... I just think that should be clear. It is what it is, and that's why it'a a good one to think about. These historical examples are easy in hindsight, but then when there's a close analogy now, it illuminates why people struggled with these issues back then and why we continue to struggle with them.

view this post on Zulip Georgios Bakirtzis (Jul 08 2020 at 22:47):

And for what it is worth I have only worked on UAV for agricultural applications (which makes that accusation VERY funny)

view this post on Zulip Fabrizio Genovese (Jul 08 2020 at 22:51):

There you have it. You should definitely meme your way out of it

view this post on Zulip Oliver Shetler (Jul 08 2020 at 22:51):

@Giorgos Bakirtzis I'm sorry that you've felt alienated here. I don't know the context, but I see that you're feeling unfairly accused.

view this post on Zulip Oliver Shetler (Jul 08 2020 at 22:59):

So thank you for speaking up to highlight how these issues have affected you. Usually, only the "prosecutors" and third parties speak, which is unfortunate.

view this post on Zulip Steve Huntsman (Jul 08 2020 at 23:21):

I’m afraid some of you have me at a disadvantage. I will not speak publicly on behalf of BAE except on matters that they have cleared for public release. Meanwhile I am in the midst of a hackathon that demands my time for the next two days (and that I ducked out of as briefly as I could to talk today). But I will be happy after this week to speak about my personal views privately with anyone who wants to and agrees to keep any exchange private.

view this post on Zulip James Fairbanks (Jul 08 2020 at 23:40):

The real questions of engineering ethics are about how you design and build systems within a process that honestly and thoughtfully engages with the real-world effects of those systems on people and the environment. Auditing the funding to avoid contamination is not a substitute for considering the effects of your engineered systems.

For example, my research is designed to help government scientists get accurate and reliable modeling and simulation results to inform the analyses and recommendations that they make to policy makers. I think that policy makers will be better off if they are informed by science and that science needs to be available when they need it most, which is during a public health or national security crisis. Now, as a scientist, whether the policy makers use this information to make good or bad decisions is beyond my control, but I want them to have the resources and information available to make the right decision at the time the decision needs to be made.

view this post on Zulip Oliver Shetler (Jul 09 2020 at 02:31):

Rongmin Lu said:

Oliver Shetler said:

As for Chinese academics, many of them completely agree with the politics of their government.
:rolling_on_the_floor_laughing: Wow, this is so informative.

it wasn't obvious to @Fabrizio Genovese, which is why I said it.

This is in the context of China's "race science"––that is, the Han supremicist concept of a Chinese Nation-Race––which is officially endorsed by the government and very popular in Chinese sociology. It is what motivates efforts to sterilize minorities after they've reached a quota of children, and it is what motivates government and private representatives of the nation to blackmail people who happen to be of the same race who live abroad.

@Fabrizio Genovese was saying that these scholars must be too ignorant to know better because of censorship and schooling. I was saying, no, most Chinese scholars have all the intellectual resources necessary to fully understand what is going on and many (not all) agree with it.

And yes, it's quite clear that there are strong incentives to go to China for resources. The point was that those who go do so voluntarily, with full knowledge of the ideas they are enabling or endorsing.

view this post on Zulip Oliver Shetler (Jul 09 2020 at 02:33):

The more general context was of pointing out how this exact situation, historically, looks black and white. Yet when it happens right here, right now, we feel confused and ambiguous about it, because there is context that makes it more nuanced.

view this post on Zulip Oliver Shetler (Jul 09 2020 at 02:42):

Rongmin Lu said:

For the record, I'm from Singapore, born and raised, just in case anybody wants to impute anything from my name. And I'm not moving from Australia.

I get how uncomfortable that part of the conversation must have felt for you. I should hope people wouldn't assume too much about your politics from your last name (or ethnicity or national identity) but I see how talking about groups of people can lead to problematic dynamics.

Maybe it's not a good topic for this forum? While I think it's important to confront the issue of collaborating with supporters of race science, I also don't want to encourage name-calling or stereotyping on the forum. What's your take on the issue?

view this post on Zulip (=_=) (Jul 09 2020 at 05:15):

Oliver Shetler said:

it wasn't obvious to Fabrizio Genovese, which is why I said it.

This is in the context of China's "race science"––that is, the Han supremicist concept of a Chinese Nation-Race––which is officially endorsed by the government and very popular in Chinese sociology.

It wasn't obvious to me either, because you seemed to have gone on a tangent from Heidegger to China. This is why Fabrizio mentioned what he did.

Ethno-nationalism isn't exclusive to China either. The Koreans have their own form of racial supremacy. In fact, nationalism isn't seen in Asia as the evil that it's seen to be in Europe, because nationalism there has historically been intricately linked with decolonisation and self-determination.

So are you going to de-platform Korean academics because they "agree with their government" as well?

view this post on Zulip (=_=) (Jul 09 2020 at 05:20):

Oliver Shetler said:

Fabrizio Genovese was saying that these scholars must be too ignorant to know better because of censorship and schooling. I was saying, no, most Chinese scholars have all the intellectual resources necessary to fully understand what is going on and many (not all) agree with it.

No, he did not say that. Here's what he said in reply to your China tangent:

Fabrizio Genovese said:

Oliver Shetler said:

As for Chinese academics, many of them completely agree with the politics of their government. And they often have the option to immigrate elsewhere, as talented people everywhere do. It is what it is.

Sure. Then again, one has also to factor in the amount of propaganda and the high level of censorship. It's easier to agree with something when alternatives are out of reach

view this post on Zulip Oliver Shetler (Jul 09 2020 at 05:27):

@Rongmin Lu I think that philosophies of racial supremacy are both bad science and bad ethics, no matter who is promoting them. I think that the philosophies of racial superiority that drove colonization were illegitimate, and I think that the philosophies of racial supremacy formed by victims of colonization are equally illigitmate. How is this even controversial? Of course Korean race science is just as concerning as German race science or American race science or Chinese race science. Even more so if it's officially endorsed anywhere.

view this post on Zulip (=_=) (Jul 09 2020 at 05:27):

What I think he meant is this: because of the level of control, as well as individual circumstances that make it difficult to immigrate elsewhere -- contrary to what you've claimed, by the way -- it's more advantageous to the individual to just go along with something, rather than oppose it.

My critique is this: how do you know that many of them "completely agree with the politics of their government"? What is your definition of "completely agree"? Fabrizio may have raised "amount of propaganda" and "high level of censorship" as factors, but I'd cite "level of control", which completely devalues any information you can get out of any Chinese academic about this particular topic.

view this post on Zulip (=_=) (Jul 09 2020 at 05:28):

Oliver Shetler said:

I think that philosophies of racial supremacy are both bad science and bad ethics, no matter who is promoting them. I think that the philosophies of racial superiority that drove colonization was illegitimate, and I think that the pbilosophies of racial supremacy formed by victims of colonization are equally illigitmate. How is this even controversial? Of course Korean race science is just as concerning as German race science or American race science or Chinese race science. Even more so if it's officially endorsed anywhere.

The issue of racial supremacy and its illegitimacy was not the question. The question was this:

Are you going to de-platform Korean academics because they "agree with their government" as well?

view this post on Zulip Oliver Shetler (Jul 09 2020 at 05:33):

I didn't advocate for de-platforming anyone. That wasn't even the topic.

The topic was, there are historical parallels between the conduct of the Chinese government and the conduct of reviled historical regimes that also used race science to justify doing harm (America included--Eugenics emerged largely in America).

My point was that we see these things in black and white when we use easy historical examples but it's much harder to judge when it's our own colleages we're talking about. That was my point. That many of own colleagues are endorsing things that we consider to be historically unequivocally evil, but we don't think they're evil.

view this post on Zulip (=_=) (Jul 09 2020 at 05:34):

Oliver Shetler said:

I didn't advocate for de-platforming anyone. That wasn't even the topic.

How is this not the topic when the whole thread was about whether or not there should be someone from BAE speaking at ACT 2020 in the first place?

view this post on Zulip (=_=) (Jul 09 2020 at 05:36):

Oliver Shetler said:

America included--Eugenics emerged largely in America.

As the wiki I've linked to pointed out, Korean ethno-nationalism derived from social Darwinist ideas in Meiji-era Japan. Social Darwinism was pretty much a pandemic idea prior to WWII.

view this post on Zulip Oliver Shetler (Jul 09 2020 at 05:38):

@Rongmin Lu are you defending racial science? Can you please make your stance clear? I'm very condused by this line of questioning.

view this post on Zulip (=_=) (Jul 09 2020 at 05:39):

Oliver Shetler said:

are you defending racial science?

Good grief, no!

Can you please make your stance clear?

I'm asking what you mean by someone "completely agreeing with their government", and what you think the consequences of that agreement should be, when you disagree with that agreement.

view this post on Zulip Oliver Shetler (Jul 09 2020 at 05:40):

"Someone completely agreeing with their government" in this context means beleiving in the form of racial science that this sub-discussion ia about, and policies that act on those beliefs. What else would I mean?

view this post on Zulip (=_=) (Jul 09 2020 at 05:42):

Oliver Shetler said:

"Someone completely agreeing with their government" in this context means believing in the form of racial science that this sub-discussion ia about, and policies that act on those beliefs. What else would I mean?

How would I know? I can't read your mind.

What would you take as evidence in "believing in the form of racial science" that their government subscribes to?

view this post on Zulip Joscha Diehl (Jul 09 2020 at 05:42):

@John Baez I regret using the word evil now. It's too loaded.

Regarding where to draw the line: yes, that is exactly why I asked the question. I do not have a good answer to this. Funding from the defense department is hard to avoid in the US (even Chomsky lamented that he was a hypocrite in this sense). And you are right, there are many concerns with Facebook/Google as well (privacy concerns, military contracts, ..). And working with/inviting people from these companies is almost unavoidable in applied math.

For me at least, a military R&D company like BAE falls very much outside of 'the line'. I was very sad to see someone speak about the kind of math that we do, knowing for what it is ultimately used. We, in a relatively theoretical field, have a chance to be more selective about who to let speak (than, say, engineers). And I think we should use that chance.

Banning of certain companies, in general, is I think not as controversial as you make it sound. I'm sure there is a line that you would draw somewhere as well? Would you, say, let an engineer from Marlboro speak? A logistics manager from Blackwater (now Academi)?

Because this question is so hard, I'd like to see people's opinions.

view this post on Zulip Oliver Shetler (Jul 09 2020 at 05:43):

@Rongmin Lu I don't know what if anything the consequences should be. This was my entire point. We wax righteous about these issues when the topic is historical, but it's hard to decide what to do about it when it happens here and now.

Look at the guy who deleted his account over the mere mention of well verified facts (note that I did not make any controversial claims, I stuck to the ones everybody agrees on). This was my entire point. Making moral judgements is really hard in practice.

view this post on Zulip (=_=) (Jul 09 2020 at 05:46):

Oliver Shetler said:

I don't know what if anything the consequences should be. This was my entire point. We wax righteous about these issues when the topic is historical, but it's hard to decide what to do about it when it happens here and now.

Then it's not very desirable, is it, if you're not able to produce some clear criteria of what level of evidence should be required to satisfy such a "purity test" of the lack of such undesirable beliefs?

view this post on Zulip Oliver Shetler (Jul 09 2020 at 05:49):

I'm sorry. I'll remove it. Isn't this topic making you upset though? If not, we should talk about tone management.

view this post on Zulip Oliver Shetler (Jul 09 2020 at 05:51):

And yes @Rongmin Lu my nerves are getting a little raw. I feel like you are putting words in my mouth on a permanent record and I am regretting speaking up.

view this post on Zulip (=_=) (Jul 09 2020 at 05:52):

Oliver Shetler said:

Isn't this topic making you upset though?

It's making a lot of people upset, because the direction this thread is taking is plainly exclusionary.

view this post on Zulip Oliver Shetler (Jul 09 2020 at 05:52):

For example, I am not and never was advocating for a purity test. Just the opposite. I was pointing out how complicated these issues are when we are dealing with our very own friends and colleagues.

view this post on Zulip (=_=) (Jul 09 2020 at 05:53):

The observation that there are "purity tests" in this community was brought up by Giorgos.

Giorgos Bakirtzis said:

Bringing it back and explaining why I have such a strong reaction to this: there are already purity tests in this community.

view this post on Zulip Oliver Shetler (Jul 09 2020 at 05:57):

It sounds like maybe we should talk about how to contend exclusionary rhetoric.

view this post on Zulip (=_=) (Jul 09 2020 at 05:59):

Oliver Shetler said:

It sounds like maybe we should talk about how to contend exclusionary rhetoric.

That ship has sailed a long time ago. There are already people who've left this community because they felt it was being exclusionary. You've just mentioned one:

Look at the guy who deleted his account over the mere mention of well verified facts

view this post on Zulip Oliver Shetler (Jul 09 2020 at 06:00):

Today, or more generally?

view this post on Zulip (=_=) (Jul 09 2020 at 06:01):

Today. I was away while the conversation happened, because I came back and saw nothing.

view this post on Zulip Oliver Shetler (Jul 09 2020 at 06:02):

How many people left?

view this post on Zulip (=_=) (Jul 09 2020 at 06:02):

Today? Just this one, I guess.

view this post on Zulip Oliver Shetler (Jul 09 2020 at 06:03):

Ok, so this is an ongoing trend?

view this post on Zulip Oliver Shetler (Jul 09 2020 at 06:03):

Can you remember other examples?

view this post on Zulip Oliver Shetler (Jul 09 2020 at 06:05):

I thought this was a special conference topic, and that it was important to flesh out issues about how to manage conflicts of interest in ACT. I didn't realize this was an ongoing dynamic. Do you remember other threads?

view this post on Zulip (=_=) (Jul 09 2020 at 06:07):

Daniel Geisler was close to leaving at one point.

view this post on Zulip Oliver Shetler (Jul 09 2020 at 06:08):

I remember that. I don't think it was about ethical conflicts of interest.

view this post on Zulip Daniel Geisler (Jul 09 2020 at 06:08):

Yup, but I talked things out.

view this post on Zulip (=_=) (Jul 09 2020 at 06:09):

Yeah, and I guess some people don't feel like they could talk things out.

view this post on Zulip David Tanzer (Jul 09 2020 at 06:11):

I remember reading, in some comments by Marx, that the 19 century German social democratic party had a policy of effacing all class distinctions within the party itself.

view this post on Zulip David Tanzer (Jul 09 2020 at 06:12):

Science in some ways is like a party, but not a political one.

view this post on Zulip David Tanzer (Jul 09 2020 at 06:14):

To my mind, that's not the essence of it. It is the pursuit of truth, by rational, empirical methods.

view this post on Zulip David Tanzer (Jul 09 2020 at 06:16):

Well, in any case, we're kind of like a party here, and I would make a call for unity.

view this post on Zulip David Tanzer (Jul 09 2020 at 06:17):

The needs for progress - for social progress, to be aided by science -- are urgent.

view this post on Zulip David Tanzer (Jul 09 2020 at 06:17):

It would be a true loss for us to get consumed by infighting.

view this post on Zulip Oliver Shetler (Jul 09 2020 at 06:17):

@Rongmin Lu

It's making a lot of people upset, because the direction this thread is taking is plainly exclusionary.

I think this raises a really important concern.

On the one hand, we want to be able to openly discuss moral concerns about how the community's work gets used, insofar as this is controllable.

On the other hand, we don't want to alienate people, (unless there is a strong rational consensus that in a particular case, we do). We want people to join and do maths. But we don't want to brush ethics aside.

How do we get satisfy both desires?

view this post on Zulip David Tanzer (Jul 09 2020 at 06:19):

So I propose that we take an inclusionary stance with respect to contributions to our science.

view this post on Zulip David Tanzer (Jul 09 2020 at 06:20):

While at the same time redoubling our efforts and focus on seeking progressive applications.

view this post on Zulip David Tanzer (Jul 09 2020 at 06:22):

In principle, this can include social sciences - learning more about the truth of society, its problems, and possible resolutions.

view this post on Zulip Oliver Shetler (Jul 09 2020 at 06:23):

@David Tanzer I'm leaning in favor of this stance as well, but people will raise issues such as:

(1) should we accept contributions from military scientists who support governments that commit war crimes? That is, should these people be allowed to contribute, given that they will also bennefit from the network and may use the group's resources for weapons reseaech?

(2) Same question for engineers of race projects (for example, machine learning engineers who use this ACT to help with eugenics projects)

Etc.

How do you respond to these issues when they come up?

view this post on Zulip Daniel Geisler (Jul 09 2020 at 06:25):

@Oliver Shetler I think you took the first step by enunciating the major concerns and an enlightened approach to dealing with people. My spiritual name is Prashanta - Dynamic Peace, and much of my work is internally and then externally processing the dichotomy between being a protector and also looking after other people's rights.
Processing this stuff is difficult work as the court systems of the world have shown.

view this post on Zulip David Tanzer (Jul 09 2020 at 06:27):

Not sure what you mean by accepting contributions to military scientists. I was talking about taking an inclusionary stance towards accepting useful mathematical ideas, without focusing on the personal circumstances of the author.

view this post on Zulip David Tanzer (Jul 09 2020 at 06:27):

Not that this is a deciding argument, but I find the comparison to be evocative:

view this post on Zulip Oliver Shetler (Jul 09 2020 at 06:28):

Sorry, typographical error

view this post on Zulip Oliver Shetler (Jul 09 2020 at 06:29):

The issue that was originally raised is that accepting participation (rather than just citing papers) from people wbo work for these sorts of organizations bennefits their work, too.

view this post on Zulip David Tanzer (Jul 09 2020 at 06:29):

With the German social democrats, the point was that if someone was sincere in working towards socialism, it was to be effaced whether they themselves were a capitalist or not.

view this post on Zulip Oliver Shetler (Jul 09 2020 at 06:32):

I see. So you're advocating for a form of professional ethics that says we must accept contributions from anyone who makes them, as long as they don't harm the community of mathematicians itself.

view this post on Zulip Oliver Shetler (Jul 09 2020 at 06:33):

So in this form of professional ethics, we take a "politics blind" approach so that the whole community can build a better future, even if members contribute to harm.

view this post on Zulip Oliver Shetler (Jul 09 2020 at 06:33):

Am I understanding you correctly?

view this post on Zulip David Tanzer (Jul 09 2020 at 06:38):

These are very complex questions, and I don't have a formulaic answer.

view this post on Zulip David Tanzer (Jul 09 2020 at 06:39):

I raised the comparison only as an evocative analogy.

view this post on Zulip David Tanzer (Jul 09 2020 at 06:48):

To me, trying to come up with a decision procedure for what is "too evil" is a losing game. What about all the people who's tax dollars fund military projects, etc. It's a philosophical morass.

view this post on Zulip David Tanzer (Jul 09 2020 at 06:49):

Let's set goals to identify essential problems with the environment and society, and work towards change. We need all the science we can get for this.

view this post on Zulip (=_=) (Jul 09 2020 at 06:51):

David Tanzer said:

In principle, this can include social sciences - learning more about the truth of society, its problems, and possible resolutions.

I think this can be in practice as well. I think I've seen quite a few philosophers here. Since societies are complex systems, we should be able to think about them using the tools we have to study complex systems. It may well help us to hone those tools too.

view this post on Zulip (=_=) (Jul 09 2020 at 07:06):

Oliver Shetler said:

Same question for engineers of race projects (for example, machine learning engineers who use this ACT to help with eugenics projects)

This is actually science that you can justifiably call "bad". Because neural networks are functions parametrised by data, their outputs are influenced by the shape of the data, which has all sorts of biases. So yes, we can exclude them on the basis of the poor quality of the science. In fact, we should study, and people have studied, why the poor quality of the data leads to poor outcomes from these ML projects.

view this post on Zulip David Tanzer (Jul 09 2020 at 07:21):

To recap, I do advocate for a "unity party" approach to science. We need this to even be able to approach the pressing and daunting emergencies now faced by the human race. That is the first-order consideration.

view this post on Zulip David Tanzer (Jul 09 2020 at 07:30):

There is an optimization involved here.

view this post on Zulip David Tanzer (Jul 09 2020 at 07:45):

As part of this optimization, I could see an exception being made for would-be contributors who themselves publicly espouse ideas that are offensive to basic community values, such as one who writes supremacist propaganda. There would be consensus here about that, so it would not be a divisive decision.

view this post on Zulip Tim Hosgood (Jul 09 2020 at 07:50):

with respect to the original BAE thing, my thoughts are (I think) very similar to Jules’: you don’t need to be able to define when exactly a pile of sand becomes a heap to be able to say that there’s a lot of sand in the Sahara. I know that lots of people seem to feel very strongly about no-platforming as something anti-democratic or whatever, but, to me, the situation is now that BAE can unequivocally say “oh look, we’re part of the ACT community”, and this makes me very reluctant to identify as a member of the community myself. I’m not going to pretend that the community would be missing out on anything if I left, but I guess it boils down to this: is the pursuit of pure mathematical knowledge more important to this community than the human element of the community (and the world at large)?

view this post on Zulip Tim Hosgood (Jul 09 2020 at 08:45):

and, to me, the “worst” case scenario of trying very hard to avoid associations with things like BAE is that category theory research gets set back by 20 years or whatever because we exclude some great minds, all “just” to try to make this community seem as compassionate as possible

view this post on Zulip Tim Hosgood (Jul 09 2020 at 08:47):

but, to me, the “just” part of the above is so much more important. if you want to be purely utilitarian, think (as previously alluded to) how many more great minds would come to the field at the “cost” of cutting out war-crime companies. on a much more human level, is category theory research progress really worth more than our moral and ethical responsibilities towards other human beings?

view this post on Zulip Tim Hosgood (Jul 09 2020 at 08:50):

I think that’s all I have to add. It might seem overly idealistic and “hippy” as an attitude, but, from personal experience, these debates between mathematicians usually lack somewhat these sorts of opinions, and tend more towards “let’s be rational logicians”, so hopefully this might resonate somewhat with some people

view this post on Zulip (=_=) (Jul 09 2020 at 08:50):

Tim Hosgood said:

is the pursuit of pure mathematical knowledge more important to this community than the human element of the community (and the world at large)?

If the pursuit of pure mathematical knowledge is more important, then we can just get rid of the A in ACT, because that's what pure maths does: it no-platforms everything that isn't pure mathematical knowledge.

view this post on Zulip (=_=) (Jul 09 2020 at 08:53):

This was basically Grothendieck's point of view: IHES was damned in his eyes because it took money from the French ministry of defence. I mean, it's great now that IHES has no military sources of funding, but maths lost the input of Grothendieck along the way.

view this post on Zulip (=_=) (Jul 09 2020 at 08:55):

Tim Hosgood said:

I know that lots of people seem to feel very strongly about no-platforming as something anti-democratic or whatever

Oh no, no no no, no-platforming is VERY democratic. It is just anti-discourse.

view this post on Zulip Tim Hosgood (Jul 09 2020 at 09:01):

I think that characterising BAE as being amongst a collection “industry players that has done something useful” is incredibly dishonest. I agree that, because of his views, we “lost” Grothendieck, but... so what? Is mathematics currently suffering in a way that we can directly pinpoint on Grothendieck’s departure? I don’t think so. I would have loved for him to have continued being a part of the mathematical community, but I appreciate that he decides that some things are more important than algebraic geometry

view this post on Zulip Tim Hosgood (Jul 09 2020 at 09:02):

To me, if the progress of ACT is so heavily dependent on “necessary” association with evil companies, then I don’t particularly want it to advance very much

view this post on Zulip Joscha Diehl (Jul 09 2020 at 09:03):

Having weapons companies present is not pro-discourse per se. Because the discourse at a math conference is usually focussed on math. What would be pro-discourse is the suggestion by @John Baez to give people the (scheduled) chance to discuss from non-mathematical a perspective about companies that are given publicity at the conference.

view this post on Zulip Tim Hosgood (Jul 09 2020 at 09:04):

people who write off a community for choosing to not associate with immoral activities (to put it lightly) aren’t really the sort of people who would make a particularly moral community, as i see it

view this post on Zulip (=_=) (Jul 09 2020 at 09:07):

Tim Hosgood said:

I agree that, because of his views, we “lost” Grothendieck, but... so what? Is mathematics currently suffering in a way that we can directly pinpoint on Grothendieck’s departure?

Yes. His Esquisse was disregarded for many years before people started to pick up the pieces. Arguably, a lot of algebraic geometry and homotopy theory could have been done if he had not broken up with the mathematics community.

I appreciate that he decides that some things are more important than algebraic geometry

I appreciate that you've demonstrated that, like Grothendieck, you don't really care about the maths.

view this post on Zulip (=_=) (Jul 09 2020 at 09:10):

Joscha Diehl said:

Having weapons companies present is not pro-discourse per se.

Tim was arguing that having someone from BAE signals that BAE is part of the ACT community, which Tim finds distasteful. I find that an anti-discourse stance. I get that it'd be great morally not to allow anyone with affiliations to weapons companies to participate, but it's still stifling discourse nonetheless.

view this post on Zulip Tim Hosgood (Jul 09 2020 at 09:10):

Sure, I don't really care about maths :upside_down:
I don't really understand the point you're trying to make here, since it feels more just like you're trying to find logical holes in how I feel about this. Feel free to do that, but I find it tiring and pointless, so I think I'll leave this debate here.

view this post on Zulip Tim Hosgood (Jul 09 2020 at 09:10):

not all discourse deserves to be had

view this post on Zulip (=_=) (Jul 09 2020 at 09:11):

Tim Hosgood said:

I don't really understand the point you're trying to make here

I was reacting to Oliver's point about "Chinese academics agreeing with their governments".

view this post on Zulip Tim Hosgood (Jul 09 2020 at 09:12):

(I read the entire thread)

view this post on Zulip (=_=) (Jul 09 2020 at 09:14):

Then you'd know that this thread had moved on beyond BAE, particularly in the interactions between Fabrizio and Oliver.

view this post on Zulip (=_=) (Jul 09 2020 at 09:15):

I was objecting to something Oliver had said. In that context, according to Oliver, it was about bad science, although Fabrizio and I had clearly read his comment differently.

view this post on Zulip (=_=) (Jul 09 2020 at 09:20):

Tim Hosgood said:

I think that characterising BAE as being amongst a collection “industry players that has done something useful” is incredibly dishonest.

There are people who do pure maths who effectively conceive of "industry" as such a collection. Perhaps they are mistaken. I certainly think so.

view this post on Zulip (=_=) (Jul 09 2020 at 09:23):

Tim Hosgood said:

it feels more just like you're trying to find logical holes in how I feel about this. Feel free to do that, but I find it tiring and pointless, so I think I'll leave this debate here.

Your words are not gospel that I have to take on faith.

view this post on Zulip (=_=) (Jul 09 2020 at 09:23):

Tim Hosgood said:

not all discourse deserves to be had

You're free to hold this view, but I'll still call it an "anti-discourse" view.

view this post on Zulip Joscha Diehl (Jul 09 2020 at 09:26):

Rongmin Lu said:

Joscha Diehl said:

Having weapons companies present is not pro-discourse per se.

Tim was arguing that having someone from BAE signals that BAE is part of the ACT community, which TIm finds distasteful. I find that an anti-discourse stance. I get that it'd be morally wonderful not to allow anyone with affiliations to weapons companies to participate, but it's still stifling discourse nonetheless.

It would be an anti-discourse stance if we were at a, say, a conference about 'Ethics in engineering', to disallow BAE to participate. We are at a math conference, and unless the issue is brought up (as is in this thread, which is fantastic I think) there is no discourse. BAE gets to associate with ACT (for the outside world), and to advertise working with them (to the participants).

view this post on Zulip (=_=) (Jul 09 2020 at 09:26):

Joscha Diehl said:

What would be pro-discourse is the suggestion by John Baez to give people the (scheduled) chance to discuss from non-mathematical a perspective about companies that are given publicity at the conference.

Sure, but according to Tim, that's not good enough. According to him, those companies should never have been given a chance to show up at the conference in the first place. That's why I called that view "anti-discourse".

view this post on Zulip (=_=) (Jul 09 2020 at 09:27):

Joscha Diehl said:

BAE gets to associate with ACT (for the outside world), and to advertise working with them (to the participants).

And clearly that's something Tim finds distasteful.

view this post on Zulip Joscha Diehl (Jul 09 2020 at 09:31):

Yes, I completely agree with Tim on that. I was arguing against your point that it is anti-discourse to not want this to happen.

view this post on Zulip (=_=) (Jul 09 2020 at 09:35):

Joscha Diehl said:

Yes, I completely agree with Tim on that. I was arguing against your point that it is anti-discourse to not want this to happen.

I did not say that.
Tim said no-platforming was anti-democratic. I disagreed and argued that it's actually anti-discourse.
What you are now saying is to give BAE a platform but allow others to have a discourse about why it's undesirable.
That is not no-platforming: no-platforming means BAE should never have been here in the first place. That was what Tim was arguing should have happened.

view this post on Zulip (=_=) (Jul 09 2020 at 09:37):

And sure, if the community decides it is going to no-platform anyone who works for any objectionable company, for a community-decided value of "objectionable", go for it. But it is still an anti-discourse stance. It is also VERY democratic.

view this post on Zulip Tim Hosgood (Jul 09 2020 at 09:39):

Rongmin Lu said:

Joscha Diehl said:

Yes, I completely agree with Tim on that. I was arguing against your point that it is anti-discourse to not want this to happen.

I did not say that. Tim said no-platforming was anti-democratic.

No. I am not taking part in this discussion anymore, but please don't start misquoting me. I said that "lots of people seem to feel very strongly about no-platforming as anti-democratic or whatever".

view this post on Zulip (=_=) (Jul 09 2020 at 09:41):

Tim Hosgood said:

No. I am not taking part in this discussion anymore, but please don't start misquoting me. I said that "lots of people seem to feel very strongly about no-platforming as anti-democratic or whatever".

Then please don't misquote "lots of people" either. Nobody in this thread ever said that no-platforming was anti-democratic, not even me.

view this post on Zulip Tim Hosgood (Jul 09 2020 at 09:43):

Rongmin Lu said:

Tim Hosgood said:

No. I am not taking part in this discussion anymore, but please don't start misquoting me. I said that "lots of people seem to feel very strongly about no-platforming as anti-democratic or whatever".

Then please don't misquote "lots of people". Nobody ever said that no-platforming was anti-democratic. Certainly not me either.

I think that "lots of people _seem to think_" is pretty clearly not a statement equivalent to "lots of people _definitely think, and I have statistical evidence_". I never (intentionally) implied that you thought it was anti-democratic. However, "nobody ever said that no-platforming is anti-democratic" seems an odd take... it's a view I've come across quite a lot.
Screenshot-2020-07-09-at-11.41.30.png

view this post on Zulip Jules Hedges (Jul 09 2020 at 09:44):

Well, woke up this morning to nearly 200 posts on this thread. Thank you to @Steve Huntsman for chiming in. Since I partly started this thread I want to be clear I have nothing against you personally (and your talk was great). However I also stand without heasitation with what I said before: BAE-the-organisation should not have been given a slot in the industry session. The fact that there is any debate about this at all makes me very, very doubtful that there is anything much salvageable in this community's collective "values" that we can agree on

view this post on Zulip Tim Hosgood (Jul 09 2020 at 09:45):

I really don't want to continue this conversation though, and apologise for getting sucked back in. It really has diverged from the original point.

view this post on Zulip Jules Hedges (Jul 09 2020 at 09:46):

About half of 200 messages I just scanned through appear to be people trying to logically rationalise a defence of an organisation that is complicit in ongoing war crimes

view this post on Zulip Tim Hosgood (Jul 09 2020 at 09:46):

Jules Hedges said:

Well, woke up this morning to nearly 200 posts on this thread. Thank you to Steve Huntsman for chiming in. Since I partly started this thread I want to be clear I have nothing against you personally (and your talk was great). However I also stand without heasitation with what I said before: BAE-the-organisation should not have been given a slot in the industry session. The fact that there is any debate about this at all makes me very, very doubtful that there is anything much salvageable in this community's collective "values" that we can agree on

I think this says what I would like to say much more concisely than I could achieve

view this post on Zulip Jules Hedges (Jul 09 2020 at 09:47):

Additional: I'm muting this thread now, there is nothing left to say on the matter

view this post on Zulip Tim Hosgood (Jul 09 2020 at 09:48):

didn't realise you could do that on Zulip, thanks for the heads up! ditto

view this post on Zulip Bob Coecke (Jul 09 2020 at 13:34):

You may want to check some comments on @Jules Hedges twitter tread on how we got here, and the local organisers well-intended inclusion to enable people to attend that otherwise couldn't via sponsorship. So it was all about being inclusive towards those who would have a hard time doing so pre-COVID.

view this post on Zulip John Baez (Jul 09 2020 at 18:27):

Joscha Diehl said:

Banning of certain companies, in general, is I think not as controversial as you make it sound.

I wasn't trying to make it sound controversial. When I asked "would you ban X, Y and Z?" it's because I wanted to actually know people's answers to those questions - it wasn't a rhetorical ploy. I haven't gotten many responses.

view this post on Zulip John Baez (Jul 09 2020 at 19:00):

Jules Hedges said:

About half of 200 messages I just scanned through appear to be people trying to logically rationalise a defence of an organisation that is complicit in ongoing war crimes

I don't see that going on here.

view this post on Zulip Joshua Meyers (Jul 09 2020 at 19:04):

I want to hear about military applications of ACT because it will help me understand ACT as it actually exists in the world. I don't sympathize with the position that we will reduce ACT's military application simply by not hearing about it in our conferences. Seems kind of like a "shoot the messenger" type argument. Sure, it does help BAE to have them at our conference. But the evil we do by helping them in this way is negligible compared to the evil BAE is doing in the world in its material operations. And it also helps us understand the state of ACT as it is exists in the world, rather than a sterilized version where we get to pretend that it isn't going to be applied to anything evil.

view this post on Zulip Joshua Meyers (Jul 09 2020 at 19:05):

We need to focus on diminishing evil in the world, not selfishly diminishing our share of that evil.

view this post on Zulip John Baez (Jul 09 2020 at 19:12):

I agree with Joshua that "keeping all the nasty organizations out" has disadvantages as well as advantages. It means that the nasty organizations (who by the way have lots more money and resources than us) will read our papers, build on them, but never talk to us - so they'll do their own work never encountering criticism from us.

If instead we had a public session where we discussed the ethical issues raised by the various talks at ACT, "nasty organizations" will get to hear scholars saying they're doing nasty things.

view this post on Zulip John Baez (Jul 09 2020 at 19:14):

The good publicity they get from speaking at the conference would be negated by the bad publicity of a YouTube video where scholars discuss their evil deeds.

Of course it'd be tricky to carry this out successfully - it might be impractical.

view this post on Zulip John Baez (Jul 09 2020 at 19:16):

I'm talking about talks now. This is separate from corporate sponsorships: I think it makes a lot of sense to prevent "nasty organizations" (however they get defined) from being able to display their logo on the ACT conference webpage.

view this post on Zulip Joshua Meyers (Jul 09 2020 at 19:23):

Yes I agree about corporate sponsorships.

view this post on Zulip Steve Huntsman (Jul 09 2020 at 19:46):

Joshua Meyers said:

I want to hear about military applications of ACT because it will help me understand ACT as it actually exists in the world. I don't sympathize with the position that we will reduce ACT's military application simply by not hearing about it in our conferences. Seems kind of like a "shoot the messenger" type argument. Sure, it does help BAE to have them at our conference. But the evil we do by helping them in this way is negligible compared to the evil BAE is doing in the world in its material operations. And it also helps us understand the state of ACT as it is exists in the world, rather than a sterilized version where we get to pretend that it isn't going to be applied to anything evil.

Look at the affiliations of the UMAP authors

view this post on Zulip Joscha Diehl (Jul 09 2020 at 20:09):

John Baez said:

I wasn't trying to make it sound controversial. When I asked "would you ban X, Y and Z?" it's because I wanted to actually know people's answers to those questions - it wasn't a rhetorical ploy. I haven't gotten many responses.

Sorry, misinterpreted that. So, to give a concrete answer: yes, at the beginning of the thread I was of the opinion that banning talks from weapons manufacturers is a good first start. This was under the assumption that these talks would happen in a vacuum, and not be accompanied by a thorough discussion (as we are seeing the beginnings of, in this thread).
I think your suggestion to give people the chance to give a short "context talk" for any corporate talk would be fantastic. This would result in an effective ban of companies like BAE though, I think. They probably would not want a spotlight put on their company's history, scandals, and general business ethic.

view this post on Zulip Joshua Meyers (Jul 09 2020 at 20:25):

Steve Huntsman said:

Joshua Meyers said:

I want to hear about military applications of ACT because it will help me understand ACT as it actually exists in the world. I don't sympathize with the position that we will reduce ACT's military application simply by not hearing about it in our conferences. Seems kind of like a "shoot the messenger" type argument. Sure, it does help BAE to have them at our conference. But the evil we do by helping them in this way is negligible compared to the evil BAE is doing in the world in its material operations. And it also helps us understand the state of ACT as it is exists in the world, rather than a sterilized version where we get to pretend that it isn't going to be applied to anything evil.

Look at the affiliations of the UMAP authors

What about them?

view this post on Zulip Steve Huntsman (Jul 09 2020 at 20:25):

https://en.wikipedia.org/wiki/Tutte_Institute_for_Mathematics_and_Computing

view this post on Zulip Joscha Diehl (Jul 09 2020 at 20:29):

@Steve Huntsman Regarding the suggestion by @John Baez : would you have agreed to give a talk, if you knew that people were given the opportunity to give "context talks" on any corporation whose employees give a presentation?

view this post on Zulip Steve Huntsman (Jul 09 2020 at 21:32):

Joscha Diehl said:

Steve Huntsman Regarding the suggestion by John Baez : would you have agreed to give a talk, if you knew that people were given the opportunity to give "context talks" on any corporation whose employees give a presentation?

In such a situation I would naturally be obligated to include that information in my public release request. I don't think I would bother _submitting_ a technical talk. If _invited_ under those auspices I would make the request.

view this post on Zulip xavier (mathematical artist) (Jul 09 2020 at 21:37):

I think we can take an automata approach to the values. In essence, there are some initial carefully selected behavior assertions from which certain desired outcomes are made inevitable. From an organizational analysis standpoint, those organizations which are stagnant and lacking integrity have one key quality—a high trust sparsity and, consequently, a low transparency. By simply asserting that people must take actions to foster and maintain a trust-dense environment, we get rid of an entire class of degenerate organizational states. And things like a code of conduct naturally, implicitly fall out of that. If a person does something to harm another person, this reduces trust density, and thus violates the positive assertion.

Another quality is that of making room for excellence in all of its forms. An innovative knowledge-based organization/community will always find a place for talent. If excellent or potential for excellence is turned away, then this is a sign of degeneracy. With some way to gain a sense of whether such individuals do in fact make their way into the community and are allowed to contribute, this is a sign of health.

A final thing to note is that efficient organizations take a fractal structure. Since this community has at its core the use of category theory as a tool for extracting patterns from wherever they are and incorporating them into a larger theory, we should see this behavior in how we engage with the physical world as well, to include people. After all, mathematics is a mental tool used by our mental processes, and we are also those mental processes coupled together.

In short, the organization as an automaton can allow for thinking about a minimal set of positive assertions from which desired behavior and monitoring of degeneracy can manifest. Two major ones are to take actions to foster trust density and to assimilate excellence in all of its forms. The efficient organization has a fractal structure, so let these mathematical tools be a guide on how to build, maintain, and navigate the world as a community.

view this post on Zulip Fabrizio Genovese (Jul 09 2020 at 22:17):

Xavier said:

I think we can take an automata approach to the values. In essence, there are some initial carefully selected behavior assertions from which certain desired outcomes are made inevitable. From an organizational analysis standpoint, those organizations which are stagnant and lacking integrity have one key quality—a high trust sparsity and, consequently, a low transparency. By simply asserting that people must take actions to foster and maintain a trust-dense environment, we get rid of an entire class of degenerate organizational states. And things like a code of conduct naturally, implicitly fall out of that. If a person does something to harm another person, this reduces trust density, and thus violates the positive assertion.

Another quality is that of making room for excellence in all of its forms. An innovative knowledge-based organization/community will always find a place for talent. If excellent or potential for excellence is turned away, then this is a sign of degeneracy. With some way to gain a sense of whether such individuals do in fact make their way into the community and are allowed to contribute, this is a sign of health.

A final thing to note is that efficient organizations take a fractal structure. Since this community has at its core the use of category theory as a tool for extracting patterns from wherever they are and incorporating them into a larger theory, we should see this behavior in how we engage with the physical world as well, to include people. After all, mathematics is a mental tool used by our mental processes, and we are also those mental processes coupled together.

In short, the organization as an automaton can allow for thinking about a minimal set of positive assertions from which desired behavior and monitoring of degeneracy can manifest. Two major ones are to take actions to foster trust density and to assimilate excellence in all of its forms. The efficient organization has a fractal structure, so let these mathematical tools be a guide on how to build, maintain, and navigate the world as a community.

I really like this approach! It's simple, yet principled, and doesn't let out of sight something very important: Without common sense, any CoC, law or policy turns very rapidly into a perversion that does more harm than good. So we should indeed act to mantan trust and build a culture of applying common sense wherever possible.

view this post on Zulip Esa Pulkkinen (Jul 09 2020 at 22:27):

Perhaps there can be a categorical characterization of "evil" that reflects the values. Just to utilize the expertise that the people here already have. Something like "In the category of people and interactions, quotient objects are considered illegal".

view this post on Zulip xavier (mathematical artist) (Jul 09 2020 at 22:30):

The simplest definition of evil is really that it tends to be characterized by zero-sum behavior. So again, by simply requiring positive-sum behavior, you also get rid of many degenerate cases. This one has less obviously general utility than the others because sometimes things actually are zero-sum and one must act according to that. Even so, zero-sum behavior is a warning sign.

view this post on Zulip Joscha Diehl (Jul 10 2020 at 06:08):

Steve Huntsman said:

In such a situation I would naturally be obligated to include that information in my public release request. I don't think I would bother _submitting_ a technical talk. If _invited_ under those auspices I would make the request.

Thanks for clarifying.

view this post on Zulip (=_=) (Jul 10 2020 at 07:11):

John Baez said:

Jules Hedges said:

About half of 200 messages I just scanned through appear to be people trying to logically rationalise a defence of an organisation that is complicit in ongoing war crimes

I don't see that going on here.

Exactly.

view this post on Zulip Morgan Rogers (he/him) (Jul 10 2020 at 09:44):

Rongmin Lu said:

Tim Hosgood said:

not all discourse deserves to be had

You're free to hold this view, but I'll still call it an "anti-discourse" view.

Picking holes in and throwing sarcastic retorts at legitimate opinions until someone loses the will or emotional energy to argue back seems pretty anti-discourse to me, @Rongmin Lu. This is a platform for a whole community, not an arena where everyone is required to meet your personal standards of argumentative rigour in order for their opinion to be heard. Whom does a personal, and imo unfounded, attack like

I appreciate that you've demonstrated that, like Grothendieck, you don't really care about the maths.

benefit, exactly? When you have a point to make, by all means make it, but I'm tired of seeing the fallout of you apparently being argumentative for the sake of it.

view this post on Zulip Morgan Rogers (he/him) (Jul 10 2020 at 09:45):

I appreciate that these comments aren't the most timely, but I couldn't bare to see this happening again and not comment.

view this post on Zulip (=_=) (Jul 10 2020 at 10:47):

[Mod] Morgan Rogers said:

Picking holes in and throwing sarcastic retorts at legitimate opinions until someone loses the will or emotional energy to argue back seems pretty anti-discourse to me

And your so-called moderation isn't anti-discourse?

I'm frankly quite sick of your heavy-handed interventions as well. Didn't John Baez say to use a light touch? Why are YOU constantly blaming ME for tantrums that other people are throwing because THEY disagree with me?

People disagree with each other, often vigorously, all the time on online forums. People have left conversations because they don't want to engage. It's THEIR choice.

And if you wanted to police that, why did you not go after Oliver Shetler after his comments led to someone deactivating their account? Oliver laughed about that. I got a PM from that guy saying the discussion was "unreadable": it was.

Why did you not go after Oliver for having literally caused a former member of the community to head for the exit? He and I literally discussed that on here yesterday.

Isn't that a double standard on YOUR part? Because it sure as heck is looking like that to me right now.

view this post on Zulip Fabrizio Genovese (Jul 10 2020 at 11:14):

Can I maybe suggest to calm down and working your differences through a private conversation?

view this post on Zulip Fabrizio Genovese (Jul 10 2020 at 11:15):

I don't want to pick sides here, moreover I believe that an escalating conversation is not really beneficial for the community :slight_smile:

view this post on Zulip Nina Otter (Jul 10 2020 at 11:49):

Related to this discussion, an article about a letter that urges to cut ties with police, which will be published by the AMS Notices: https://www.insidehighered.com/news/2020/06/24/mathematicians-urge-cutting-ties-police

view this post on Zulip Nina Otter (Jul 10 2020 at 11:50):

I signed this some time ago, and I think that you can still sign if you want to.

view this post on Zulip Oliver Shetler (Jul 10 2020 at 15:21):

@Rongmin Lu I did not laugh about that, and this is another instance where, to me, it feels like you are misquoting me. I have noticed that others such as @Tim Hosgood have also felt that you misquoted them, and that you have felt misquoted by him. As far as I can tell, you are the only person who regularly gets into these sorts of misquotation conflicts with people.

I want to put that here in the public record, because misleading comments can dammage peoples' reputations. I get that what I said felt exclusionary to you, and I've been thinking on my own time about what went wrong and how I can improve my conduct in the future. If you had reached out to me with receptive intentions (publicly or privately), you would already know that.

I would also like to note that someone had already reached out to me early on in the conversation (when it was just me and @Fabrizio Genovese ). In response, I clarified what I had intended for the comment to mean privately (and this satisfied the concerned person). Then I attempted to delete my comment (which really amounts to minimizing it) so that the concerning comment could be left aside. I felt that if it could be concerning to people, it was appropriate to take it down.

However @Rongmin Lu, you excavated the comment and quoted me, so I restored and tried to clarify the comment. I feel that this sort of baiting was unnecessary, and provocative. The deletion should have been an indication that I felt the comment was unnecessary.

I regret that I wasn't able to de-escalate the conversation after that. I felt caught between publicly defending myself and wanting to empathize with you @Rongmin Lu. Perhaps I ended up failing at both by trying to split the difference.

This is the last thing I will say publicly on the subject, except to defend myself from these sorts of comments. If you have an honest interest in helping this community become more welcoming, while still retaining its moral backbone, please reach out to me privately to discuss. I am more than happy collaboratively resolve this conflict if you are willing.

And if anyone also felt concerned about my comments or @Fabrizio Genovese, @Rongmin Luand my conversation, I would appreciate your private constructive feedback as well.

view this post on Zulip John Baez (Jul 10 2020 at 21:01):

Rongmin Lu said:

I'm frankly quite sick of your heavy-handed interventions as well. Didn't John Baez say to use a light touch?

Yes, but a light touch hasn't worked. You keep becoming aggressive - your comments now are a great example.

The moderators will have to figure out what to do here. So far we'd been able to avoid the need for serious moderation.

view this post on Zulip Christina Vasilakopoulou (Jul 13 2020 at 08:35):

Back to the original discussion, I have also expressed my personal opinion to some people, but here it is also publicly: I believe that any individual is of course free to be employed or be funded by some company or other organization (I have myself been indirectly funded by US military, and my personal thoughts about that are, I believe, not relevant to this discussion). But when it comes to community actions of endorsement, be it as receiving sponsorship for the ACT conference and exhibiting a logo or provide a public slot which serves, at least partly, as advertising, we need to be extra careful (and yes, personally I am happy with the decision to take down the logo and I would also suggest not allowing BAE in the industry showcase. On the other hand, a researcher of BAE could potentially submit a talk to the ACT conference!). Of course as discussed above, this has to do with each person's individual lines, and we ought to be more informed about the involvements of companies in suspicious matters (this is a criticism to myself as well, as I was not aware of the company or its military engagements before the issue arised) and then open our doubts to the community in a respectful discussion. Since there might be a wide range of opinions on such matters, I am also `happy' to leave the final say to the local committee - since a decision needs to be taken.

view this post on Zulip John Baez (Jul 13 2020 at 21:17):

I like this. I hadn't thought about it much until now, but the phrase "industry showcase" suggests that the speakers are exemplary in some way, and that may set a higher bar than just a typical talk.

view this post on Zulip Georgios Bakirtzis (Jul 13 2020 at 21:23):

I don’t think that’s what industry showcase implies. To me having been to engineering venues where they have booths from bae and raethon and Grumman it only showed that hey these are some people in industry that are interested in category theory. Logos and such should probably stay for the sponsors however

view this post on Zulip Georgios Bakirtzis (Jul 13 2020 at 21:23):

And I certainly do not think act should be sponsored by a defense contractor

view this post on Zulip xavier (mathematical artist) (Jul 13 2020 at 23:05):

My expectation is that the industry showcase would show how they used category theory to solve some problem of theirs that they traditionally used other methods for. Less of a technique showcase as some of the talks were, and more of a "what was accomplished". At least for the larger (more traditional) companies.

view this post on Zulip John Baez (Jul 13 2020 at 23:19):

The industry showcase talks certainly didn't have time, in 8 minutes, to go into any technical details. I think the goal was mainly to notify us of the existence of these companies... and perhaps the opportunity to work with them?

view this post on Zulip xavier (mathematical artist) (Jul 13 2020 at 23:24):

Yes, I got the sense of the "opportunity to work with them" aspect. That did come through the presentations.

I'm looking through my notes now. I'd say they did do what I expected based on the notes I took. The talks went so fast, it was a blur (that's why I take notes!). I do remember feeling the final talk given was a bit low level for what I was expecting. But it did show how they began the process of integrating category theory into the tooling pipeline.