Comment by eru
1 day ago
How is encoding all the assumptions and invariants badly in eg a bunch of booleans and nullable pointers any better?
1 day ago
How is encoding all the assumptions and invariants badly in eg a bunch of booleans and nullable pointers any better?
No comments yet
Contribute on Hacker News ↗