2 ms·
Not this again ... Assertions should only be thought of as predicates on state space to ensure program correctness. Everything else is just a corollary. Some
by rramadass 2mo ago
Not this again ...
Assertions should only be thought of as predicates on state space to ensure program correctness. Everything else is just a corollary.
Some relevant past comments of mine here - https://news.ycombinator.com/item?id=48358691 https://news.ycombinator.com/item?id=48358691
- 7bit 2mo agoIf you say so it must be law
- rramadass 2mo agoHa, Ha ... I have pointed to previous discussions with other HN users where the logic and rationale behind my "say so" are given. If you actually cared to read them you will find quite long back-and-forth on formal methods and a whole lot of references for edification.