АйТиБород‪а‬ АйТиБорода

👉 Присоединяйтесь к хакатону 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 Как попал в команду TON48:43 Как начал заниматься разработкой ЯП55:55 История Tact1:02:02 Про FunC1:05:20 Статический анализ1:06:46 Tact vs FunC1:09:35 Отличие разработки смарт-контрактов от веб-разработки1:14:32 Иммутабельность кода1:18:30 Параллелизм в Tact1:21:42 Что разрабатывают на Tact1:25:00 Hello World на Tact - это что?1:28:41 Компилятор и парсер 1:32:37 Компилятор на TypeScript - это как? 1:37:40 Улучшение ошибок генератора парсера1:40:28 Type checker1:45:55 Модель контракта и тестирование1:49:25 Туллинг вокруг языка1:56:09 Как работают линтеры2:00:05 Зачем нужен статический анализ2:02:02 Насколько сложно закомитать в Tact2:13:50 Кто разрабатывает дебаггер ЯП2:15:40 Чего не хватает в Tact2:21:18 В какой парадигме работает Tact2:29:15 Как Tact может внедрить то, чего нет в FunC2:31:34 Про The Open League и хакат

👉  Обращайтесь за помощью к ребятам из WeExpert: https://bit.ly/weexpertА по промокоду itbeard24 получайте скидку в 10% на первый месяц обслуживания.👉  Конференция для фрилансеров во Вроцлаве: https://bit.ly/weexpert-conf
 
Я третий год живу в Польше, и кажется момент настал - большой выпуск про то, как переехать и обустроиться в Польше айтишнику! Как заехать в страну и легализироваться, трудоустроится и открыть ИП и бизнес-инкубатор, купит недвижимости в ипотеку, что такое ужонд, внёсек и страж граничный и многое другое. Помогать разобраться мне в этих вопросах будут эксперты из WeExpert. Лично мне два года назад не хватало такого контента, надеюсь и вам будет полезно. Так что, заваривайте чаинский/кофеинский и погнали😉
 
ГДЕ СМОТРЕТЬ И СЛУШАТЬ🔸 YouTube: [https://youtu.be/RtW_rzDkkGk🔸 Apple Podcasts: https://apple.co/41hwOIQ🔸 Google Podcasts: https://bit.ly/itbeard-googlepodcasts🔸 Spotify: https://spoti.fi/3Ktbf1Y🔸 Скачать mp3: https://podcast.itbeard.com/e/192
 
НАВИГАЦИЯ0:00 Начало0:55 Представление8:00 Как попасть в Польшу11:40 Куда делся PBH15:42 Можно ли легализоваться через туристическую визу?17:35 Про сроки получения ВНЖ21:50 Про конференцию во Вроцлаве22:30 Что такое и как работают бизнес-инкубаторы28:00 ИП (JDG) vs бизнес-инкубатор30:12 Сколько стоит бухгалтерия32:42 Получение работы через бизнес-инкубатор38:10 Стереотипы про бизнес-инкубатор42:05 Почему компании не хотят нанимать по трудовым договорам43:00 Почему ВНЖ ждут долго и ускорить процесс48:35 Как получить временный и постоянный ВНЖ, карту поляка и гражданство57:48 Полицеальная школа - что это?58:50 Blue Сard для айтишников1:01:01 Налоговое резиденство и центр жизни - когда и как?1:06:54 Про запрет работы как ФОП живя в Польше1:08:11 Сколько налога платят в Польше?1:09:48 Как регистрировать ИП и ООО в Польше1:21:00 Как работать по трудовому договору и как ИП?1:24:25 Что будет за неуплату налогов1:28:07 Почему бухгалтера в Польше не работают?1:31:06 Про покупку недвижимости, кредиты и ипотеки1:38:28 Как хранить сбережения?1:42:16 Как перевести крупную сумму из-за рубежа себе на счёт?1:45:34 Как WeExpert работу людям ищут1:48:22 Пара советов тем, кто переезжает
 
ПОДПИСЫВАЙТЕСЬ🔻 Telegram: https://t.me/itbeard🔻 TikTok: https://www.tiktok.com/@itbeard🔻 Linkedin: https://s.itbeard.com/linkedin🔻 Reddit: https://www.reddit.com/r/itbeard🔻 Сайт: https://itbeard.com
 
#айтиборода #релокация #польша

Кто такой Team Lead Architecture? Как работают команды архитекторов? Как нанимают и собеседуют архитекторов? Сложно ли быть тимлидом в команде, где каждый - лучший? Обо всём этом в сегодняшнем выпуске АйТиБороды. Гость выпуска, Team Lead Backend Architecture, TeamLead, TechLead и соведущий подкаста TeamLeadTalks  - Егор Балышев. 
Заваривайте чаинский/кофеинский будет очень интересно! 😉

Очередной Традиционный Бородатый Стрим на канале. В нём постараюсь ответить на ваши самые сокровенные вопросы :)
👉 Мой Патреон: https://www.patreon.com/itbeard👉 Мерч: https://streamlabs.com/itbeard/merch👉 Подкаст "Новости Бороды": https://itbeard.com/projects/beard-news
 
НАВИГАЦИЯ0:00 Начало8:40 Результаты стримов "Хорошее Дело"18:32 ИИ-инструменты для программирования34:05 Как использовать AI в программировании1:05:50 Прочее про ИИ1:15:12 Перерыв1:24:05 Продолжаем1:37:00 Про хайп вогруг Ждана1:43:27 Про конфликты, крипту и редисок2:39:22 Перерыв2:44:20 Продолжаем3:01:30 Про кресло, клаву и макбук3:44:22 Последний перерыв3:49:33 Финалочка
ССЫЛКИ СО СТРИМА- AIA Podcast: https://itbeard.com/projects/aia- Каталог ИИ-сервисов от AIA: https://awclub.github.io- Мой и Лесин англоязычный подкаст "Imbalansed Dialogues": https://www.youtube.com/@imbadial- Мой англоязычный канал: https://www.youtube.com/@iamitbeard- Советы разрабам от мощных инженеров: https://www.youtube.com/watch?v=suATPK45sjk- Перевод BG3 на беларуский: https://twitter.com/zmiecer/status/1763518256495690213- Моё оборудование (старый список): https://wearecommunity.io/communities/itbeard/moyo-oborudovanie
 
ПОДПИСЫВАЙТЕСЬ
🔸 Telegram: https://t.me/itbeard 
🔸 Twitter: https://twitter.com/iamitbeard
🔸 Reddit: https://www.reddit.com/r/itbeard
🔸 Mastodon: https://vkl.world/@itbeard
🔸 Сайт: https://itbeard.com

Сегодня погружаемся в мир науки, ведь вас ждёт фундаментальный во всех смыслах выпуск: про квантовую механику и оптику, гравитационные волны и гравитацию, Большой Взрыв, чёрные и белые дыры, механизм их формирования и работы, аксионы, вимпы и много чего ещё. Гость выпуска PhD, квантовый физик и исследователь гравитационных волн - Михаил Коробко.Так что, заваривайте чаинский/кофеинский и погнали, будет ооочень интересно! 😉
 
ССЫЛКИ🔹 Телеграм Миши: https://t.me/mkorobko🔹 Канал Миши про науку: https://t.me/homeostatic_universe🔹 AMA с Мишей на Vas3k Club: https://youtu.be/3MRLDjgeaJc🔹 Твиттерский про 9ю планету: https://twitter.com/kbatygin
 
ГДЕ СМОТРЕТЬ И СЛУШАТЬ🔸 YouTube: https://youtu.be/VuvsC2gJsao🔸 Apple Podcasts: https://apple.co/41hwOIQ🔸 Google Podcasts: https://bit.ly/itbeard-googlepodcasts🔸 Spotify: https://spoti.fi/3Ktbf1Y🔸 Скачать mp3: https://podcast.itbeard.com/e/plus3
 
0:00 Интро1:33 Начало31:55 Квантовая запутанность41:40 Передача информации в спутанных системах46:40 Как детектируют гравитационные волны53:10 Гравитация58:47 Мысленный эксперимент1:00:33 Почему это волны1:04:50 Почему закон сохранения энергии работает всегда1:07:17 Тёмная энергия и расширение вселенной1:10:00 Зачем нам знания о расширении вселенной1:11:25 Что такое Чёрные Дыры1:17:30 Про теорию квантовой гравитации1:20:10 Какие бывают Чёрные Дыры1:35:05 Кротовые норы и мост Розенштейна1:39:20 Большой Взрыв1:42:35 Большой Адронный Коллайдер и испарение чёрных дыр1:48:30 Тёмная материя и Вимпы2:00:43 Аксионы2:05:35 Элементарные частицы и стандартная модель2:12:25 Бозон Хиггса2:16:10 Гравитон2:17:48 Слабое взаимодействие и теория единого поля2:20:52 Ещё немного про кварки2:24:18 Нейронные и другие звёзды2:29:51 Умирающая вселенная2:31:48 Как увидели центр Млечного 2:34:10 Про теорию Струн простыми словами2:41:55 Пульсары и радиопульсары2:45:12 Гравитационные волны и скорость света2:49:35 Девятая планета2:53:24 Отзыв на Интерстеллар и спойлеры2:55:08 Многомировая квантовая интерпретация3:01:55 Виртуальность мира3:04:15 Про смысл нашего существования3:07:47 Смерть и самосознание3:08:40 Что нас уничтожит
 
ПОДДЕРЖАТЬ КАНАЛ 🔸 Стать патроном на 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 🔻 TikTok: https://www.tiktok.com/@itbeard🔻 Linkedin: https://s.itbeard.com/linkedin🔻 Reddit: https://www.reddit.com/r/itbeard

Долгожданный сиквел на канале - интервью с самым жизненным IT-блогером Мишей Ларченко! Из выпуска вы узнаете о том, кто такой Миша, как он стал программистом и очутился в Нидерландах, за что обожает JavaScript и ненавидит TypeScript, почему за HTMX будущее, а фронтенд обречен на смерть и кто батя беларуского IT.Так что, заваривайте чаинский/кофеинский и погнали 😉
 
ССЫЛКИ🔹 Материалы из выпуска: https://t.me/itbeard/1290🔹 Канал Миши:  @larchanka  🔹 Поддержать меня на Patreon: https://www.patreon.com/itbeard
 
ГДЕ СМОТРЕТЬ И СЛУШАТЬ🔸 YouTube: https://youtu.be/_ANHeyfQFkc🔸 Apple Podcasts: https://apple.co/41hwOIQ🔸 Google Podcasts: https://bit.ly/itbeard-googlepodcasts🔸 Spotify: https://spoti.fi/3Ktbf1Y🔸 Скачать mp3: https://podcast.itbeard.com/e/188
 
НАВИГАЦИЯ0:00 Начало0:50 Кибер спортсмен из Бабруйска8:42 Университет и работа в газете11:25 Оппозиция и армия13:25 Первый опыт работы программистом 15:50 EPAM - это бодишоп?25:30 Переезд в Нидерланды32:25 Чем занимается Миша39:05 Стартаперская карьера47:55 Про Python и Rust56:05 Про JavaScript59:35 Что плохого в TypeScript1:05:57 Про Solidity, FunC и блокчейны1:10:29 Что с IT-рынеом в Европе1:22:40 Фронтенд всё: htmx, ИИ и чат-боты1:31:05 Как AI повлиял на сферу1:32:35 Как используешь ИИ1:35:40 Подробнее про HTMX1:43:30 Рандом: советы новичкам, MAANG, nocode
 
ПОДДЕРЖАТЬ КАНАЛ 🔸 Стать патроном на 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 🔻 WhatsApp: https://s.itbeard.com/whatsapp