News for hackers. Stuff that matters.
Re:Parse, Don't Validate (2019) by ukj on Saturday June 26, 2021 @07:51AM (#27641094)
Then you have some formally inexpressible/impredicative notion of "validation" in mind. For posterity (lifting from the depths of the threads):

General case: Validating random data as input into some program.

Particular case: Validating random source code (data) as input into some compiler (program).

Do compilers parse or validate?

> "the converse of ‘parsing is validation’ is not true."

If that were the case then you should be able to give an example of a compiler validating random source code (data) but not parsing it.

What determines the validity of random input is precisely a compiler's ability to parse it.

Re:Parse, Don't Validate (2019) by nsajko on Saturday June 26, 2021 @10:43AM (#27642284)
I think that you actually agree with the comment you responded to, it's just that you misinterpreted what it was trying to say.
Re:Parse, Don't Validate (2019) by ukj on Saturday June 26, 2021 @01:30PM (#27643928)
I certainly don’t disagree (that doesn’t mean I agree).

The purpose of the conversation is to arrive at mutually acceptable interpretation.