Hacker News new | ask | show | jobs
by eru 316 days ago
How is encoding all the assumptions and invariants badly in eg a bunch of booleans and nullable pointers any better?