TON Community RUS
The Open Network (TON) обеспечивает каждому быстрый доступ к криптовалютам. Создавая экосистему Web3 внутри мессенджера Telegram, TON предоставляет миллиардам людей возможность владеть своей цифровой идентичностью, данными и активами.
Ko'proq ko'rsatish- Kanalning o'sishi
- Post qamrovi
- ER - jalb qilish nisbati
Ma'lumot yuklanmoqda...
Ma'lumot yuklanmoqda...
Pavel Durov, CEO of Telegram Paolo Ardoino, CEO of Tether
👉 Присоединяйтесь к хакатону The Open League Hackathon с призовым фондом в $2.000.000:
https://bit.ly/ton-hack-2024Регистрация открыта до 30.04.2024, это крутая возможность показать себя команде TON и попрактиковаться навык программирования на Tact. 👉 ТГ-группа участников хакатона:
https://t.me/hackatonx/Сегодня выпуск из солнечного Дубая с ключевым разработчиком языка программирования Tact - Антоном Труновым. Антон долгое время занимался формальной верификацией кода и разработкой компиляторов, после чего присоединился к команде TON для разработки компилятора Tact и тулинга вокруг него. Сегодня говорим о "математическом" тестировании программ, ПО для шахт, блокчейне и смарт-контрактах, генераторах парсеров и семантике, компиляторах на TypeScript и их эффективности, FunC, TVM и о многом другом. Так что, заваривайте чаинский/кофеинский и погнали! 😉 ССЫЛКИ 🔹 Материалы из выпуска:
https://t.me/itbeard/1339🔹 Антон на GitHub:
https://github.com/anton-trunov🔹 Поддержать канал на Patreon:
https://www.patreon.com/itbeard🔸 Хакатон от TON:
https://bit.ly/ton-hack-2024🔸 Воркшоп от Антона на хакатоне №1:
https://www.youtube.com/live/AJX2Ghk07zk🔸 Воркшоп от Антона на хакатоне №2:
https://www.youtube.com/live/0TfwDGYjCHQГДЕ СМОТРЕТЬ И СЛУШАТЬ 🔸 YouTube:
https://youtu.be/Cg7geUDHH4A🔸 Apple Podcasts:
https://apple.co/41hwOIQ🔸 Google Podcasts:
https://bit.ly/itbeard-googlepodcasts🔸 Spotify:
https://spoti.fi/3Ktbf1Y🔸 Скачать mp3:
https://podcast.itbeard.com/e/193НАВИГАЦИЯ 0:00 Тизер 0:43 Я не люблю самолеты! 1:42 Представление Антона 3:50 Про формальную верификацию 9:21 Про хакатон 10:20 Тесты или верификация 14:38 Формальная верификация - это сложно 19:20 Шахтная автоматика 34:16 Как пришел к разработке ЯП для смарт-контрактов 45:47 Как попал в команду TON 48:43 Как начал заниматься разработкой ЯП 55:55 История Tact 1:02:02 Про FunC 1:05:20 Статический анализ 1:06:46 Tact vs FunC 1:09:35 Отличие разработки смарт-контрактов от веб-разработки 1:14:32 Иммутабельность кода 1:18:30 Параллелизм в Tact 1:21:42 Что разрабатывают на Tact 1:25:00 Hello World на Tact - это что? 1:28:41 Компилятор и парсер 1:32:37 Компилятор на TypeScript - это как? 1:37:40 Улучшение ошибок генератора парсера 1:40:28 Type checker 1:45:55 Модель контракта и тестирование 1:49:25 Туллинг вокруг языка 1:56:09 Как работают линтеры 2:00:05 Зачем нужен статический анализ 2:02:02 Насколько сложно закомитать в Tact 2:13:50 Кто разрабатывает дебаггер ЯП 2:15:40 Чего не хватает в Tact 2:21:18 В какой парадигме работает Tact 2:29:15 Как Tact может внедрить то, чего нет в FunC 2:31:34 Про The Open League и хакатон 2:40:31 РАНДОМ: должен ли разработчик ЯП пользоваться своим языком ПОДДЕРЖАТЬ КАНАЛ 🔸 Стать патроном на Patreon:
https://www.patreon.com/itbeard🔸 Стать спонсором на YouTube:
https://www.youtube.com/itbeard/join🔸 Через карту и криптовалюты:
https://itbeard.com/helpПОДПИСЫВАЙТЕСЬ 🔻 Сайт:
https://itbeard.com🔻 Telegram:
https://t.me/itbeard🔻 LinkedIn:
https://s.itbeard.com/linkedin#айтиборода #ton #tact
Pavel Durov, CEO of Telegram Paolo Ardoino, CEO of Tether