Hacker News new | ask | show | jobs
by skydhash 287 days ago
Code working is a very high bar. And the only way close for most projects is formal verification.