Post #3015741
2025-12-17 10:51 UTC
@peter_sewell_@types.pl @wilbowma@types.pl Thank you for writing this. It made me think that perhaps we could create a public letter to the ACM that everyone can sign, demanding the removal of this "feature". Hopefully once they see people are opposed to it, they might still revert it (and if they don't then people can make their own conclusions on whether they want to boycott, but at least it would trigger some kind of response).
Replies (1)
-
@jfdm@discuss.systems 2025-12-17 13:14
@jesper@agda.club @peter_sewell_@types.pl @wilbowma@types.pl IIRC @xot@someone.elses.computer had some nice infrastructure for getting open letters signed. Perhaps he can chime in...