Skip to Content.
Sympa Menu

coq-club - Re: [Coq-Club] Shut Down PL

coq-club AT inria.fr

Subject: The Coq mailing list

List archive

Re: [Coq-Club] Shut Down PL


Chronological Thread 
  • From: Beta Ziliani <beta AT mpi-sws.org>
  • To: Coq Club <coq-club AT inria.fr>
  • Subject: Re: [Coq-Club] Shut Down PL
  • Date: Tue, 9 Jun 2020 16:36:41 -0300
  • Authentication-results: mail3-smtp-sop.national.inria.fr; spf=None smtp.pra=beta AT mpi-sws.org; spf=Pass smtp.mailfrom=beta AT mpi-sws.org; spf=None smtp.helo=postmaster AT jupiter.mpi-klsb.mpg.de
  • Ironport-phdr: 9a23:2YU+XBD2LpgGFGC7PMYSUyQJP3N1i/DPJgcQr6AfoPdwSP37o8+wAkXT6L1XgUPTWs2DsrQY0reQ6v28EjVZvN6oizMrSNR0TRgLiMEbzUQLIfWuLgnFFsPsdDEwB89YVVVorDmROElRH9viNRWJ+iXhpTEdFQ/iOgVrO+/7BpDdj9it1+C15pbffxhEiCCybL9vLBi6txjdu8kZjIdtN6o91xvEqWZUdupLwm9lOUidlAvm6Meq+55j/SVQu/Y/+MNFTK73Yac2Q6FGATo/K2w669HluhfFTQuU+3sTSX4WnQZSAwjE9x71QJH8uTbnu+Vn2SmaOcr2Ta0oWTmn8qxmRgPkhDsBOjUk62zclNB+g7xHrxKgvxx/wpDbYIeJNPplY6jRecoWSXddUspNUiBMBISzYZYSD+oaJeZXsZXyp0cAoxu5AAmjHuLvyjlVjXPy0qA31+EtHAfb1wIiAt0OqmzZo9r7NKgQUe67wqrGwyjdYfxKwjry8pTEfwo7rP2QQb59c8zcwlQvGQPfiVWQrJToMi6L2eQRqWeQ8ulvVeOri24msQ5xpDmvzdorh4bSmI0V1krL+D58wIYtJN20UVV7YNC/EJdKsCGaLYR2T9okTmp1tyk01qcItoSnfCgW1psn3RjfZuSHfoWV4x/uVeScLzh4iX9nZr+zmxa8/FWvx+D9VsS5zVZEoCRKn9TMuH4AywLf58mER/V94kqs2yuC2gTd5+9KJ00/iKTVK5kkwrEql5oTt1zOHjHol0XsjK6abF4k9fSp6+v5ZLXpuoGTO5d7igH/LqQumtG/Dv8iPggPWGiX4f+81L3+/U3lXbpKifM3kq/AvJDCIcQXvLK2AwhQ0oo78Ba/Dyqm0MgFknkAIlNFfgmHj5T3NFHLOvz3EfC/g1G0nDd3yfHGP6HhAonTIXjZirvuYbF960taxQEuzt5f/4pZBqwPLf/3QEP9qdjVAgU6PgG12errFdVw2psAVW6TBqKVKqDfvF+S6u4xPuWAeJUZtTn+JvUj+vXgl2U2mUUHcqmsxZYXaG63HvBhI0iBY3rsn88BEWYWvgUgVuzmkliCUSZSZ3qrXKI84io7B5m8AYfGXoCtj6aN0zqlEZFOZ2BGDE6DEWvweomZVfoBbDieLtJlnzAeVrWsSpUt2QyuuQPizrpoNOvU+ikWtZL509h14vXemgos+jxoFcuQyGSNT3l1nm8RXD830rt/rVZ6yleZ3qh0m+ZYGsBL5/NVTgc6MobRwPB9C9DrQw7OYtOJSEu9Tdi9GjEwTtcxw8cUbEpnGtWiiArD3yuwDLMPmbyLHs98zqWJ9H/ob+151nyOgKImlhwtRtZFHWygnK92sQbJUd3niUKcwoynaa1U7i/J9W6FzCLatkxEWSZ1SaSARm8EIEzMooKqtQv5U7ayBOF/YUN6wsmYJ/4PN4Sw3Ad2Acz7MdGbWFqf3mK5BBKG3LSJNdG4fn0cmT7CEw4DiQ9BpC/bZzh7PT+opiflNBIrFV/rZBmxo+tjsHKnQ1VyyhmLKk5lzLDz/wYaw/CRGatKguA0/Rw5ojAxJ26TmsrMAoPb9Q95feBHfsh7501IhzrU

Dear Crime,

The problem of diversity in our field is not new, and many of us are concerned about  the ways to improve academia with diversity in mind. For instance, recently the ACM SIGPLAN created a program called CARES for this purpose. Therefore, I believe the original mail is perfectly on-topic and I invite you to reconsider your position.

Best regards,
Beta

On Tue, Jun 9, 2020 at 3:41 PM Crime Master Gogo <ashleelkama AT gmail.com> wrote:
Hi Coq Club,

Why on earth is the Programming language group being used as the platform for some Random Political Agenda.  

>"In the United States, the most recent murders of Black people at the hands of police have prompted international protest"
Please show the data. Don't make general statements. 
Please share the data else your paper will be rejected. \\

>" We in the global programming languages community acknowledge that every institution in our society is built on a foundation of white supremacy"—
WHAT!! So I as a minority do not have any chance to make it to the top? 
I thought as it was based on the merits and hard work. 

>" We have the strongest moral imperative to act ...."
Stop showing the Selective Moral Outrage. 
Start protesting on streets rather polluting academic research platforms.  

>"We want to note: both of the organizers of #ShutdownPL (Talia and Kenny) are white, ..."
Exactly. You do not represent the black community nor have any idea about the same. 

Not sure whether this political propaganda should be part of the research !! 

Can I create ANTI-Moral-Outrage/ Anti-White-Guilt posts on Coq-Club? Is that allowed? Can I create posts on politics here?
I'll let Admins and Group leaders decide. And this is an urgent need else people like Kenny FonerTalia Ringer 
will use this platform to push their political agenda. 

Excuse me for writing. But it's a sad state that Science is now being used as a battleground.  

Regards
 

On Tue, Jun 9, 2020 at 7:25 PM Talia Ringer <tringer AT cs.washington.edu> wrote:
In the United States, the most recent murders of Black people at the hands of police have prompted international protest that has itself been met with further police brutality—the latest manifestation of a centuries-old history of violence and oppression. We in the global programming languages community acknowledge that every institution in our society is built on a foundation of white supremacy—and our academic systems and research industry are no exception. We have the strongest moral imperative to act not just in this particular moment of political turmoil and uncertainty, but in lasting, sustainable ways to permanently transform our institutions against the systemic racism from which they benefit and which they perpetuate.

Join Us: Register Here

On this Wednesday, June 10, 10:00 am - 3:00 pm PDT, we join in the movement to #ShutdownSTEM for a global #Strike4BlackLives. We call on anyone in the global programming languages community to come listen, work, and plan to actively reject racism from the systems we create and the systems within which we exist. We know that one day of action is not enough: our goal is to both achieve small immediate change, and to facilitate the planning of broader systemic change across the world of programming languages research.

We will be holding a virtual day of conversation and focused group action. We encourage you to attend for all or most of the day, but we will be happy to welcome you if you can only be there some of the time. Our schedule (subject to change at the desire of participants):

10:00 - 10:30 PDT: Introduction, opening, setting intentions
10:45 - 12:00 PDT: Break into smaller self-determined groups
12:30 -  1:00 PDT: Progress check-in, discussion
1:15  -  2:30 PDT: Second round of focused small group work
2:30  -  3:00 PDT: Closing discussion

We want to note: both of the organizers of #ShutdownPL (Talia and Kenny) are white, and we do not want to demand labor of Black voices on a day that is focused on sustainable allyship. However, the last thing we want is a day of non-Black researchers speaking for and taking actions on the behalf of Black researchers without their input. Accordingly, we will ensure all our commitments to act begin from a place of listening to the Black community within and beyond programming languages research.

Looking forward to seeing you there,

Kenny Foner, Talia Ringer, et. al.




Archive powered by MHonArc 2.6.19+.

Top of Page