
Выпусков: 278

Podlodka Podcast Егор Толстой, Стас Цыганов, Екатерина Петрова и Евгений Кателла
-
- Технологии
-
-
4,7 • Оценок: 842
-
Podlodka - это еженедельное аудио-шоу про IT и все, что с ним связано. Формат наших выпусков - это полное погружение в тему вместе с приглашенным гостем. В каждый выпуск мы зовём интересных и именитых профессионалов в разных областях.
Мы любим обсуждать архитектуру, делиться опытом промышленной разработки и спорить на горячие темы.
Подкаст ведут четверо весёлых и опытных инженеров с примесями менеджеров:
- Егор Толстой (Kotlin Lead Product Manager, JetBrains)
- Стас Цыганов (Руководитель мобильной разработки, Туту.ру)
- Катя Петрова (Руководитель разработки Frontend Architecture, Avito)
- Женя Кателла (Руководитель мобильной разработки, Яндекс.Еда)
-
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 -
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 -
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 -
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
Ведущие в выпуске:
Катя Петрова, Стас Цыганов -
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 -
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
Отзывы покупателей
Познавательно!
В этом подкасте всё всегда прекрасно, кроме гитарного соло в конце.
Интервьюер, говори поменьше
Отзыв про выпуск «рекрутмент как продукт»: тако ощущение, что интервьюер позвал гостя для галочки, говорит сам больше, чем гость, затягивает мысль, слушать тяжело и ценности нет никакой.
Отличный подкаст
Отличный контент, приятные ведущие