4 ms·
Well, actually it did. Some of the reasons are: 1) Most applications use very reliable databases as a store. Back in the day, programmers used to write their
by redis_mlc 6y ago
Well, actually it did.
Some of the reasons are:
1) Most applications use very reliable databases as a store. Back in the day, programmers used to write their own one-off BTREE libraries, which stopped with msql/mysql, jet, dbm and sqlite.
(A holdover from that era is when interviewers asked you to roll your own sort algorithm, which you should almost never do for production apps.)
2) Some software is fuzzed.
3) Some software has managed memory.
4) Some software has tests.
- johnisgood 6y ago5) Some software is formally verified Formal verification is huge these days I would like to think.
- doteka 6y agoHuge? I have worked in this industry for a while now and never heard anyone outside of HN even mention it. It’s decidedly not huge for any definition of huge (outside of academia maybe?)
- TheUndead96 6y agoThe "big production" example that kept being referred to in university was a (Belgian?) metro system. I think it was well suited to formal verification because it had a finite number of valid states, and the cost of failure was sufficient to justify the investment. EDIT: I now think it was French, source https://www.prover.com/portfolio-items/ratp-paris/ https://www.prover.com/portfolio-items/ratp-paris/
- lecunn 6y agohttps://aws.amazon.com/security/provable-security/?nc1=h_ls https://aws.amazon.com/security/provable-security/?nc1=h_ls
- deckplecksetter 6y agoIt's used to some extent in the aviation industry for flight-critical software. So maybe huge in some contexts.
- deleted 6y ago[deleted]
- tehjoker 6y agoThere was this item on HN recently. :) https://probablydance.com/2016/12/27/i-wrote-a-faster-sorting-algorithm/ https://probablydance.com/2016/12/27/i-wrote-a-faster-sortin...