Y
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.