The US is more dangerous now as it loses global primacy than it has been at any other point in its history. There really are just two options currently on the table: either the US empire relinquishes unipolar domination voluntarily and leads a peaceful transition into a multipolar world, or it takes increasingly drastic and dangerous action to maintain planetary control. The latter choice is both horrifying and likely.

Reading by Tim Foley.

The US Empire Is More Dangerous Than Ever Before

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

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

Мы уже обсуждали, как работают распределенные системы, но сознательно не стали затрагивать задачи, которые в них решаются. Исправляемся! Поговорили о том, что такое и зачем нужен MapReduce и какие еще есть модели распределенных вычислений. А помог нам в этом Егор Хайруллин из Яндекса.

Как «Золотое Яблоко» перестроилось на развитие e-com и за год завоевало лидерство в отрасли:
https://incrussia.ru/specials/goldapple

Вакансии в IT команду: 
https://career.habr.com/companies/goldapple/vacancies

Поддержи лучший подкаст про 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 #258 – Распределенные вычисления

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

Разбираемся в нюансах интернет-рекламы! Какие разновидности рекламы бывают, за что платят рекламодатели и как работают рекламные аукционы? Выясняем вместе с Андреем Мищенко из Яндекса.

ЖК «Светлый мир «Станция «Л»…» — современный комплекс комфорт‐класса. Если вы мечтали жить в уютном, зеленом ЖК, где есть все для комфортной жизни и развития — это то, что вам нужно! Узнайте больше о ЖК, ценах на квартиры и планировках на сайте: https://station-l.ru

Поддержи лучший подкаст про 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://youtu.be/wwSSnVUpbMw?t=3729

Статья про модель оплаты за конверсии
https://yandex.ru/adv/news/model-oplaty-za-konversii-v-yandeks-direkte-dostupna-vsem-reklamodatelyam

Доклад про автотаргетинг
https://www.youtube.com/watch?v=hrsvuFhbPQU

Podlodka #269 – Интернет-реклама

Ms. Take

Follow me:
☾ https://linktr.ee/palmo_x

Hey folks!

Today is the day of new music from me. The song 'Daydream' was the part of my second unreleased album, 'No Worries.' It is inspired by skating on a longboard in the mid-summer. Watching shows about vampires and mystics from the '90s, such as Buffy or Charmed. Binge-watching Stranger Things, movies based on Stephen King's books and novels, playing tarot cards, and listening to synth dreamy lo-fi pop while lying on the summer grass. In other words, it’s about time and atmosphere stolen from was by war.

Daydream

Weekly challenge to create a new synthwave track every Wednesday

Synthwave Wednesday Part 2

Performed live at Backstage in Munich, Germany, on Empathy Test's headline 'Monsters' tour in 2022. With David Leisser on drums and Oliver Marson on keyboards. Originally released in 2020 on the 'Monsters' studio album.

Time To Be Alive

Making Worlds (Live at Backstage, Munich 2022)

01. Lumen Flutter
02. Insect Dialog [10:02]
03. Just Modulation Things [13:42]
04. Music for Scattered Light IV [21:36]
05. Memory Canyon [32:00]
06. Night flight [40:30]
07. Phantom Pass [49:36]
08. Music for Scattered Light VI (53:23)

mirror: https://www.mixcloud.com/Gapfield/retrospective-vol-2

https://gapfield.bandcamp.com

Retrospective, Vol. 2

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

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

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

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

Podlodka Podcast