Весь липень ІТ-спільнота обговорювала гроші та Дія City. Ви не залишили нам вибору: у цьому випуску подкасту ми говоримо саме на ці теми та ще трішки про новини. Тож, як я і сказала на початку випуску, якщо ви не любите гроші й Дія City, обов'язково слухайте цей подкаст. Підписуйтеся на телеграм-канал подкасту - спілкуватимемося разом:  00:00:00 Вітання і&nbsp;новий конкурс. 00:07:14 Зарплатне опитування ДОУ: чому&nbsp;ж медіана&nbsp;3К, коли всі навколо отримують по&nbsp;7К. 00:31:05 Грошові бонуси в&nbsp;ІТ: які з&nbsp;них&nbsp;ок, а&nbsp;які не&nbsp;дуже. 00:41:42 Рада проголосувала за&nbsp;Дія City: згадуємо, що&nbsp;відбувалося в&nbsp;ІТ-спільноті та&nbsp;чого нам очікувати від спецрежиму. 01:03:38 Цікаві новини місяця: СБУ викрила майнінг-ферму (або не&nbsp;майнінг і&nbsp;не&nbsp;ферму), Softserve запустив дуальну програму в&nbsp;ЛНУ ім. Франка, EPAM відкрив офіс в&nbsp;Одесі, Мінцифри опублікувало експрес-аналіз ІТ-освіти, похорон Internet Explorer. 01:25:55 Підсумки конкурсу на&nbsp;назву офісу Softserve. &nbsp; &nbsp;

Чому в розробників зарплата 3K, а не 7K. І що на всіх нас чекає із введенням Дія City. Подкаст DOU #16

xenelas x whitelope - brand new world

У цьому епізоді читаємо перші вірші Хвильового, обговорюємо його безкінечну віру в ідею, розбираємо – чому так часто в його творах згадуються шведські могили, як він витворює унікальні образи і зрештою – читаємо дитячу казку, від якої шкіра вкривається сиротами.
А ще тут історія про те, як прадід наставляв Павла Михеда та шукаємо відповіді на питання – чому оповідання Хвильового «пахнуть Гоголем» і про що насправді була літературна дискусія 1920-х років.

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

#7 Микола Хвильовий. Я — вірю!

У цьому епізоді говоримо про поезію «Бу-Ба-Бу», гортаємо сторінки журналу «Четвер», читаємо перші тексти Сергія Жадана та алкохоку Юрка Позаяка, вдивляємося в символізм катастрофи на Чорнобильській АЕС, розбираємо тексти Соломії Павличко та багатоманіття підходів до питання: чи можливо віднайти ту одну конкретну точку, від якої починається відлік сучасної української літератури?

А ще тут історії про обурливе листування Тараса Шевченка і Пантелеймона Куліша, а також про життєву долю останнього футуриста, який близько 60 років працював над своєю поемою.
Подкаст виходить за підтримки Zagoriy Foundation.
Автор: Олександр Михед
Instagram: bit.ly/34jpU
FB: bit.ly/3ogZo
Продюсер і композитор: Тарас Галаневич
Редактор: Марк Лівін
Instagram: bit.ly/3ab0Kg
FB: bit.ly/2QYij
Новини та деталі про інші подкасти від The Village Україна: t.me/minpod

Станція 451

Спеціальний епізод. Вибух: сучасна українська література

Разработка сервисов темна и полна ужасов! Ведь на всем протяжении жизненного цикла сервиса, от его создания до деплоя и эксплуатации, разработчику необходимо интегрироваться с существующей инфрастуктурой, решать множество рутинных задач и не забывать про принятые в компании инженерные практики. Упростить жизнь и оптимизировать разработку поможет концепция Paas — Platform as a Service. Это набор хорошо проработанных решений, позволяющий продуктовой разработке не тратить много времени на рутинные задачи и низкоуровневые инструменты. Звучит здорово, но что на самом деле скрывается за этим определением? В какой момент команде пора начать разрабатывать свой Paas и как его правильно внедрять? Вадим Мадисон, директор Центра Разработки ТехПлатформ Авито, рассказал нам длинный путь эволюции PaaS в Авито и как он помогает помогает на различных этапах создания сервисов. 

Поддержи лучший подкаст про 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://habr.com/ru/company/avito/blog/527400/

Podlodka #253 – Platform as a Service (PaaS)

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

Посмотреть программу 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 – Антивирусы

озирнись

Работа на зарубежные компании — традиционно популярная тема среди IT специалистов, а в текущих реалиях об этом начинают задуматься даже те, кто раньше вообще не планировал релокацию. Обновить и углубить знания о том, как готовиться к устройству на работу за рубежом нам помогла Надя Петрова – основательница кадрового агенства Luna Park. В выпуске мы пробежались по всем этапам трудоустройства – от поиска вакансий до зарплатных переговоров, поэтому если не знаете, как запустить этот непростой процесс — скорее включайте выпуск!

Поддержи лучший подкаст про 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://hrlunapark.com/ 

Канал с вакансиями
t.me/hrlunapark

Рацио-блог про психологию
t.me/nadyathinks или vk.com/petrova

«Как за 2 недели подтянуть английский для собеседования»
https://vas3k.club/post/14803/

Podlodka #262 – Работа за рубежом

Окунаемся в мир hardware и обсуждаем, а что же интересного скрывают такие привычные слова, как, например, HDD и SSD. Спойлер: нам не хватило одного выпуска, чтобы обсудить все! В гостях Руслан Савченко из Яндекса.

Бесплатные курсы по iOS и Android разработке от экспертов Ozon Tech https://bit.ly/3E96d5C

Поддержи лучший подкаст про 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://arxiv.org/abs/2102.11198

Podlodka #263 – Диски и носители, часть 1

Мечтаете, чтобы ваше ПО было сверх надежным, но грустите, ведь даже самый большой набор тестов не гарантирует 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 – Формальные методы и верификация программ

Відбираючи насінини з різних культур, бельгієць Wim Dantinne планує культивувати багатий та родючий звуковий ландшафт, в надії, що музика продовжуватиме рости та надихати. У першому епізоді ми мочуємо різнобічну вибірку з джазу, соулу, фанку, хіп-хопу, диско, бугі та ще цілого ряду жанрів, які застигли у форматі вінілу в коллекції хоста.
____

Picking seeds from different cultures, Belgian Wim Dantinne plans to cultivate a rich and fertile soundscape, in the hope that the music will continue to grow and inspire. In the first episode, we will hear a versatile selection of jazz, soul, funk, hip-hop, disco, boogie, and a number of other genres that froze in vinyl format in the host's collection.
____

Cлідкуйте за ведучим:

www.instagram.com/wimdantinne

Підписуйтесь на Gasoline Radio:

www.gasolineradio.com
www.instagram.com/gasoline.radio
t.me/gasolineradio

ЧОРНОЗОМ #01 03/09/2022

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

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

Подкаст Подлодка ведут четверо весёлых и опытных инженеров с примесями менеджеров:
- Егор Толстой (Kotlin Project Lead, JetBrains)
- Стас Цыганов (Product Manager, Kotlin team в JetBrains)
- Катя Петрова (Product Marketing Manager, Kotlin team в JetBrains)
- Женя Кателла (Staff Developer, Shopify)

Podlodka #262 – Работа за рубежом

Podlodka Podcast