Post #2049500
2026-04-23 11:40 UTC
RE: https://social.edu.nl/@jaror/116453690304244892
Quoting/Boosting for reach.
Replies (1)
-
@gadmm@mathstodon.xyz 2026-04-23 12:15
@de_Jong_Tom@mathstodon.xyz So Agda developers decided that AI-written code can be allowed (within some limits), without consensus, by claiming that there was no consensus to impose a ban on AI-written code? Without addressing the ethical and legal concerns that were raised? I'm outside of this community but I'm interested in understanding what happened.