Hackernews posts about Formula E

  1. Economics of Formal Methods (www.johndcook.com)