:wordsoulmagick:

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

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

Что происходит с видео вашего котика, которое вы загружаете на какой-нибудь стриминговый сервис, а потом скидываете ссылку друзьям во всем мире? Как видеоплеер понимает, когда показывать видео в низком качестве, а когда – в высоком? Как работают различные кодеки и чем они отличаются? Мы поняли, что очень плохо себе представляем весь пайплайн работы стриминговых сервисов, и позвали в гости главного специалиста по этой теме в России – Александра Тоболя, технического директора ВКонтакте, VK Видео и VK Звонков.

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

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

Полезные ссылки:
Как Netflix выбирает thumbnail’ы для видео
https://twitter.com/TrungTPhan/status/1445768087832182796

Доклад про хранилище видео
https://www.youtube.com/watch?v=Hs2txKgnpAk

Статья про QUIC
https://habr.com/ru/company/vk/blog/594633/

Сравнение кодеков
https://www.compression.ru/video/codec_comparison/index.html

Podlodka #261 – Стриминг видео

Окунаемся в мир 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

Функциональный язык, идеально подходящий для создания распределенных вычислительных систем. Язык, позволяющий порождать легковесные процессы и реализующий модель акторов для безопасного общения между ними. Язык, не претерпевающий грандиозных изменений благодаря удачному проектированию еще в 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

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

Ms. Take

shrimpL

A new track of the Cosanti project called "Player1". Player1 is one of the most common names of players in computer racing. Sport, excitement and speed come first, and it doesn't matter what alias you chose for the competition.
I tried to preserve the style of The Need for Speed series of games, as well as accentuate the track with recognizable sound elements, as in NFS2, NFS3:hot pursuit and NFS:Porsche Unleashed.

cosanti - player1

Equilibrium

***
es katru rītu, katru rītu
visus sūtu
bet nevienu citu tik daudz, nevienu ne tik bieži un daudz
tici, tici, tici
tikai tevi, tikai tevi 
vismaz divreiz dienā sūtu
nahuj
vismaz divreiz

uz zīdpapīra ielūgumu rakstu:
“nahuj”
tici, tici, tici
tikai tevi 
tik bieži un daudz

tikai tevi vismaz divreiz ik dienu sūtu
nahuj
aizej stūrī nobeidzies
izdzēs savu sleju,
uz sava pāraugušā ego noduries un nobeidzies -
es tev katru dienu sūtu

KUZUCUK - Sūtījumi

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

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

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

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

Podlodka Podcast