21 Oct
2026
21 Oct
'26
2:19 a.m.
Am Di 20.10.2026 17:38 schrieb Mikolaj Konarski via ghc-devs:
Basically the same sentiment "machine output is raw data, log, sloppy outline" from mathematicians talking about LLM-generated proofs and how to embrace the slop there: […]
Why should one embrace slop if one can just avoid it?