How do you measure the biggest wave ever surfed? [pdf] | Hacker News Reader