Начало этого маленького альбома берет весной 2020 года в период пандемии. Пребывая загородом, мне на ум пришла концепция передачи сходства моделей поведения насекомых с людьми через музыку. Синхронизация, структурность и цикличность в мире насекомых имеет так много общего с нашим, человеческим макромиром. Задавая себе вопросы, я написал ответ!

Formicidae

Choho

Plach

У цьому епізоді читаємо короткі  і страшні оповідання Василя Стефаника, розбираємо таємниці роду, вчитуємося у листи, вдивляємося в його політичну
діяльність, співчуваємо розчаруванню видавцями та рахуємо його гонорари. І зрештою – підбираємо свій ключик для розуміння його текстів.
А ще тут історія про те, як батько Олександра Михеда малим жив в одній хаті разом із кількома поколіннями роду, їв найсмачніший хліб і загубив новенький картуз – і що йому за це прилетіло. Шукаємо відповіді на запитання – в чому ж феномен Стефаника і чому українські письменники з покоління в покоління йдуть в політику.

Подкаст виходить за підтримки Zagoriy Foundation.
Автор: Олександр Михед
Instagram: bit.ly/34jpU
FB: bit.ly/3ogZo
Продюсер і композитор: Тарас Галаневич
Редактор: Марк Лівін
Instagram: bit.ly/3ab0Kg
FB: bit.ly/2QYij
Новини та деталі про інші подкасти від The Village Україна: t.me/minpod

#9 Василь Стефаник. Ади, пекло

Замахнулись на необъятное и обсудили компьютерные сети! Одного выпуска для такой тему явно мало, поэтому пока мы сфокусировались на интернете, и подробно изучили приключения сигнала на пути от пользователя к целевому сервису. В гостях у нас Тёма Гавриченков из Servers.com, которого вы можете помнить из нашего выпуска про дата-центры.

Разверните гибкую и производительную облачную базу данных для своего игрового проекта в облаке Selectel: https://slc.tl/z9sWf

C 8 ноября стартует новый сезон конференции Podlodka Backend Crew! По промокоду TANNENBAUM скидка для слушателей этого выпуска, а подробности и расписание на сайте https://podlodka.io/becrew. 

Поддержи лучший подкаст про IT:
www.patreon.com/podlodka 

Также ждем вас, ваши лайки, репосты и комменты в мессенджерах и соцсетях! 
Telegram-чат: https://t.me/podlodka  
Telegram-канал: https://t.me/podlodkanews 
Страница в Facebook: www.facebook.com/podlodkacast/ 
Twitter-аккаунт: https://twitter.com/PodlodkaPodcast  

Ведущие в выпуске:
Женя Кателла, Катя Петрова

Полезные ссылки:
История с башорга про свитч в ведре
https://bash.im/quote/198307

Статья “The death of transit”
https://blog.apnic.net/2016/10/28/the-death-of-transit/

Видеоверсия статьи
https://www.youtube.com/watch?v=Byh7GkUemYo 

Статья на википедии про Tier-1-провайдеров
https://en.wikipedia.org/wiki/Tier_1_network

Podlodka #239 – Сети, часть 1: Интернет

Premiere! New album by Zetetics. Songs that will give you a lump in your throat when you don't even expect it.

Cold Star

Someone

Шок-контент – мы закопали код-ревью!
На деле, конечно, все не так просто: код-ревью – это всего лишь одна из разновидностей peer review со своими границами применимости. Какие еще есть подходы, и когда они бывают полезны – обсудили с Филиппом Дельгядо!

Поддержи лучший подкаст про IT:
www.patreon.com/podlodka 

Также ждем вас, ваши лайки, репосты и комменты в мессенджерах и соцсетях! 
Telegram-чат: https://t.me/podlodka  
Telegram-канал: https://t.me/podlodkanews 
Страница в Facebook: www.facebook.com/podlodkacast/ 
Twitter-аккаунт: https://twitter.com/PodlodkaPodcast  

Ведущие в выпуске:
Женя Кателла, Стас Цыганов

Полезные ссылки:
Доклад Фила с Podlodka Techlead Crew
https://www.youtube.com/watch?v=EaLtDnTgBis

Podlodka #251 – Peer Review

В выпуске разобрали разные виды вредоносных программ: вирусы, червей, троянские программы и виды борьбы с ними. В гости позвали главного эксперта из Лаборатории Касперского Александра Гостева. Выпуск интересен как теорией, так и примерами: про атаку спецслужбами нескольких государств одного иранского ПК, почему раз в две недели бьется турбина на ГЭС.

Посмотреть программу New IT Fest и зарегистрироваться: https://bit.ly/3AZIW4w

Поддержи лучший подкаст про IT:
www.patreon.com/podlodka 

Также ждем вас, ваши лайки, репосты и комменты в мессенджерах и соцсетях! 
Telegram-чат: https://t.me/podlodka  
Telegram-канал: https://t.me/podlodkanews 
Страница в Facebook: www.facebook.com/podlodkacast/ 
Twitter-аккаунт: https://twitter.com/PodlodkaPodcast  

Ведущие в выпуске:
Стас Цыганов, Евгений Кателла, Катя Петрова

Полезные ссылки:
Подкаст Александра «Смени пароль»  https://music.yandex.ru/album/16065230

Nostarch - Practical malware analysis 
nostarch.com/malware

Nostarch - IDA Pro book 
nostarch.com/idapro2.htm  

Countdown to zero day – Kim Zetter 

Sysinternals - Windows Internals, Part 1 
amazon.com/dp/0735684189

PE files structure old classical article still very useful msdn.microsoft.com/en-us/library/ms809762.aspx

Podlodka #254 – Антивирусы

Мечтаете, чтобы ваше ПО было сверх надежным, но грустите, ведь даже самый большой набор тестов не гарантирует 100% работоспособность кода на всех кейсах? На помощь придет верификация ПО с помощью формальных методов! Опишем спецификацию на программу с помощью математических языков и докажем какие-нибудь ее свойства. Не обещаем, что будет просто, но точно будет интересно! Вместе с профессором Национального Университета Сингапура Ильей Сергеем разобрали верификацию не только на простых задачах, но и в проектах с огромной кодовой базой и распределенными вычислениями. Обсудили истории успеха из реальных проектов, основные сложности этого подхода и направления активных исследований применения формальных методов в разработке ПО.

Оставляйте заявку и бесплатно переносите проекты на гибкую и мощную инфраструктуру Selectel: https://slc.tl/gzpzo

Поддержи лучший подкаст про IT:
www.patreon.com/podlodka 

Также ждем вас, ваши лайки, репосты и комменты в мессенджерах и соцсетях! 
Telegram-чат: https://t.me/podlodka  
Telegram-канал: https://t.me/podlodkanews 
Страница в Facebook: www.facebook.com/podlodkacast/ 
Twitter-аккаунт: https://twitter.com/PodlodkaPodcast  

Ведущие в выпуске:
Катя Петрова, Стас Цыганов

Полезные ссылки:
Введение в верификацию в Coq https://softwarefoundations.cis.upenn.edu/

Комплятор C верифицированный в Coq
https://compcert.org/

Книжка Лампорта по спецификации сисатем https://lamport.azurewebsites.net/tla/book-02-08-08.pdf

Facebook Infer, анализ построенный на логике
https://fbinfer.com/

Как в Амазоне используют формальные методы
https://www.youtube.com/watch?v=YdxvOPenjWI&ab_channel=ACMSIGOPS

Model Checker для Rust 
https://github.com/model-checking/kani

Сайт Ильи 
https://ilyasergey.net

Twitter Ильи 
https://twitter.com/ilyasergey

Podlodka #268 – Формальные методы и верификация программ

Похудение ассоциируется с жесткими диетами на пророщенной пшенице и сельдерее. Гость выпуска – врач психотерапевт и диетолог Сергей Обложко, рассказал о способах достичь цели без насилия над собой. В выпуске разобрали мифы и нетрадиционные способы похудения, а также влияние таких факторов, как спорт и сон на процесс.

Оставляйте заявку на бесплатный перенос инфраструктуры проекта в Selectel: https://slc.tl/5j53u

Поддержи лучший подкаст про IT:
www.patreon.com/podlodka 

Также ждем вас, ваши лайки, репосты и комменты в мессенджерах и соцсетях! 
Telegram-чат: https://t.me/podlodka  
Telegram-канал: https://t.me/podlodkanews 
Страница в Facebook: www.facebook.com/podlodkacast/ 
Twitter-аккаунт: https://twitter.com/PodlodkaPodcast  

Ведущие в выпуске:
Стас Цыганов, Егор Толстой

Podlodka #270 – Похудение

Продолжительность оригинального трека Глеба Самойлова - 4:30. Трек, который здесь выложен, получен путём извлечения аудио из видео (запись с экрана). Запись прерывистая. Этот трек практически никто не слышал, поэтому выкладывается (хотя бы) в форме фрагментов. Оригинальный трек Автора назывался «LP4.wav». Обложка неаутентичная - восстановленная (частично) по скринам из видео. За трек (видео) благодарю Екатерину Макарову. Видеозапись была сделана 5 апреля 2021 г. Возможно, эту дату можно считать датой публикации трека Автором на SoundCloud. 

Глеб Самойлов // LP4.wav («Ещё чуть-чуть...») [фрагменты трека]

Podlodka – это еженедельное аудио-шоу про IT и все, что с ним связано. Формат наших выпусков - это полное погружение в тему вместе с приглашенным гостем. В каждый выпуск мы зовём интересных и именитых профессионалов в разных областях.

Мы любим обсуждать архитектуру, делиться опытом промышленной разработки и спорить на горячие темы.

Подкаст Подлодка ведут четверо весёлых и опытных инженеров с примесями менеджеров:
- Егор Толстой — руководил командами разработки в Rambler&Co и Avito.
- Катя Петрова — руководила командой дизайн-системы в Авито.
- Евгений Кателла — руководил отделом Android в Rambler&Co и мобильным направлением в Яндекс Еде.
- Стас Цыганов — руководил мобильными командами в Туту.ру. Автор книги VIPER и роадмапа тимлида.
- Анна Симонова — джедай организации митапов, конференций, и развития сообществ. 
- Андрей Смирнов — руководил отделами разработки в X5 Tech, IPONWEB и Rambler&Co

Podlodka #254 – Антивирусы

Podlodka Podcast