Hacker News new | ask | show | jobs
by waiwai933 5138 days ago
Well, the US Gross Domestic Product is over $15 trillion, so presumably, yes.