Тисни на старт
Це величності пакт
Де порядок настав Там уже кіберпанк
Я не бачив щоб час  Милував когось з нас Ти хотів, та не спав
Ти хотів, та не встав а

Бігти мастак
Горизонтом Багдад
То який буде план
Якщо куш проєбав
Я не бачив щоб час
Милував когось з нас
Ти хотів та не взяв
Ти хотів та засцяв а

Подряпини на бетоні від скла тих розбитих машин чорта короля
І що ж отримаю я? Тікаю від бобіка, не доженеш ніхуя
Я буду сміятись так, Ніби Боклан не дурак, що сцену продав
Колись би я з радістю впав
Ей 
Але я цього разу не сам

Нижні палати не чують
Криків під стіною не чують
Дула автомата, рахують
Голови в бетоні

Пакт один
Халепа в окрузі
Брат, це ти
На зустрічній смузі?

Танці на свіжих гробах Щоб
Забути про страх
Та як би не так? 
Воронки часу, респауни, мрак
Козацький гопак під Чумацький шлях

Молися світанок настав?
Та нахуй ся здав
Такий романтичний розклад
Я бачив, що ти так чекав
Коли
Рука дотягнеться до дна

Нижні палати не чують
Криків під стіною не чують
Дула автомата, рахують
Голови в бетоні

Тисни на старт
Це величності пакт
Де порядок настав Там уже кіберпанк
Я не бачив щоб час  Милував когось з нас Ти хотів, та не спав
Ти хотів, та не встав а

Бігти мастак
Горизонтом Багдад
То який буде план
Якщо куш проєбав
Я не бачив щоб час
Милував когось з нас
Ти хотів та не взяв
Ти хотів та засцяв а

Пакт один
Халепа в окрузі
Брат, це ти
На зустрічній смузі?

Нижні палати не чують
Криків під стіною не чують
Дула автомата, рахують
Голови в бетоні

Пакт 1

Замахнулись на необъятное и обсудили компьютерные сети! Одного выпуска для такой тему явно мало, поэтому пока мы сфокусировались на интернете, и подробно изучили приключения сигнала на пути от пользователя к целевому сервису. В гостях у нас Тёма Гавриченков из Servers.com, которого вы можете помнить из нашего выпуска про дата-центры.

Разверните гибкую и производительную облачную базу данных для своего игрового проекта в облаке Selectel: https://slc.tl/z9sWf

C 8 ноября стартует новый сезон конференции Podlodka Backend Crew! По промокоду TANNENBAUM скидка для слушателей этого выпуска, а подробности и расписание на сайте https://podlodka.io/becrew. 

Поддержи лучший подкаст про 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://bash.im/quote/198307

Статья “The death of transit”
https://blog.apnic.net/2016/10/28/the-death-of-transit/

Видеоверсия статьи
https://www.youtube.com/watch?v=Byh7GkUemYo 

Статья на википедии про Tier-1-провайдеров
https://en.wikipedia.org/wiki/Tier_1_network

Podlodka #239 – Сети, часть 1: Интернет

Аригато! Никакое обсуждение бережливого производства не обойдется без таких терминов как кайдзен, пока-йоке, гемба, муда, мура, мури. Вместе с Алексеем Пименовым прошли весь путь от подходов в машиностроении до бережливого производства ПО. Разобрались насколько подходы применимы в 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

It's been a bit since ive made anything really hypnotic, so I hope this track will entice you to the greatest of experiences.

Entice - Single

Entice

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

The explanation for Russia’s invasion of Ukraine is not only geopolitical, but also psychological. It is rooted in Russia’s  culture of violence and political sado-masochism. We discuss this with Peter Pomerantsev, senior fellow at Johns Hopkins University and author of the best-selling books, This is Not Propaganda and Nothing is True and Everything is Possible. Host: Volodymyr Yermolenko, Ukrainian philosopher and journalist, chief editor of UkraineWorld.org. Support us on patreon.com/ukraineworld

Russia’s political sado-masochism. - With Peter Pomerantsev | Ep. 122

Dararat Chemnasiri   -   Alto  Sax
King  Imagine    -   electronics

KIng Imagine & Dararat Chemnasiri  -Mystery  Animals In  The  Fogs

old memory

кліп: https://youtu.be/OwxgUBXBB-k

війна триває. для когось вона уже закічилась, для когось - триватиме вічно.
проте робити вигляд, що її немає, чи робити вигляд, що вона назавжди стала сенсом життя - всього лиш ховатися від війни.
а ми ховатись не збираємось. ми про це сміємось, щоби ви не плакали.

ми стібемо реп, ми стібемо шароварщину. але робимо це з любов'ю.
бо ми і є реп, ми і є шароварщина. точніше, неореп. неошароварщина.

ну і нагадуємо: донатьте на армію. бо ми можемо писати і записувати такі пісні, а ви можете їх слухати лише завдяки нашим воїнам. а у вальгаллу їм ще рано, вони нам тут потрібні.

INSANE IN THE PAIN

The chaos of my lifestyle, loss, and melancholy shades in these tracks, but at the same time, it all prepares me for another love... like for the first time.

follow apne @sadog72 for more!

apne — Dior

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

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

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

Podlodka #250 – Lean

Podlodka Podcast