Ну первый мем бориса - это был вопрос на докладе FPure который делал Майк Потанин.
Дедок, специализируется на формальной верификации и конпеляторах, делает язык Rider для блохчейна с формально верифицированными свойствами.
Вопрос Бориса "почему вы не воспользовались ZIO Fiber ?"