Hacker News Reader

Depending on if Choi is a Korean last name.

Choi is a common Korean surname (4th or 5th most common, IIRC).

it's also not an uncommon chinese surname. it's pronounced "cai" in chinese.