In 5 years programmers will be expected to write formally proven programs to the same or more extent as they're expected to write tests today
Created by Jach on 2017-11-17; known on 2022-11-17; judged wrong by crabman on 2022-11-17.
- Jach estimated 20% on 2017-11-17
- Jach said “Verification can be tricky, but I think an agreement/disagreement from several big tech company employees will be sufficient… Heard it here first: https://news.ycombinator.com/item?id=13846049” on 2017-11-17
- Athrithalix estimated 5% on 2017-11-17
- ekr estimated 5% and said “The prediction is too vague, in some industries, formally proven software is already in use, and thus a requirement (coq, isabelle, agda, dependent types). A better prediction is when formal methods are added to the acm curriculum recomandations.” on 2017-11-19
- ekr said “* recommendations” on 2017-11-19
- crabman estimated 2% on 2017-11-20
- Leo estimated 1% on 2021-12-03
- n99 estimated 0% on 2022-10-28
- crabman judged this prediction wrong on 2022-11-17.