News for hackers. Stuff that matters.

A comment on What will programming look like in 2020? (2012). Parent comment

Re:What will programming look like in 2020? (2012) by lelanthran on Sunday September 26, 2021 @02:00AM (#28658750)
Cherry picking only the accurate prediction makes it seem like the predictor is really good!

Look at the rest of that quote:

> The human, computer pair, will also interactively suggest, confirm and fine tune specifications of mathematical properties and invariants at points in the the program.

That hasn't happened and as far as I am aware, is not even close.

> This will help the computer assistant to not only better understand the program but also to to generate real time, verification test runs using SAT technology,

Ditto.

> Interactive testing will eliminate whole classes of logic bugs, making most non ui code correct by construction.

Ditto..

So, 1 out of 4 predictions correct, which makes it worse than random chance?

[ Parent | on HN ]
Re:What will programming look like in 2020? (2012) by still_grokking on Sunday September 26, 2021 @02:12AM (#28658779)
Someone imagined an AI mathematician. What we've got is a parrot…
[ Parent | on HN ]
Re:What will programming look like in 2020? (2012) by sourceless on Sunday September 26, 2021 @05:39AM (#28659571)
I don't know, some of that is at least starting to happen with Idris 2, though not in the exact way predicted: https://www.youtube.com/watch?v=mOtKD7ml0NU (Type Driven Development with Idris 2)

Short summary of linked video: when your type system is powerful enough you can restrict the set of possible implementations to the point that the compiler can make a decent guess as to what the program should be to satisfy the type signature.

[ Parent | on HN ]
Re:What will programming look like in 2020? (2012) by CardenB on Sunday September 26, 2021 @02:02AM (#28658756)
Can you explain how this is worse than random chance?
[ Parent | on HN ]
Re:What will programming look like in 2020? (2012) by GuuD on Sunday September 26, 2021 @03:04AM (#28658994)
It is, for people who think that the chance of meeting dinosaur on the street is 50% (you either do or don’t)

/s

[ Parent | on HN ]
Re:What will programming look like in 2020? (2012) by jhgb on Sunday September 26, 2021 @11:41AM (#28661773)
Does that account for multiverses?
[ Parent | on HN ]
Re:What will programming look like in 2020? (2012) by maest on Sunday September 26, 2021 @05:26AM (#28659524)
They're just using a flat prior, which is maybe inappropriate.
[ Parent | on HN ]
Re:What will programming look like in 2020? (2012) by Sharlin on Sunday September 26, 2021 @07:16AM (#28659949)
A flat prior over a probability space with only four possible events, but in reality there are of course many more possible events from which those four were originally picked.
[ Parent | on HN ]
Re:What will programming look like in 2020? (2012) by junon on Monday September 27, 2021 @02:21PM (#28674140)
Yes, if we're being pedantic then they were far off.

I was just pointing out something fun.

[ Parent | on HN ]
Re:What will programming look like in 2020? (2012) by zozbot234 on Sunday September 26, 2021 @07:30AM (#28660018)
> That hasn't happened and as far as I am aware, is not even close.

Isn't that just the Rust borrow checker?

[ Parent | on HN ]
Re:What will programming look like in 2020? (2012) by jhgb on Sunday September 26, 2021 @11:42AM (#28661783)
In terms of end result, yes, but not in terms of means.
[ Parent | on HN ]