Никто не пишет математику "на железке". Бывает, что пишут программу на контроллеры, но уж точно не математику.

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

Podlodka #263 – Диски и носители, часть 1

O2N - Sunrise

Purchase link: o2nbm.bandcamp.com/track/sunrise
Donate (PayPal): solavirum0.7@gmail.com
Instagram: www.instagram.com/o2nbm/
Youtube: www.youtube.com/c/UC9Kiuc3YA50hLSinJ_Oe39g

©Full rights to this track belong to me

When I'm Gone, Will You Remember Me?

O2N - Sunrise

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

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

O2N - Philophobia

Purchase link: o2nbm.bandcamp.com/track/philophobia
Donate (PayPal): solavirum0.7@gmail.com
Instagram: www.instagram.com/o2nbm/
Youtube: www.youtube.com/c/UC9Kiuc3YA50hLSinJ_Oe39g

©Full rights to this track belong to me

Philophobia

philophobia

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

Заходят как-то продакт Котлина, автор книги VIPER, любитель Java, developer advocate, iOS Тимлид команды ecomm «ВКонтакте» в бар и… НАЧИНАЮТ СПОРИТЬ ПРО МОБИЛЬНЫЕ АРХИТЕКТУРЫ 🤡 
Мы, конечно, давно уже не мобильных подкаст, но свои корни надо помнить. В этом выпуске вместе с тем самым JonFir (Евгений Елчев) пытаемся разобраться, зачем мобильщики напридумывали себе кучу архитектур и есть ли между ними хоть какая-то разница. MVC, MVVM, MVI, VIPER, Redux, UDF, Ribs и другие всеми любимые аббревиатуры, а также легкий налет “Пробоины”!  

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

Промокод -500р на iOS Crew: Modern Coding: MVC_FOREVER
https://podlodka.io/ioscrew 

Поддержи лучший подкаст про 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://devcrowd.ru/ios-tools-22
https://github.com/strongself/The-Book-of-VIPER
https://lazyload.academy/ios-hardware-requirement/
https://www.objc.io/books/app-architecture/
https://github.com/pointfreeco/swift-composable-architecture
https://lazyload.academy/ios-course/ 
https://youtu.be/g6I4hE2Wqfc
https://youtu.be/sM-AaI32hTc

Podlodka #272 – Мобильные архитектуры

Valley, by Ed Harrison

Additional parts and performances:

Drums: Garry Hayes (1, 2, 3, 5, 6, 7, 8)
Guitars: Nick Phelps (1, 2, 6, 7, 8)
Bass: Cameron Whipp (5, 6, 8)
Bass: Rafael Freitas (1)
Bass: Matt Brett (2)
Voice & Flutes: Alia Fay (2, 3)
Voice: Amelia Harrison (3, 5)
Vibraphone: Jeremie Carrier (5)
Brass and Woodwinds: Nahor Gomes & Cesar Roversi (5, 6, 8)

Dive video by Solid
Cover artwork by Ed Harrison

Get it on Bandcamp!

Abiogenesis

Remix for Elite. Vocals 100% Civil Hate. Music 100% Exsect

Civil Hate - Elite (Exsect Remix)

Fidfeed

Equilibrium

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

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

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

Podlodka #265 – Erlang

Podlodka Podcast

Recent comments

Alexander Nozik

Related tracks