Comment by eru
6 months ago
How is encoding all the assumptions and invariants badly in eg a bunch of booleans and nullable pointers any better?
6 months 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 ↗