undefined | Better HN

Skip to content

Top New Best Ask Show Jobs

0 pointsDewie311y ago0 comments

The voices of American programmers are loud and many.

0 comments

1 comments · 1 top-level

platz11y ago

At least we still have Coq

j / k navigate · click thread line to collapse