Как работает генератор случайных чисел в Pinco: опыт разработчиков