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? _______________________________________________ ghc-devs mailing list -- [email protected] To unsubscribe send an email to [email protected]
