Mastodon Feed
Boosted by dysfun@treehouse.systems ("gaytabase"):
amy@types.pl ("Amélia Liao") wrote:
What remains of the Agda team has decided that the personal convenience of people like Andreas Abel and Ulf Norell is more important than the safety of marginalised people the world over.
They phrase this as "not finding consensus" in an attempt to keep some respectability for their decision to endorse the lead product of tech giants that are, at best, a single step removed from the Department of Warcrimes (if you think of Palantir as separate from the DoD, which. Lmfao). Do not grant them this kindness.