✨ Воркшоп проходит в рамках HACKATOM RU — первого хакатона экосистемы Cosmos на русском языке ✨ [ Ссылка ] ✨
Продолжительность: 2 часа
________________________________
🪐 Участвуйте в хакатоне онлайн 15 — 31 марта
🪐 Зарабатывайте баунти от организаторов и спонсоров — призовой фонд составляет $45,000
🪐 Приходите на онлайн-воркшопы с ведущими разработчиками Cosmos, Tendermint, Cyber и многих других
🪐 Подавайте проект через DevPost до 26 марта 2021
[ Ссылка ]
________________________
👾 Присоединяйтесь к Cyber Academy 👾
[ Ссылка ]
Чат: [ Ссылка ]
Twitter: [ Ссылка ]
Facebook: [ Ссылка ]
00:00 Ждем начала трансляции
00:39 Начинам
01:39 Что сейчас будет
02:11 Про informal systems
04:37 Intuition
12:30 Englich Spec
19:11 Что будет на воркшоке
20:02 Почему TLA+
32:39 Где используются TLA
33:30 Apalache
34:38 Ресурсы по TLA+
35:50 Подходит ли TLA+ для широкого круга математических доказательств?
38:18 Свежий релиз
39:32 Про интегрированные среды разработки
40:59 Как разрабатывать протокол на TLA+
41:13 Про воркшоп Andy Nogueira
42:37 Fungible Token Transfer
43:05 Application: state machines
44:26 Трансвер токена c блокчейна А на блокчейн Б
45:50 Переходим к TLA+
В процессе
#cosmos #hackatom #TLA
