News for hackers. Stuff that matters.

A comment on Lean4 helped Terence Tao discover a small bug in his recent paper. Parent comment

Re:Lean4 helped Terence Tao discover a small bug in his rece... by ghshephard on Friday October 27, 2023 @08:10PM (#38045566)
As someone who uses ChatGPT4 pretty much nonstop all day (I have a monitor dedicated to it) - it's almost certainly a 10-20x in fields I have no knowledge of (writing in languages I've never used, dealing with OS/Kernel/Network constructs that are unfamiliar to me) - I can knock off in an hour what might have taken me a day or two previously - but I don't think I've ever had a task where I could say that I completed in 1 hour what would have taken 100 hours - though I would love to hear of counterclaims from people who have been able to do so - definitely not saying impossible, just that I haven't had that experience yet.
[ Parent | on HN ]
Re:Lean4 helped Terence Tao discover a small bug in his rece... by pradn on Friday October 27, 2023 @08:23PM (#38045669)
The idea of the 10x programmer can mean 1) someone who produces a ton of code quickly 2) someone who can solve seemingly-intractable problems 3) someone who’s presence on a team improves everyone’s productivity quite a bit 4) someone who chooses technical decisions that save a ton of time down the line.
[ Parent | on HN ]
Re:Lean4 helped Terence Tao discover a small bug in his rece... by amelius on Saturday October 28, 2023 @04:43AM (#38048226)
(1) is the generally accepted meaning. The others need different words.
[ Parent | on HN ]
Re:Lean4 helped Terence Tao discover a small bug in his rece... by hobs on Saturday October 28, 2023 @09:30AM (#38049634)
Disagree, those are all valid interpretations, and depending on your experience you will have a vastly different understanding.

To me, the first one is the most basic and frankly, most silly definition of a 10x programmer - produces more code? really? Code sucks. Nobody needs more code, people need solutions. Solving a problem with no more code, or understanding it so a _tiny_ change solves all problems? Way better than adding code, actually much harder to synthesize and produce new results. Way more efficient.

Now can you remove things and solve the problem? Realize you can build an even more simple and generic system that solves your problem? Even more amazing.

[ Parent | on HN ]
Re:Lean4 helped Terence Tao discover a small bug in his rece... by amelius on Saturday October 28, 2023 @10:03AM (#38049884)
> Nobody needs more code, people need solutions.

More code per unit of time, not necessarily more code in an absolute sense.

[ Parent | on HN ]
Re:Lean4 helped Terence Tao discover a small bug in his rece... by firedaemon on Saturday October 28, 2023 @04:52PM (#38053254)
I have always used it to mean “solves problems 10x faster” not “produces 10x code”.

The latter would be a bad thing.

[ Parent | on HN ]