В сегодняшнем выпуске Кирилл Размыслович, автор в журналах «The Universe. Space. Tech» и «Мир Фантастики», блогер и популяризатор науки, расскажет нам историю покорения космоса человеком. Вас ждёт путешествие в 17 век, в Холодную войну и то, как вопреки всему человек осваивал космос. Так что, заваривайте чаинский/кофеинский и погнали, будет ооочень интересно! 😉

ССЫЛКИ 👉 Канал Цёмны Лёс (по-беларуски): https://youtube.com/@ciomnylos 👉 Телеграм канал "АйТиБорода": https://t.me/itbeard 🔸 Стать патроном на Patreon: https://www.patreon.com/itbeard 🔸 Стать спонсором на YouTube: https://www.youtube.com/itbeard/join 🔸 Поддержать через карту и криптовалюты: https://itbeard.com/help 🔹 Кирилл в ТГ: https://t.me/RingsandMoons 🔹 Кирилл в Instagram: https://www.instagram.com/kiri2ll 🔹 Материалы из выпуска: https://t.me/itbeard/1345

ГДЕ СМОТРЕТЬ И СЛУШАТЬ 🔸 YouTube: https://youtu.be/9_lClkSH5Ew 🔸 Apple Podcasts: https://apple.co/41hwOIQ 🔸 Google Podcasts: https://bit.ly/itbeard-googlepodcasts 🔸 Spotify: https://spoti.fi/3Ktbf1Y 🔸 Скачать mp3: https://podcast.itbeard.com/e/plus4

ОГЛАВЛЕНИЕ 0:00 Тизер 1:04 Поддержи канал! 2:03 Кирилл о себе 3:12 Фотографии луны 8:44 Цёмны Лёс і гікаўскі кантэнт 9:36 Когда началась космическая эра 17:19 Люди в небе 15:11 Как сверхновые помогли изучению космоса 18:47 Открытие планет 21:00 О Плутоне 24:15 Именование астро-объктов 26:26 Что такое Космос 29:15 Про Гагарина и Международный День Космонавтики 35:22 Празднуют ли 12 апреля в США 36:35 Народная эйфория по космосу 38:30 Связь Холодной войны и космоса 41:03 Зачем надо было выводить человека в космос 43:40 Про создание NASA 46:15 Как СССР мог тягаться с США 52:57 О Терешковой 56:40 Туалет в космосе 1:02:00 Как космонавтам сносило крышу 1:07:50 Первый человек в открытом космосе 1:12:02 О напарнике Леонова Павле Беляеве 1:17:24 Начало конца гонки для СССР 1:23:46 О Королеве 1:27:00 Как умер Королёв? 1:31:05 Королева никто не знал? 1:32:06 Облёт Луны 1:34:49 Как попасть на Луну 1:41:04 Зачем летать на Луну 1:47:35 Как получить образцы Луны любому человеку 1:47:15 Конец лунной гонки 1:50:40 Про Бураны и Спейсшатлы 1:55:35 Как появилась Международная Космическая Станция 2:06:27 Про Starship, Falcon Heavy и Falcon 9 2:09:52 Полёт на Марс и колония вне Земли 2:13:35 Другие интересные предстоящие полёты 2:17:33 Зачем изучать кометы 2:21:00 Миссия Вояджера-1 2:26:08 Мы единственные во Вселенной? 2:29:27 Фантастика 2:25:29 Глобальные проблемы человечества 2:39:52 Где искать Кирилла

ПОДДЕРЖАТЬ КАНАЛ 🔸 Стать патроном на 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

#айтиборода #наука #космос

👉 Присоединяйтесь к хакатону 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

👉 Обращайтесь за помощью к ребятам из 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 Куда делся PBH 15: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

#айтиборода #релокация #польша