Пока все обсуждают интервью Дурова, я съездил в солнечный Дубай и привез вам выпуск с настоящим разработчиком компиляторов и ключевым разработчиком языка программирования Tact - Антоном Труновым. Антон долгое время занимался формальной верификацией кода и разработкой компиляторов, после чего присоединился к команде TON для разработки компилятора Tact и тулинга вокруг него.

Сегодня говорим о "математическом" тестировании программ, ПО для шахтах, блокчейне и смарт-контрактах, генераторах парсеров и семантике, компиляторах на TypeScript и их эффективности, FunC, TVM и о многом другом.

👉 YouTube: https://youtu.be/Cg7geUDHH4A
👉 Apple Podcasts: https://apple.co/41hwOIQ
👉 Spotify: https://spoti.fi/3Ktbf1Y
👉 Скачать mp3: https://podcast.itbeard.com/e/193

‼️ А ещё, прямо сейчас команда TON проводит хакатон "The Open League Hackathon" с призовым фондом в 2 млн. долларов. Поучаствовать в хакатоне можно по ссылке https://bit.ly/ton-hack-2024, регистрация открыта до 30 апреля, так что поспешите!

Там же можно встретить Антона, показать себя команде TON и потренировать навык в Tact. Чат-группа участников: https://t.me/hackatonx/