Really enjoyed this post from John (demystifying a Cousot paper)!
There is something so satisfying about being able to articulate the relationships between things that seem *just* similar enough.
There is something so satisfying about being able to articulate the relationships between things that seem *just* similar enough.
Reposted from
John Wickerson
Program correctness and incorrectness are not just two sides of the same coin; they're two faces of the same cube! johnwickerson.wordpress.com/2024/12/04/t...
Comments