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

  • 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

Please log in to respond to or judge prediction