Does anyone else seem to spend 50x more time deleting characters like ", } and ) which their IDE inserts automatically, than they save not having to type them on the fewer occasions they get inserted in the right place? Or is it just me?
-
This Tweet is unavailable.
-
I wonder what that threshold actually is. Is getting it wrong 1% of the time actually too annoying - I tend to notice the annoying things and exaggerate their significance. Eg. Autocorrect. I thought it was getting it wrong too much so I turned it off. I was very wrong.
Yes, I think for most of these things there's an optimally-bad false-positive rate which is a function of the value of the optimisation and the cost of corrections. I think successful autocorrects are relatively higher value.
