fdupress

9 ms·

61.
by fdupress 6y ago
It's almost always done to argue for testing, too. But the point of verification as an engineering tool was never to replace testing, but to focus it. (Just like the point of a mathematical proof is not to offer 100% proof of the truth
62.
by fdupress 6y ago
People may not die if I cheat on my exam, but casting doubt on the accuracy of the results by eroding trust in the examination process certainly affects all who took the exam when they end up not getting a job.
63.
by fdupress 6y ago
So it turns out Materialistic doesn't even show responses to my comments unless I go back to the thread itself... The point I was making was in context of a discussion focused on mission-critical system. In that context, you can't
64.
by fdupress 6y ago
The need for bureaucracy is only there because of people like you. People who, when an inequality is pointed out, simply knee-jerk their way into "I worked hard to be born a white man, I've earned this," instead of reflecting
65.
by fdupress 6y ago
This also papers over a potential defect, but also introduces a potentially semantic-breaking process into your compilation pipe. Say you've proved memory safety on your source. What you're compiling is no longer that source you h
66.
by fdupress 6y ago
- Didn't remove its privileges (moderation) before transferring ownership.
67.
by fdupress 6y ago
A good example would be a complex state machine, where you rely on the fact that the state is only modified by the state machine code to make sure it remains well-formed, and the control-flow itself heavily relies on the state being well-fo
68.
by fdupress 6y ago
In the case of Samsung and smart TVs, and to fully support the argument you are supporting, it is not sufficient that Samsung makes a lot of money. They need to make a lot more per user selling data than they would adding $20 to the price o
69.
by fdupress 6y ago
Checking that the output is sorted is the easy part. Checking that the output is a (optionally stable) permutation of the input is the hard part. You can't do that dynamically if you have, for example, overwritten your input by sorting
70.
by fdupress 6y ago
Only if it's irrelevant. If it's relevant, it's a necessary correction.
71.
by fdupress 6y ago
Because they are known in advance and you could design to exploit their structure.
72.
by fdupress 7y ago
Hard to say when the US doesn't test.
73.
by fdupress 7y ago
One-time MACs... The most widely used constructions are based on polynomials: GHASH (from GCM) and Poly1305.