Post #2326688
2026-04-23 12:17 UTC
@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.
Replies (1)
-
@JacquesC2@types.pl 2026-04-23 13:06
@de_Jong_Tom@mathstodon.xyz @gadmm@mathstodon.xyz My understanding is that some of the core Agda devs who do extremely valuable but super tedious development want to be able to use AI to ease that burden. Which doesn't sound so bad, until you dig deeper into what "using AI" entails.