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

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

Разработка кодеков – это целая вселенная, о которой многие совсем ничего не знают. Чтобы разобраться, мы позвали в гости Дмитрия Ватолина, который с 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

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

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

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

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

Регистрируйтесь и переносите свои проекты в надежное и гибкое облако 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

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