Skip to content
Better HN
Top
New
Best
Ask
Show
Jobs
Search
⌘K
undefined | Better HN
0 points
Dewie3
10y ago
0 comments
Share
The voices of American programmers are loud and many.
0 comments
default
newest
oldest
platz
10y ago
At least we still have Coq
j
/
k
navigate · click thread line to collapse
