Hacker News new | ask | show | jobs
by danbruc 4786 days ago
Pex is based on the Daikon dynamic invariant.

That's not true.