I went for traditional Russian names, because I’d also have a healthy amount of diminutives to use if the device behaved well, and could fall back to the full patronymic version if it acted up.

It’s like having a little family.