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.
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.
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.
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.