18 апреля 2024
КОМПИЛЯТОР на TypeScript / Как разрабатывают язык Tact / Формальная верификация, парсеры и блокчейн
0
0
👉 Присоединяйтесь к хакатону The Open League Hackathon с призовым фондом в $2.000.000: https://bit.ly/ton-hack-2024
Регистрация открыта до 30.04.2024, это крутая возможность показать себя команде TON и попрактиковаться навык программирования на Tact.
👉 ТГ-группа участников хакатона: https://t.me/hackatonx/1/11991
Сегодня выпуск из солнечного Дубая с ключевым разработчиком языка программирования 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
Плейлист
АйТиБорода
В сегодняшнем выпуске Кирилл Размыслович, автор в журналах «The Universe. Space. Tech» и «Мир Фантастики», блогер и популяризатор науки, расскажет нам историю покорения космоса человеком. Вас ждёт пут...
👉 Присоединяйтесь к хакатону The Open League Hackathon с призовым фондом в $2.000.000: https://bit.ly/ton-hack-2024
Регистрация открыта до 30.04.2024, это крутая возможность показать себя команде TON...
👉 Обращайтесь за помощью к ребятам из WeExpert: https://bit.ly/weexpert
А по промокоду itbeard24 получайте скидку в 10% на первый месяц обслуживания.
👉 Конференция для фрилансеров во Вроцлаве: https...
Самый технологичный тайтл в IT-менеджменте - Team Lead Architect / Управление командами архитекторов
Кто такой Team Lead Architecture? Как работают команды архитекторов? Как нанимают и собеседуют архитекторов? Сложно ли быть тимлидом в команде, где каждый - лучший? Обо всём этом в сегодняшнем выпуске...
Очередной Традиционный Бородатый Стрим на канале. В нём постараюсь ответить на ваши самые сокровенные вопросы :)
👉 Мой Патреон: https://www.patreon.com/itbeard
👉 Мерч: https://streamlabs.com/itbeard/m...
Сегодня погружаемся в мир науки, ведь вас ждёт фундаментальный во всех смыслах выпуск: про квантовую механику и оптику, гравитационные волны и гравитацию, Большой Взрыв, чёрные и белые дыры, механизм...
Долгожданный сиквел на канале - интервью с самым жизненным IT-блогером Мишей Ларченко! Из выпуска вы узнаете о том, кто такой Миша, как он стал программистом и очутился в Нидерландах, за что обожает J...
Сегодня говорим про опенсорс. Что это такое, как тут программировать и получать опыт, как зарабатывать и стоит ли вкатываться.
Гость выпуска Никита Прокопов aka Тонский, мэйнтейнер множества популярн...
Из сегодняшнего выпуска вы узнаете что такое Developer Relations, кто такие Developer Advocate, IT Evangelist и Community Manager, как всё это помогает IT-продуктам продаваться, а разработчикам получа...
Сегодня вы услышите историю Вероники Сенько, которая отучившись в техническом вузе в 2000е, выросла из преподавателя в университете и админа в компьютерном клубе до ключевого Sales Manager в Microsoft...
Сегодня разговариваем про умные дома, автоматизацию квартиры глазами инженера и про модерацию IT-сообществ в последние года.
Гость выпуска, Вася Зубарев aka Вастрик aka Vas3k, является Engineering Тим...
Сегодня постараюсь на пальцах, как системы искусственного интеллекта и генеративные нейросети убивают классическое программирование человеками, и что нас с этим всем делать. Выпуск сделан по мотивам н...
Сегодня будем говорить о том, как и зачем власти РФ убивают Рунет и приближают его к "Чебурнету". Разбираться в этом мы будем через историю Михаила Климарёва, директора Общества Защиты Интернета, CEO...
Второй выпуск подкаста "АйТиБорода + Наука" расскажет о том, как работает эволюция, откуда и как появился Homo Sapiens, как работают вирусы и где наше место в животном мире. Гость выпуска мой старинны...
👉 Го участвовать в "HACK-TON-BERFEST 2023": https://bit.ly/hack-ton
Сегодня вас ждёт хардкорный выпуск про блокчейн-разработку: на каких языках программирования создают смарт-контракты и что это такое...
В новом выпуске шоу "неРодина" мы беседуем с Артуром Ахметзяновым, который переехал в Сингапур 9 лет назад как бизнес девелопер и стартапер, а в итоге стал..стендап комиком и сценаристом. Обсудим его...
Сегодня говорим о том, как создаются языки программирования. Компиляторы, билдеры, документация, синтаксис, виртуальные машины, компиляция и интерпретация, парадигмы, LLVM, YACC, Bison, ANTLR, LSP, EB...
Это небольшое интервью с СЕО Machinet - Владом Янченко.
Machinet - это конкурент Jetbrains AI Assistent и Github Chats, который пилит небольшая команда беларусов.
В выпуске говорим про автогенерацию к...
Поговорили с Мишей Ларченко за айтишку и жизнь в Нидерландах.
Спасибо за вашу поддержку, не стесняйтесь участвовать в сборе, друзья!)
🔹 Канал Миши: https://www.youtube.com/@larchanka
ПРО СБОР С РОЗЫ...
👉 Anywhere Club — это digital платформа для IT-специалистов со всего мира, его миссия — помогать участникам клуба расти и развиваться в профессии. Я уже давно в нём, регистрируйтесь и вы: https://bit....
На этом стриме в рамках сбора "Хорошее Дело" вспоминаем с чего начиналась АйТиБорода, как изменялся контент, рассказываю про закулисные истории вокруг съёмок и гостей, делюсь своими фэйлами и теми инт...
Рассказываю про сбор на новый комп, про розыгрыш моего MacBook, про новый контент на канале, делюсь советами по поиску работы в Европе, обсуждаем айтишку и отвечаю на ваши вопросы. Также, общаемся с В...
Сегодняшнее интервью тесно переплетено с IT: в нём мы говорим о современном Data Sciense, реальности появления Сильного ИИ в недалеком будущем, о во вопросов будущего ИИ и технологической Сингулярност...
В этом необычном выпуске мы постараемся выявить истоки инфомошенничество в русскоязычном IT-сегменте и разобраться как с этим жить. Первая (и единственная) серия "Атомного подкаста", в которой будет а...
В этом видео вы узнаете, как жить разработчикам ПО в век повсеместного внедрения Искусственного Интеллекта. С чего начался хайп, где он сейчас, и что нужно изучать, читать и пробовать, чтобы не отстат...
В этом видео мы обсуждаем Engineering Management с Ильей Немиро, который долгое время проработал в позиции Engineering Manager в компании Toptal, а последние пол года работает в качестве Software Engi...
Очередной Традиционный Бородатый Стрим на канале. В нём постараюсь ответить на самые горячие вопросы, которые читаю во внешних интернетах и в комментариях про меня же.
👉 Задонатить можно сюда (даже по...
Сегодня поговорим про сложные темы: гендерное равенство, проблемы женщин в IT и стереотипы вокруг этого, про феминизм и как со всем этим жить. Гостья выпуска руководительница проекта Women in Tech Bel...
Это интервью раскроет вам замечательного человека, QA Engineer, ментора и блогера Артёма Русова. Мы поговорили про его путь из специалиста отдела качества молочной продукции в Danone до QA-инженера и...
Первый выпуск... Даже как-то страшно, будто бы впервые это делаем... Но, к делу.
Игорь – девопс родом из Казани. Однажды он решается покинуть «страну родителей» и отправляется покорять холодную и неиз...