undefined | Better HN

0 pointsSkyMarshal3y ago0 comments

We must have different definitions for “simplest constraints” then.

0 comments

s17n3y ago

No, just different definitions of "usable". Although it's worth noting that an average test is testing stuff that even the most advanced type system never could.

j / k navigate · click thread line to collapse

0 comments

s17n3y ago

No, just different definitions of "usable". Although it's worth noting that an average test is testing stuff that even the most advanced type system never could.

j / k navigate · click thread line to collapse