From little Rayhat Reef (4 miles from our shore) before sunrise at 03.40 am. with Herring Gulls awakening. The microphones were placed in a Buckthorn where a flock of young Starlings kept night. (4.00>) (The low rumble is from a very distant ship. From 15 hours of recording, the noise is here as lowest)

Updating www.rupuranta.net

(MKH8020 ab80cm, MixPre3 32float>24/48, no processing, Flac)

Sunrise with Herring Gulls - 15/7/2021 - Rayhat Reef

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

Мы уже обсуждали, как работают распределенные системы, но сознательно не стали затрагивать задачи, которые в них решаются. Исправляемся! Поговорили о том, что такое и зачем нужен MapReduce и какие еще есть модели распределенных вычислений. А помог нам в этом Егор Хайруллин из Яндекса.

Как «Золотое Яблоко» перестроилось на развитие e-com и за год завоевало лидерство в отрасли:
https://incrussia.ru/specials/goldapple

Вакансии в IT команду: 
https://career.habr.com/companies/goldapple/vacancies

Поддержи лучший подкаст про 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 #258 – Распределенные вычисления

Run To You

Con - Figure - Run To You

Говорят, что любому уважающему себя айтишнику достаточно одной пары штанов, чтобы быть довольным жизнью. Мы записали выпуск для тех, кого эта ситуация не устраивает! Вместе с Кристиной Заяц, стилистом из Барселоны, мы поговорили про то, как разобраться в том, что тебе нравится в одежде, подобрать свой стиль и выбирать качественные вещи.

Регистрируйтесь и переносите свои проекты в надежное и гибкое облако Selectel: https://slc.tl/Rzg9k

Поддержи лучший подкаст про 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://www.litres.ru/anushka-riz/umnyy-garderob-kak-podcherknut-individualnost-navedya-poryadok/chitat-onlayn/

Книга. Мари Гринден Арнтцен «Дресс-код. Голая правда о моде» https://www.litres.ru/grinde-arntcen-mari/dress-kod-golaya-pravda-o-mode/chitat-onlayn/

Курс на BoF об истории моды Fashion History For Today 
https://www.businessoffashion.com/education/courses/fashion-history-for-today

Курс «Чистые стили» 
https://selfmadestudio.ru/olyaclass#rec271604818

Вебинары Юли Катькало «Мужской гардероб» 
https://online.juliacatcalo.com/landing/man-2018 и много о женском стиле 
https://online.juliacatcalo.com/getting-started

Справочник по цветовым комбинациям 
https://dshi-medvenka.kursk.muzkult.ru/media/2020/04/03/1252166470/Spravochnik_po_czvetovy_m_kombinaciyam.pdf

Классификация стилей от Гоши Карцева 
https://youtube.com/watch?v=EQNFxIfhhf0

Общепринятая топология стилей 
https://www.youtube.com/watch?v=3X6C8ITk2xk

Капсульный гардероб: вебинар Юли Катькало 
https://online.juliacatcalo.com/landing/wardrobe-2020

Приложение Vogue 
https://apps.apple.com/es/app/vogue-runway-fashion-shows/id289380413

Иностранные журналы: i-D, V magazine, Dazed, Another

Российские журналы: The Blueprint, Buro, Be-In

Блогеры, на которых можно подписаться для развития насмотренности: 
https://instagram.com/blancamiro
https://instagram.com/bayagorbusha
https://instagram.com/mariecher
https://instagram.com/goshakartsev
https://instagram.com/alexandrrogov
https://instagram.com/evachen212
https://instagram.com/greenteanosugar
https://instagram.com/glukhov_alexey
https://instagram.com/plpnk_
https://instagram.com/timiliasov

Podlodka #264 – Как вкатиться в стиль

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

09. Leaving The Underground

Close To You - Edit

Максимально неторопливо встречаем начинающиеся выходные вместе с дуэтом Melodies of the Iceberg Максима и Николая Безугловых и их Slow Dance / Organic House компиляцией!

Микшер Русской кибернетики 294
с Александром Киреевым и Евгением Сваловым / 4Mal
Авторы гостевого микса: Melodies of the Iceberg (Краснодар-Минск, Россия/Беларусь)

В этом часе звучат треки и ремиксы авторов Mikhail Catan, Tiefe Wasser Berlin, Trippin Jaguar, Jacob Groening, Viken Arman, Roze (FR), Geplantes Nichtstun, Lorikeet, Ben Afshar, Tibetania, End Of Time, Sydka и Saive, а с конкретикой по треклисту поможет Shazam.

Друзья, открывайте для себя новую электронную музыку России и русскоговорящих стран вместе с музыкально-просветительским проектом «Русская кибернетика» и его ведущими Евгением Сваловым (4Mal) и Александром Киреевым!

Новые эпизоды «Русской кибернетики» вы всегда найдёте онлайн:
Яндекс.Музыка: https://music.yandex.ru/album/6917036
Google Podcasts: https://bit.ly/3inbsYE
Apple Music / iTunes: https://itun.es/i67C749
VK кураторский плейлист: https://vk.cc/c9TeGiVK
Интервью-плейлист: https://vk.cc/av6kf0
Spotify кураторский плейлист: https://bit.ly/3WSq4hX
Spotify интервью-плейлист: https://spoti.fi/3h2zkLQ

Сообщество в VK: https://vk.com/ruscyber
Канал в Телеграме: https://t.me/ruscyber
Канал на Youtube: https://www.youtube.com/c/russiancyber

Отправить ваш трек/микс в наш эфир:
https://forms.gle/UDcrrAEbqdXHsCrx8

Обсудить сотрудничество/идею:
https://forms.gle/uZjmUgvcQNNPPzR67

Пригласить нас с DJ-сетом или лекцией:
https://forms.gle/M2WWEVym5nxQpkZBA

Единая мультиссылка на соцсети: https://linktr.ee/ruscyber

Хэштеги для связи в соцсетях:
#ruscyber и #русскаякибернетика

#modernrussianelectronica
#house #deephouse #techhouse #progressivehouse
#indiedance #nudisco #dj

4Mal's Russian Cybernetics

Melodies of the Iceberg — Russian Cybernetics Mix’N’Share 294 (01.03.2023)

"Billowing, Grouper-esque folk-drone works for processed guitar and voice improvised by Paris-based Australian musician Karen Vogt. ‘I’ve been waiting for the longest time’ wears Vogt’s heart openly with a floating structure of melancholic chord progressions and wistful melody, before really blooming out in the 14 minutes of noctilucent pads** threaded with shivering strings that eventually introduce her harmonically layered choral vocals like a forlorn Grouper."   ~~Boomkat
**bless Boomkat for this review, but no pads/strings here. Made only with vocals, guitar & effect pedals. 
Mixing: Karen Vogt/Mastering: Stephan Mathieu/Design: Joe Gilmore/Released on Superpang Nov, 2022 
Buy on Bandcamp: https://karenvogt.bandcamp.com/album/ive-been-waiting-for-the-longest-time
HD quality video: bit.ly/3GC4KIh
Recorded originally as a live improvisation session at Karen's home in Paris, France. Later, she made some edits and added minimal overdubs to the two tracks. Karen plays electric guitar and runs both her guitar and voice through various pedals, effects and loopers.

I've Been Waiting For The Longest Time

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

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

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

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

Podlodka Podcast