Прочитайте чек-лист по цифровой безопасности в России-2022. Несоблюдение этих правил может стоить вам свободы — и жизни ‎«Podlodka Podcast» в Apple Podcasts

Выпусков: 278

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

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

Подкаст ведут четверо весёлых и опытных инженеров с примесями менеджеров:
- Егор Толстой (Kotlin Lead Product Manager, JetBrains)
- Стас Цыганов (Руководитель мобильной разработки, Туту.ру)
- Катя Петрова (Руководитель разработки Frontend Architecture, Avito)
- Женя Кателла (Руководитель мобильной разработки, Яндекс.Еда)

Podlodka Podcast Егор Толстой, Стас Цыганов, Екатерина Петрова и Евгений Кателла

    • Технологии
    • 4,7 • Оценок: 842

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

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

Подкаст ведут четверо весёлых и опытных инженеров с примесями менеджеров:
- Егор Толстой (Kotlin Lead Product Manager, JetBrains)
- Стас Цыганов (Руководитель мобильной разработки, Туту.ру)
- Катя Петрова (Руководитель разработки Frontend Architecture, Avito)
- Женя Кателла (Руководитель мобильной разработки, Яндекс.Еда)

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

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

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

    • 1 ч. 33 мин.
    Podlodka #267 – Кодеки

    Podlodka #267 – Кодеки

    Разработка кодеков – это целая вселенная, о которой многие совсем ничего не знают. Чтобы разобраться, мы позвали в гости Дмитрия Ватолина, который с 2003 года руководит крупнейшим в мире сравнением кодеков. В выпуске мы говорим про то, как устроена архитектура кодеков, какие идеи стоят за их различными компонентами, как оценивается их эффективность, и как выглядит будущее сжатия файлов.

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

    Сайт Дмитрия про обработку видео
    videoprocessing.ai/about

    Свежие бенчмарки кодеков
    videoprocessing.ai/benchmarks/

    Старый сайт про сжатие видео
    compression.ru/video

    Утилита с наибольшим количество метрик качества видео
    compression.ru/vqmt

    Бенчмарк от команды Дмитрия
    videocompletion.org

    Стартап Дмитрия по оценке качества видео
    subjectify.us

    Стартап Дмитрия по транскодингу
    evt.guru

    • 1 ч. 34 мин.
    Podlodka #266 – Рекрутмент как продукт

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

    Не так давно писали выпуск про продуктовые платформы, а в этом выпуске с Алексеем Исаевым из карьерного маркетплейса 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

    • 1 ч. 6 мин.
    Podlodka #265 – Erlang

    Podlodka #265 – Erlang

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

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

    • 1 ч. 44 мин.
    Podlodka #264 – Как вкатиться в стиль

    Podlodka #264 – Как вкатиться в стиль

    Говорят, что любому уважающему себя айтишнику достаточно одной пары штанов, чтобы быть довольным жизнью. Мы записали выпуск для тех, кого эта ситуация не устраивает! Вместе с Кристиной Заяц, стилистом из Барселоны, мы поговорили про то, как разобраться в том, что тебе нравится в одежде, подобрать свой стиль и выбирать качественные вещи.

    Регистрируйтесь и переносите свои проекты в надежное и гибкое облако Selectel: https://slc.tl/Rzg9k

    Поддержи лучший подкаст про 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://www.litres.ru/anushka-riz/umnyy-garderob-kak-podcherknut-individualnost-navedya-poryadok/chitat-onlayn/

    Книга. Мари Гринден Арнтцен «Дресс-код. Голая правда о моде» https://www.litres.ru/grinde-arntcen-mari/dress-kod-golaya-pravda-o-mode/chitat-onlayn/

    Курс на BoF об истории моды Fashion History For Today
    https://www.businessoffashion.com/education/courses/fashion-history-for-today

    Курс «Чистые стили»
    https://selfmadestudio.ru/olyaclass#rec271604818

    Вебинары Юли Катькало «Мужской гардероб»
    https://online.juliacatcalo.com/landing/man-2018 и много о женском стиле
    https://online.juliacatcalo.com/getting-started

    Справочник по цветовым комбинациям
    https://dshi-medvenka.kursk.muzkult.ru/media/2020/04/03/1252166470/Spravochnik_po_czvetovy_m_kombinaciyam.pdf

    Классификация стилей от Гоши Карцева
    https://youtube.com/watch?v=EQNFxIfhhf0

    Общепринятая топология стилей
    https://www.youtube.com/watch?v=3X6C8ITk2xk

    Капсульный гардероб: вебинар Юли Катькало
    https://online.juliacatcalo.com/landing/wardrobe-2020

    Приложение Vogue
    https://apps.apple.com/es/app/vogue-runway-fashion-shows/id289380413

    Иностранные журналы: i-D, V magazine, Dazed, Another

    Российские журналы: The Blueprint, Buro, Be-In

    Блогеры, на которых можно подписаться для развития насмотренности:
    https://instagram.com/blancamiro
    https://instagram.com/bayagorbusha
    https://instagram.com/mariecher
    https://instagram.com/goshakartsev
    https://instagram.com/alexandrrogov
    https://instagram.com/evachen212
    https://instagram.com/greenteanosugar
    https://instagram.com/glukhov_alexey
    https://instagram.com/plpnk_
    https://instagram.com/timiliasov

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

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

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

    • 1 ч. 40 мин.

Отзывы покупателей

4,7 из 5
Оценок: 842

Оценок: 842

The_M2 ,

Познавательно!

В этом подкасте всё всегда прекрасно, кроме гитарного соло в конце.

Dravasek1406 ,

Интервьюер, говори поменьше

Отзыв про выпуск «рекрутмент как продукт»: тако ощущение, что интервьюер позвал гостя для галочки, говорит сам больше, чем гость, затягивает мысль, слушать тяжело и ценности нет никакой.

Loydmaier ,

Отличный подкаст

Отличный контент, приятные ведущие

Топ подкастов в категории «Технологии»

libo/libo
Никита Лакеев, Роман Нургалиев
Umputun, Bobuk, Gray, Ksenks, Alek.sys
Осторожно: подкасты!
ProductSense
Подкаст-студия «Терменвокс»

Вам может также понравиться

libo/libo
ProductSense
BeardyCast.com
Zavtracast
#BeardyCast
Медуза / Meduza