Hacker News new | ask | show | jobs
by Dewie3 4058 days ago
The voices of American programmers are loud and many.
1 comments
platz 4058 days ago
At least we still have Coq
link