Ask HN: Which big US tech companies have engineering offices in London?