News for hackers. Stuff that matters.
Re:Lean4 helped Terence Tao discover a small bug in his rece... by kaba0 on Saturday October 28, 2023 @03:40AM (#38047958)
I would argue that it only helps in very beginner questions as it is beyond useless on anything more complex.

Like if the answer is not a leetcode/CRUD code sample you can easily find on the internet either way, it can’t do anything useful. Like, my problems mostly constitute things like reasoning about the correctness of a given change in the context of the whole codebase, its threading model, etc. It will at best regurgitate some bullshit like “race conditions can be this and that” here, not helping at all.

There are no comments on this comment yet.