Hacker News new | ask | show | jobs
by adsharma 33 days ago
A SMT solver may work better.
1 comments
onlyrealcuzzo 33 days ago
Will that work if my codebase is filled with nils it shouldn't be filled with, and HashMaps instead of structs with a loosely defined schema, and tuples masquerading as arrays?
link