2026-04-17 13:37 UTC
The burden of proof is on the skeptics to demonstrate that LLMs *can't* currently slop out verified compilers??
Replies (3)
-
@carloangiuli@mathstodon.xyz 2026-04-17 13:40
@maxsnew "formalising a textbook is arguably easier...because the answers to everything are in the text" uhhhh what
-
@gallais@mamot.fr 2026-04-17 15:31
@maxsnew It reads like toxic "git gud" gamer chat
-
@koronkebitch@types.pl 2026-04-17 16:42
@maxsnew wow I'm loving that not only do we now have to deal with people saying "have you used the latest model" to "you're not good enough/not using enough agents" fml