По теме апок на тему налогов с зарплат можно попробовать SalaryAbroad

Что объединяет выигрыши Стаса в покере, стратегию расположения магазинов “Пятерочка” и принципы распределения коров при разделе наследства? Теория игр! Илья Кацев, 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 – Теория игр

A tribute to the people of Ukraine.

Title track of 'Nomad's Requiem' album now out on Werra Foxma Sub Club

Nomad's Requiem

В мире веб-разработки фреймворки приходят и уходят, но какой веб-сайт не возьми, там почти наверняка будет использоваться 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

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

Enter a sonic metropolis with Syntakt – the 12 track drum computer and synthesizer that fuses digital and analog synthesis together in one music megabox. Syntakt is a drum specialist, full of percussive possibilities, but its four analog and eight digital tracks can be used for melody, harmony, and bass sounds too, giving you a musical melting pot with dozens of machines at your disposal. Experience epic sounds from the past, while pulling others into existence from the future.

Affect the sound of each machine with the intuitive and playful graphics. Add analog distortion and filtering to your mix or separate tracks, using the FX block. Run wild and free with the four expressive modifiers. Access a variety of different scales via the keyboard mode. And create dynamic soundscapes with its phenomenal sequencer.

The streets of Syntakt are never-ending, the neon lights are never-dimming, its underground is fathomless. Discover worlds within worlds. Adore now. Explore forever: https://bit.ly/384dF5S

Diddyridoo

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

Easel Practice 7 - 12 - 22

EXs321 Xpansions

Monster Metal Wave

Room of Wires - Early Stage Mutation

Curated by amc, New Seeds showcases new electronica across the genre from ambient and chill-out through to synth and vaporwave with a sprinkling of complimentary influences and classic tracks.

@amc_sounds

8:00 – 10:00pm
Monthly on the fourth Monday.

www.blooplondon.com
www.facebook.com/blooplondon
www.youtube.com/blooplondon
www.mixcloud.com/blooplondon
www.twitch.tv/blooplondon
@blooplondon

New Seeds

New Seeds w/ amc - 28.11.22

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

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

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

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

Podlodka Podcast

Recent comments

Sergey Pchelyakov

Related tracks