User avatar
Jon Sterling @jonmsterling@mathstodon.xyz
1mo
I wonder if it is time for Agda Upstream to reconsider its policies concerning its own maintainers using LLMs to commit bug( fixe)s ;-)

github.com/agda/agda/pull/8541
2
0
1
0
User avatar
Liam O'Connor @liamoc@types.pl
1mo
@jonmsterling ugh.
1
0
0
0
User avatar
Jon Sterling @jonmsterling@mathstodon.xyz
1mo
@liamoc I'm just glad this is all out in the open for everyone to see.
1
0
0
0
User avatar
Liam O'Connor @liamoc@types.pl
1mo
@jonmsterling too many of my colleagues are letting AI do their thinking for them. I hope the crash comes soon because the more my field gets hollowed out the closer I get to quitting and becoming a priest.
1
0
1
0
User avatar
mio @mio@shrimp.mio19.uk
1mo
@liamoc @jonmsterling
Based on what I heard, I guess some of them are supervising students to supervise LLM.

For students, those llm providers often provide free plans. So there is no financial aspect to consider immediately, but there are still moral, social, and environmental impacts to consider. My group member uploaded a report with hallucinations mixed with facts and I was not too happy.
0
0
1
0