Hacker News new | ask | show | jobs
by amelius 912 days ago
Shouldn't we expect formal verification methods, even? Or is that too much to ask for?