Andrey Lyashin Co-Founder & CTO Pruvendo в Четверг 15 февраля 12:00 UTC+3 расскажет что такое формальная верификация и о возможностях языка Ursus
Источник
Источник
🐳12🤷♂1❤1⚡1🔥1
Highlights
Andrey Lyashin Co-Founder & CTO Pruvendo в Четверг 15 февраля 12:00 UTC+3 расскажет что такое формальная верификация и о возможностях языка Ursus Источник
Please open Telegram to view this post
VIEW IN TELEGRAM
🐳5❤2🤷♂2⚡1🔥1
Митя Горошевский приглашает на презентацию Acki Nacki на коференции AIBlock
И приглашает присоединится к хакатону
Источник
Acki Nacki — это результат 4-летних исследований консенсусных протоколов и новой архитектуры блокчейна, которую будет использовать GOSH
И приглашает присоединится к хакатону
Вы можете присоединиться к хакатону для разработки на Acki Nacki и получить доступ к его testnet уже сейчас
Источник
🤡11⚡7👏5🐳4
Представлена облачная инфраструктура для TVM сетей с доступом через GraphQL и поддержкой TVM SDK
Источник
Источник
🔥11🤷♂5🐳4🍾3😢2
⚡ Аирдропу токенов за тестнет Venoma быть!
Будет обновлен веб-сайт и white paper в соответствии регуляциями.
Источник
Будет обновлен веб-сайт и white paper в соответствии регуляциями.
Источник
⚡6🤡6🐳4