More evidence that memory safety is the future for programming languages

[Timon Gehr]

On 29.03.20 04:28, Timon Gehr wrote:
> 
> An amusing way to interpret 100% positives and 0% negatives would be to 
> say the linter flags all positives (either true or false) and no 
> negatives (neither true nor false). That basically means the linter 
> flags every code as being problematic, which would make it completely 
> useless.

Another way to interpret it is to just take it as the statement that 
everything that is flagged by the linter is a positive, and everything 
else is a negative. This is the definition of positive and negative.