Hacker Newsnew | past | comments | ask | show | jobs | submitlogin

Will formal verification reverse the trend of old root bugs as a law of nature?

We applied the D6 patch immediately, 911b/admin/reports/status says 6.35. The avg active acct age is >10y. Anon users can do nothing. Is there anything else to fix? Moved to Drupal 04/2005.

What is the longest running D* site?




>Will formal verification reverse the trend of old root bugs as a law of nature? >We applied the D6 patch immediately,

Formal verification can do nothing to help people who run software that's been outdated and unsupported for several years.


IDK why you seem annoyed, Drupal is so far from formal verification it's obviously a different subject... this bug didn't care what D version you were on anyway. There are many advantages to staying behind the upgrade curve, especially on simple software.

You can spend a bunch of time going from 6 to 7, or you can spend almost the same amount of time going from 6 to 8. It's not like there are major features the users need, most of the work goes into not breaking existing customization they expect.




Consider applying for YC's Fall 2025 batch! Applications are open till Aug 4

Guidelines | FAQ | Lists | API | Security | Legal | Apply to YC | Contact

Search: