← Back to context

Comment by eru

11 hours ago

How is encoding all the assumptions and invariants badly in eg a bunch of booleans and nullable pointers any better?

0 comments

eru

Reply

No comments yet

Contribute on Hacker News ↗