Post #2326687
2026-04-23 12:15 UTC
@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.
Replies (1)
-
@de_Jong_Tom@mathstodon.xyz 2026-04-23 12:17
@gadmm@mathstodon.xyz I don't really have additional information, sorry. Maybe some of the #agda developers would like to chime in, but I'd understand it if they don't.