Шок-контент – мы закопали код-ревью!
На деле, конечно, все не так просто: код-ревью – это всего лишь одна из разновидностей peer review со своими границами применимости. Какие еще есть подходы, и когда они бывают полезны – обсудили с Филиппом Дельгядо!

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

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

Полезные ссылки:
Доклад Фила с Podlodka Techlead Crew
https://www.youtube.com/watch?v=EaLtDnTgBis

Podlodka #251 – Peer Review

The heart of Technosate is the digital reactor, the machine for generating almost endless energy. According to old reports, the plans originate from the research project "S.A.T.A.N". This cannot be traced back exactly. Every citizen who enters cyberspace transmits a part of the emotions released there to the reactor, which it converts into energy.  Care must be taken to ensure that there are always enough citizens in cyberspace.

Technostate

06.02.2022

Digital reactor

В мире веб-разработки фреймворки приходят и уходят, но какой веб-сайт не возьми, там почти наверняка будет использоваться CSS. Что это за технология, которая с нами уже так долго, разбираемся с Софией Валитовой.

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

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

Полезные ссылки:
Блог Софии
ariarzer.dev

Статья про слои
https://ariarzer.dev/articles/2021/css-cascade-layer.html

Доклад Никиты Дубко «CSS – язык программирования»
https://www.youtube.com/watch?v=2UIwHWQeJBs

Podlodka #259 – CSS

Sounds of war

Что происходит с видео вашего котика, которое вы загружаете на какой-нибудь стриминговый сервис, а потом скидываете ссылку друзьям во всем мире? Как видеоплеер понимает, когда показывать видео в низком качестве, а когда – в высоком? Как работают различные кодеки и чем они отличаются? Мы поняли, что очень плохо себе представляем весь пайплайн работы стриминговых сервисов, и позвали в гости главного специалиста по этой теме в России – Александра Тоболя, технического директора ВКонтакте, VK Видео и VK Звонков.

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

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

Полезные ссылки:
Как Netflix выбирает thumbnail’ы для видео
https://twitter.com/TrungTPhan/status/1445768087832182796

Доклад про хранилище видео
https://www.youtube.com/watch?v=Hs2txKgnpAk

Статья про QUIC
https://habr.com/ru/company/vk/blog/594633/

Сравнение кодеков
https://www.compression.ru/video/codec_comparison/index.html

Podlodka #261 – Стриминг видео

06 I Know

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

Большинство из вас привыкло не особо задумываться о налогах. Это либо 13%, которые платит за вас работодатель, либо налог за деятельность ИП, который платите вы сами по очень простому алгоритму. Но все становится сильно сложнее, когда вы сталкиваетесь с вопросами налогового резидентства и нюансами взаимодействия систем налогообложения разных стран. Дмитрий Хахаев из Buzko.Legal, один из авторов “Налогового путеводителя для цифровых кочевников” провел для наших слушателей ликбез по основным вопросам, связанным с налоговым резидентством.

Точка — финтех компания, в которой ты будешь свободен в решениях и счастлив жить и работать где угодно. Погнали?
https://tchk.me/pBaxju

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

Ведущие в выпуске:
Катя Петрова, Егор Толстой

Полезные ссылки:
Новый Telegram канал про налоги для экспатов
https://t.me/nomad_taxes

Путеводитель для цифровых кочевников
https://www.buzko.legal/digital/putevoditel-dlya-cifrovyh-kochevnikov

Telegram канал Романа Бузько
https://t.me/lazzy_ventures

Блог Buzko.Legal
https://www.buzko.legal/blog-ru

Podlodka #271 – Налоговое резидентство

Marik (feat. Mizontiq)

Follow project:

https://airraidsiren.live

Follow artist:

https://soundcloud.com/ninaeba
https://instagram.com/djninaeba

Support us:

https://gasolineradio.com/support

AIR RAID SIREN: THE VOICE OF DEATH 25/11/2022

Follow artist:

https://soundcloud.com/katrozauber
https://instagram.com/katrozauber

Support us:

https://gasolineradio.com/support

МАГІЯ ПЕРЕХОДУ #04 21/12/2022

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

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

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

Podlodka #259 – CSS

Podlodka Podcast