News for hackers. Stuff that matters.
Re:Lean4 helped Terence Tao discover a small bug in his rece... by popularonion on Friday October 27, 2023 @06:53PM (#38045033)
I get a lot of mileage out of ChatGPT just treating it like an intern who turns around work instantly. You don't expect interns to write perfect code, but they can save you a ton of time if you set them loose on the right problems.

For any relatively simple task I can say "Write a Python script to do X" and it will almost always spit out working code, even if it has subtle mistakes. Fixing mistakes is fine and part of the process. I don't have to read StackOverflow posts saying "Do you really want to do X?", or sift through documentation that follows the author's approach of how they want to introduce the material but doesn't directly address my question.

Re:Lean4 helped Terence Tao discover a small bug in his rece... by amelius on Saturday October 28, 2023 @04:40AM (#38048212)
Not OP, but I always want to read the code generated by chatgpt before I run it. And I dislike reading other people's code much more than writing it myself.