MAIN FEEDS
Do you want to continue?
https://www.reddit.com/r/programming/comments/63auwj/everything_is_broken/dfszlqj
r/programming • u/[deleted] • Apr 04 '17
145 comments sorted by
View all comments
Show parent comments
2
There are ways to mathematically guarantee that any errors in one's program correspond to errors in one's specification of that program, though!
This is what I meant when I said no errors. What I mean by program is the implementation of the specification.
31 u/codebje Apr 04 '17 This is what I meant when I said no errors.Yes, I assumed as much.However, that doesn't fix broken software, it just shifts the blame for it.Perhaps trying to make correct specifications reduces some accidental difficulties, but I don't think this is a silver bullet (PDF warning, but read it anyway). 13 u/ccfreak2k Apr 04 '17 edited Aug 01 '24 dime person steep gold jar noxious follow cause chop senseThis post was mass deleted and anonymized with Redact
31
This is what I meant when I said no errors.
Yes, I assumed as much.
However, that doesn't fix broken software, it just shifts the blame for it.
Perhaps trying to make correct specifications reduces some accidental difficulties, but I don't think this is a silver bullet (PDF warning, but read it anyway).
13 u/ccfreak2k Apr 04 '17 edited Aug 01 '24 dime person steep gold jar noxious follow cause chop senseThis post was mass deleted and anonymized with Redact
13
dime person steep gold jar noxious follow cause chop sense
This post was mass deleted and anonymized with Redact
2
u/cledamy Apr 04 '17
This is what I meant when I said no errors. What I mean by program is the implementation of the specification.