Hacker News new | ask | show | jobs
by bitmapper 1748 days ago
And then when things like dependent types get involved, I'm betting that the amount of bugs greatly decreases, even more than that.