Что объединяет выигрыши Стаса в покере, стратегию расположения магазинов “Пятерочка” и принципы распределения коров при разделе наследства? Теория игр! Илья Кацев, PhD по теории игр и руководитель команды дата-сайнтистов в Яндексе, поделился кучей задач, методов и практических применений теории игр в современном мире.

Много крутых вакансий в Яндекс Банк, для разработчиков и не только: https://fintech.yandex.ru/?from=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://compscicenter.ru/courses/game-theory/2017-spring/classes/3007/

Game Theory: Analysis of Conflict, Roger B. Myerson https://www.amazon.com/Game-Theory-Analysis-Roger-Myerson/dp/0674341163

Теория игр для экономистов-кибернетиков, Воробьев Н.Н.
https://www.ozon.ru/product/teoriya-igr-dlya-ekonomistov-kibernetikov-145745781

Похожие выпуски:
https://podlodka.io/129
https://podlodka.io/231
https://podlodka.io/225

Podlodka #252 – Теория игр

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

Вечно можно наблюдать за тем, как горит огонь, течёт вода и за тем, как разработчики ругаются по поводу спеки нового API метода. Существует ли API, которым всем удобно пользоваться, а его автора  не хочется застрелить при необходимости обновления? Если да, то как добиться того же у себя на проекте? Искали ответ на этот вопрос, плавали по слоям абстракций и пытались устроить холивар про REST с Сергеем Константиновым, проработавшим 9 лет в API Яндекс.Карт и выпустившим книгу про построение API.

Оставляйте заявку на сайте и передайте Selectel задачи по настройке и обслуживанию IT-инфраструктуры: https://slc.tl/y6p2n

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

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

Полезные ссылки:
Книга "API" – https://twirl.github.io/The-API-Book/index.ru.html

Podlodka #276 – Разработка API

Очереди – один из ключевых компонентов архитектуры приложений с асинхронной бизнес-логикой. Они помогают сглаживать пиковую нагрузку на сервисы, строить надежные распределенные по географии системы, и писать независимые друг от друга компоненты системы. Владимир Перепелица, архитектор и продакт-менеджер из Tarantool, провел отличную экскурсию в мир очередей – рассказал про существующие топологии, их плюсы и минусы, работу менеджеров очередей под капотом и кучу кейсов того, как строить архитектуру системы на базе очередей.

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

Приходи на новый сезон Podlodka Backend Crew про то, как делать бэкенд быстрее. Топовые спикеры и куча знаний, которые вы сможете применить в работе хоть завтра. Промокод на скидку – QUEUE. 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://habr.com/ru/company/oleg-bunin/blog/579354/
https://www.youtube.com/watch?v=_3nKjCjt2uU
https://mcs.mail.ru/blog/zachem-nuzhny-ocheredi-soobshcheniy-v-mikroservisnoy-arkhitekture

Podlodka #277 – Менеджеры очередей

Red Dwarf

From the album Control out October 7. Featuring Stein Bjercke and Oddman. Mastered by Ian Hawgood (Home Normal)

Preorder CD • digital
https://mindovermidi.bandcamp.com/album/control

Denial marks an incremental increase in energy levels, with captivating synth textures gorgeously blended over gently rolling rhythms and growling bass to form a powerfully cinematic soundscape.


Stream new single Control w/ Stein Bjercke
https://orcd.co/bs260-1

Denial (Control)

Post Apocalyptic - Farewell album preview.

Full album:  https://atlantearecords.bandcamp.com/album/farewell

Written and produced by Tadeuš Jatkevič
Flute by Emilija Jonusaite
Cover artwork by @anthony-asher-yates-1
Mastering by Seth Bellow

Farewell

Post Apocalyptic - Farewell [AR007] preview

CYCLIC LAW'S 20th ANNIVERSARY LABEL SAMPLER 2CD / DL (200th Cycle)
In celebration of our 20th year as a label, we've gathered 22 artists on 20 tracks, all graciously presenting us exclusive and unreleased material. Featuring AJNA, ASCENDING DIVERS, ASHTORETH, BECKAHESTEN, CURSE ALL KINGS, DESIDERII MARGINIS, FUNERARY CALL, KAMMARHEIT, LEILA ABDUL-RAUF, NERATERRÆ & DØDSMASKIN, NEW RISEN THRONE & CORONA BARATHRI, NORDVARGR, ØJERUM, SHEDIR, SHRINE, SOPHIA, SUTEK HEXEN, TAPHEPHOBIA, VISIONS and VORTEX. We’d like to dedicate this release to our worldwide supporters who’ve made this 20 year venture possible and to all artists involved throughout the years, whom with their unique approach to atmospheric music, have helped create the aural world that is Cyclic Law. Artwork imagery is by our close collaborator and friend Kristina Feldhammer.

Double CD Edition of 500 copies in gatefold Digisleeve with 180x120mm poster, matt lamination. 20 Tracks. Running Time; CD1 56:57, CD2 57:17

Processed Organ Works

øjeRum  - The Land - Excerpt

CURSE ALL KINGS 

Curse All Kings - For Amara, Queen of Geese - Excerpt

For me this track is about how once someone close to you passes, how their time stops and suddenly they become contained in the past. And the chasm in time between you and them continues to increase

Time Stops

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

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

Подкаст Подлодка ведут четверо весёлых и опытных инженеров с примесями менеджеров:
- Егор Толстой (Kotlin Project Lead, JetBrains)
- Стас Цыганов (Product Manager, Kotlin team в JetBrains)
- Катя Петрова (Product Marketing Manager, Kotlin team в JetBrains)
- Женя Кателла (Staff Developer, Shopify)

Podlodka #252 – Теория игр

Podlodka Podcast