PredictionBook is now read-only ( read more ).

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=13846049on 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 “* recommendationson 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.