Speaking of, it would be cool for a project to analyze US law the same way they are looking for bugs in computer programs.

  - Find places where the text can be simplified without changing meaning. 
  - Find places that are likely errors. 
  - Detect conflicts between jurisdictions. 
  - Identify loopholes.

I know there has been a race to build tools for law firms, but the results are mostly invisible so far. Probably this project exists and I've just missed it on the HN frontpage...