Skip to content
Better HN
Top
Best
Ask
Show
New
Jobs
Search
⌘K
0 points
adsharma
1mo ago
0 comments
Save
Share
A SMT solver may work better.
0 comments
1 comments · 1 top-level
top
newest
oldest
onlyrealcuzzo
1mo 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?
1 more reply
j
/
k
navigate · click thread line to collapse