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

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

Jam with Elektron: model samples + Korg Kaoss mini 2

Stugna-P

Функциональный язык, идеально подходящий для создания распределенных вычислительных систем. Язык, позволяющий порождать легковесные процессы и реализующий модель акторов для безопасного общения между ними. Язык, не претерпевающий грандиозных изменений благодаря удачному проектированию еще в 80-х годах! Он активно используется в WhatsApp и на нем написан RabbitMQ. Интригует? Тогда скорее включайте выпуск, где Максим Лапшин, основатель компании Erlyvideo, 2 часа увлекательно рассказывает нам про Erlang!

Переносите свои проекты в облако Selectel всего в пару кликов: https://slc.tl/Oe1sx

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

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

Podlodka #265 – Erlang

Не так давно писали выпуск про продуктовые платформы, а в этом выпуске с Алексеем Исаевым из карьерного маркетплейса g-mate поговорили о том, как платформы побеждают на рынке рекрутмента. Прошлись и по видам маркетплейсов, и по продуктовым метрикам, и по тому, как проводят продуктовые эксперименты.

Ознакомься с вакансиями в команду разработки e-commerce «Золотого яблока»: https://career.habr.com/companies/goldapple/vacancies 
Интернет-магазин занимает первое место в категории “health and beauty” федерального рейтинга: https://www.top100.datainsight.ru

Поддержи лучший подкаст про IT: https://boosty.to/podlodka 

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

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

Полезные ссылки:
Телеграм Алексея
https://t.me/AleksIsaev

Бот с вакансиями g-mate
https://t.me/g_jobbot

Podlodka #266 – Рекрутмент как продукт

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

Заходят как-то продакт Котлина, автор книги VIPER, любитель Java, developer advocate, iOS Тимлид команды ecomm «ВКонтакте» в бар и… НАЧИНАЮТ СПОРИТЬ ПРО МОБИЛЬНЫЕ АРХИТЕКТУРЫ 🤡 
Мы, конечно, давно уже не мобильных подкаст, но свои корни надо помнить. В этом выпуске вместе с тем самым JonFir (Евгений Елчев) пытаемся разобраться, зачем мобильщики напридумывали себе кучу архитектур и есть ли между ними хоть какая-то разница. MVC, MVVM, MVI, VIPER, Redux, UDF, Ribs и другие всеми любимые аббревиатуры, а также легкий налет “Пробоины”!  

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

Промокод -500р на iOS Crew: Modern Coding: MVC_FOREVER
https://podlodka.io/ioscrew 

Поддержи лучший подкаст про 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://devcrowd.ru/ios-tools-22
https://github.com/strongself/The-Book-of-VIPER
https://lazyload.academy/ios-hardware-requirement/
https://www.objc.io/books/app-architecture/
https://github.com/pointfreeco/swift-composable-architecture
https://lazyload.academy/ios-course/ 
https://youtu.be/g6I4hE2Wqfc
https://youtu.be/sM-AaI32hTc

Podlodka #272 – Мобильные архитектуры

Bardo Tea - Symologue (2016)

anthropophobia

·P·D·

while waiting for the Torauma mix ( got corrupted) I decided to release this mix I held on for a while. didn't have anything lined up for it so It's gonna see the light of day here.

variances of sounds I'm into in the moment and its through the ringer of Witchhouse, Grime, 140 and other outliers in the electronic scene.




I'll put up a tracklist up ( Getting better since I do a radio show now with KP on Freeform PDX every other Wednesday from 10pm-midnight) soon.




enjoy the weekend and yeah.....repost, share and thank you for the support.



Lu.






悪意  Akui .wav

Cultivate

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

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

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

Podlodka #265 – Erlang

Podlodka Podcast