In joint work with Parker and Paupert, we constructed several non-arithmetic lattices in the isometry group of the complex hyperbolic plane, by describing explicit generating sets and constructing a fundamental domain (our original argument uses heavy computation via ad-hoc software). I will sketch an alternative proof via orbifold uniformization, which no longer relies on the computer.