Спілкування з @ncsgy про формальну верифікацію, іржу, штучний інтелект та дорожню карту Ethereum. Ми штовхнули одне одного в каву, Фруто. Ніко — одна з найнадійніших і найавтентичніших людей у нашій галузі. Завжди приємно з ним спілкуватися, він як Лямбда. Він бере участь у кількох різних проєктах і має цікаві думки, які завжди підкріплені технічними аргументами.