Аригато! Никакое обсуждение бережливого производства не обойдется без таких терминов как кайдзен, пока-йоке, гемба, муда, мура, мури. Вместе с Алексеем Пименовым прошли весь путь от подходов в машиностроении до бережливого производства ПО. Разобрались насколько подходы применимы в IT, а главное почему с ним должны познакомиться современные управленцы.

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

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

Полезные ссылки:
[Книга] Бережливое производство программного обеспечения | Мэри и Toм Поппендик

[Книга] The Principles of Product Development Flow | Donald G. Reinertsen

[Книга] Канбан. Альтернативный путь в Agile | Дэвид Дж. Андерсон

[Книга] Канбан Метод. Улучшение системы управления | Майк Барроуз

[Книга] The Toyota way | Jeffrey Liker

[Книга] Гемба кайдзен | Масааки Имаи

[Книга] Научная организация труда | Тейлор Фредерик Уинслоу

[Книга] Критическая цепь | Элияху Голдратт

Podlodka #250 – Lean

Разработка сервисов темна и полна ужасов! Ведь на всем протяжении жизненного цикла сервиса, от его создания до деплоя и эксплуатации, разработчику необходимо интегрироваться с существующей инфрастуктурой, решать множество рутинных задач и не забывать про принятые в компании инженерные практики. Упростить жизнь и оптимизировать разработку поможет концепция Paas — Platform as a Service. Это набор хорошо проработанных решений, позволяющий продуктовой разработке не тратить много времени на рутинные задачи и низкоуровневые инструменты. Звучит здорово, но что на самом деле скрывается за этим определением? В какой момент команде пора начать разрабатывать свой Paas и как его правильно внедрять? Вадим Мадисон, директор Центра Разработки ТехПлатформ Авито, рассказал нам длинный путь эволюции PaaS в Авито и как он помогает помогает на различных этапах создания сервисов. 

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

Podlodka #253 – Platform as a Service (PaaS)

Vicky Leandros   '' MEIN HAUS ''

Band: In Trance 95

Original demo version

In Trance 95 - Desire To Desire ( demo - Greece - 1988 )

Мечтаете, чтобы ваше ПО было сверх надежным, но грустите, ведь даже самый большой набор тестов не гарантирует 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://fintech.yandex.ru/?utm_source=telegram&utm_campaign=podlodka

Поддержи лучший подкаст про 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://podlodka.io/125 – выпуск про оценку сроков и трудоемкости задач

Podlodka #273 – Оценки не нужны

Українці мають ті речі, які зараз можуть об'єднати не лише нас, а й увесь світ. Тому ми спільно з компанією Intellias запускаємо подкаст про нову українську культуру та цінності, які допомагають нам перемагати. І починаємо з підприємницького мислення та винахідливості. Наш перший співрозмовник: Роман Гапачило – віце-президент Intellias з управління талантами, CEO ініціативи Bandera Car, засновник, автор та актор комедійного шоу «Наші без раші». 

Говоримо про підприємництво, практичний вимір цінностей та корпоративну культуру. Про жінок у ІТ, різноманіття у рекрутменті, його передумови та переваги. Про довіру та людяність як наші головні нові цінності. Про яворівський пиріг та улюблені меми. «Цінності працюють, коли приймаєш рішення. Вони допомагають у критичні моменти. Найважливіше – виконання, команда, правильне партнерство». 

Наш культурний код ми досліджуємо у подкасті «Парк культури» разом з Христиною Біляковською у партнерстві з ІТ компанією Intellias – найкращим ІТ-роботодавцем України. Слухайте по середах на SoundCloud, Google та Apple podcasts Radio SKOVORODA.

Парк культури – Е1 – Роман Гапачило, стартапне мислення

Whisper of Ruins

Whisper Of Ruins

Трек был размещён Глебом Самойловым на SoundCloud 26 сентября 2021 г., затем закрыт (по техническим причинам). Обложка - Глеба Самойлова. За трек благодарю Ольгу Соболеву (группа в ВКонтакте «Глеб Самойлов. Фан клуб "Синие цветы"»).

Глеб Самойлов // Труп Старика В Заколоченном Шкафу

Аудиозапись взята из видео Глеба Самойлова, опубликованного в его аккаунте на Facebook 20 декабря 2020 г. На обложке - кадры из видео Автора.

Глеб Самойлов - 🎄 Двадцать Первый век

Poetry From The Future

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

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

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

Podlodka #273 – Оценки не нужны

Podlodka Podcast