Am Mi 21.10.2026 10:12 schrieb Mikolaj Konarski: > > Why should one embrace slop if one can just avoid it? > > Well, good luck sending a proof of a theorem to a conference, > when this theorem has already been proved, in Lean, by AI.
Luckily, I don’t have to send proofs to conferences. > […] then you don’t need a time machine or an Amish village to survive > as a mathematician in the long run. Why do you present sticking to something that was mainstream just a few years ago as being like living in an Amish village? Doesn’t your apparent need to use such a gross exaggeration indicate that in reality my approach is not so crazy as you would like to depict it and perhaps not crazy at all? All the best, Wolfgang _______________________________________________ ghc-devs mailing list -- [email protected] To unsubscribe send an email to [email protected]
