theory

Можно ли доказать, что для какой-то задачи не существует быстрых алгоритмов? И как все-таки оптимизировать то, что вычислить очень трудно? Надо ли париться про константы? P = NP, или все-таки нет? На эти и другие вопросы нам ответил Александр Куликов, доктор физико-математических наук и руководитель лаборатории алгоритмов и теории сложности в JetBrains Research.

Команда для вашего проекта с гарантией результата от Umbrella IT (https://umbrellait.ru). Разрабатываем высоконагруженные приложения и сложные ИТ-системы для бизнеса. Быстрый онбординг. Первые результаты через 2 недели.

22-26 мая пройдет конференция Podlodka Python Crew. Скидка для слушателей по промокоду ASYNCIO.
https://podlodka.io/pythoncrew

Также ждем вас, ваши лайки, репосты и комменты в мессенджерах и соцсетях! 
Telegram-чат: https://t.me/podlodka  
Telegram-канал: https://t.me/podlodkanews 
Страница в Facebook: https://facebook.com/podlodkacast/ 
Twitter-аккаунт: https://twitter.com/PodlodkaPodcast  

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

Полезные ссылки:
Интерактивный учебник по подготовке к алгоритмическим собеседованиям: https://stepik.org/a/126012

Podlodka #319 – Теория сложности

Tracklist:

1 Joe Seven, Consequence - Noreso [Exit]
2 Khords - Species [Weaponry]
3 Biorhythm - ??? [forthcoming Modern Conveniences]
4 Paracusia - Hindsight (Dominic Ridgway Remix) [Regression Media]
5 Arcane & Jon1st - Waves [forthcoming Defrostatica]
6 Poj - It's Been A While [forthcoming Regression Media]
7 Hidden Element - Lost (Infest Remix) [Believe International]
8 Rainforest - Platonic [Soulridaz]
9 Bungle - Long Distance [Okbron]
10 Biorhythm - God Particle [Squares Music]
11 PLLFRY - Overexciting (feat Genoveva) [DNO]
12 Uneven - ??? [dub]
13 Paracusia & Uneven - ??? [forthcoming Squares Music]
14 Quentin Hiatus - It's Time to Shine [forthcoming Goldfat]
15 Biorhythm - Music Box [Squares Music]
16 Modal - Disappear [Repertoire]
17 Insideman - Legacy [forthcoming Default]
18 Uneven - ??? [dub]
19 Gremlinz/Jesta - Ice Squirrels [Metalheadz]
20 Modal - Five Four [Repertoire]
21 BrandNewTrumpets - This is for You [Diffrent]
22 Method One - Five Steps [Self Release]
23 Jermaine Soul x Utelka - Seven Sisters [Defrostatica]
24 Silent Dust, Jaskin & Uneven - ??? [dub]

Epified Session.13

The acclaimed British singer-songwriter takes over for an hour, sharing musical selections that have influenced her own songwriting and vocal tone. Featuring sounds from Black Sabbath, Donovan, King Crimson and more. 
Find the full tracklist and related episodes on NTS: https://www.nts.live/shows/guests/episodes/beth-gibbons-16th-may-2024

BETH GIBBONS 160524

MR. SICK - SYHDA MUSIC PODCAST 050

From Madrid, one of our most valued DJs on the Spanish scene returns to our podcast series. Mr. Sick brings us a truly hypnotic and mental mix, where Grey Area and Techno at different tempos combine and progress perfectly throughout the journey with an impeccable musical selection. We love these rituals and this artist has captivated our minds again, we hope you enjoy it too!!!

Mr. Sick:
https://soundcloud.com/mr_sick
facebook.com/dani.sick.5

Tracklist includes Ancestral Voices, ARTIFVCT (IN), ASC, Bokor, Codex Empire, C0ma, Dreadmaul, Night/T\mare, Sam KDC, Special Circumstances, The Alchemical Theory, Tobe:n, Vara de Garganta, Yin Yang Audio.

Artwork by OXOKO.
instagram.com/oxoko_design

Mr. Sick

Mr. Sick - Syhda Music Podcast 050

My first show back after my break! Hope you enjoy and I’ll be ramping up everything slowly but surely.

{decompress} 9/1/2024

DJ CONFERENCE - 2024

The Edges compilation is a reflection of Enter The Void individual sound.

The second part features the works of such artists as: No Rules, Itti, Dissident, Redlum, Attempt, NABŪ, Elizar Mel, Beak and Offish.

Seeing each artist as a piece of a puzzle reveals new states of perception.

Released November 1, 2024

Digital EP available on Bandcamp:
envoidmusic.bandcamp.com/album/edges-pt-2

ETV004 Tracklist:
01. No Rules & Itti - Indigo
02. Dissident - Mahapralaya
03. Redlum & Attempt - Molten Core
04. NABŪ & Elizar Mel - Silverstone
05. Beak - Immunity
06. Offish - Chimera

No Rules: @no_rules
Itti: @i_am_itti
Dissident: @kontext
Attempt: @attempt_sem
Redlum: @redlumdnb
NABŪ: @nabuoriginal
Elizar Mel: @elizarmel
Beak: @nikita-astaffev
Offish: @offishmusic

Mastered by Elizar Mel: @elizarmel

VA - Edges part II

Redlum & Attempt - Molten Core

Что общего у скорости вычислений, мутабельности, кеширования и исключений? Все это – сайд-эффекты, которые сопровождают результаты вычислений. Виталий Брагилевский показал нам невероятно прекрасную картину, которая открывается, если рассматривать все возможные эффекты как часть одной системы – программирование становится более простым, контролируемым и выразительным!

Также ждем вас, ваши лайки, репосты и комменты в мессенджерах и соцсетях! 
Telegram-чат: https://t.me/podlodka  
Telegram-канал: https://t.me/podlodkanews 
Страница в Facebook: www.facebook.com/podlodkacast/ 
Twitter-аккаунт: https://twitter.com/PodlodkaPodcast  

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

Полезные ссылки:

Книга про эффекты вообще и ZIO (Scala)
https://effectorientedprogramming.com/

Библиотека для TypeScript
https://effect.website/ 

OCaml Effect Handlers
https://ocaml.org/manual/5.2/effects.html 

Язык Eff
https://www.eff-lang.org/

Язык Effekt
https://effekt-lang.org/ 

Язык Koka
https://koka-lang.github.io/koka/doc/index.html

Язык Unison
https://www.unison-lang.org/

Functional Core, Imperative Shell
https://www.destroyallsoftware.com/screencasts/catalog/functional-core-imperative-shell 

Podlodka #404 – Системы эффектов в языках программирования

“In this mix I’ve compiled some dark tunes from my tape collection in such genres as illbient, noise, dungeon synth, post punk, minimal wave and blackened folk. Also I’ve included here a fragment of the recording of my live performance in a duo with c.w.cult - this piece contains a processed recording of the snoring of my beloved dog who passed away recently. All tracks were digitized from audio cassettes.”
Guest link https://www.instagram.com/cluster_88/
With @whats_that_noise

WTN - artistic alter ego of Leonid Kravchenko, a music reviewer, author of the Telegram channel about strange music “What's That Noise?”, music lecturer, event organizer, noise musician, DJ and co-founder of Tapehood - a project dedicated to cassette culture


Kotä.Moscow • Tape Darkscapes • Guest Mix by WTN w/ Gleb Glonti (26.05.2025)

ROMAN FLÜGEL – ALL THE RIGHT NOISES
DIAL CD / LP 38 
28 OCTOBER 2016

1.   Fantasy
2.  The Mighty Suns
3.  Dead Idols
4.  Nameless Lake
5.  Warm And Dewy
6.  Dust
7.  Believers
8.  All The Right Noises
9.  Planet Zorg
10. Life Tends To Come And Go

https://www.whatpeopleplay.com/albumdetails/Roman-Fl-gel-All-The-Right-Noises/id/136071

https://bleep.com/release/76357-roman-flugel-all-the-right-noises

https://hardwax.com/76958/roman-fluegel/all-the-right-noises/

All The Right Noises

Roman Flügel - All The Right Noises (full_album_mp3_stream)

Live recording of my set in the iconic minimal club from Berlin - CDV aka Club der Visionaere, thanks to Rotate for the invitation.

MEJIA @ Club der Visionaere - Rotate

Культура – слово с бесконечным количеством значений. Обычно под культурой подразумевают, например, умение себя вести в обществе, или любые формы деятельности, позволяющие людям самовыражаться.
Мы не берем на себя ответственность раскрыть такую необъятную и глубокую тему. Но поскольку мы все же подкаст про IT, раскрыть один из её аспектов – инженерную культуру – нам вполне по силам.
А в гостях у нас Михаил Парахин aka Император, человек, силами которого за последние несколько лет инженерная культура Яндекса претерпела большие изменения.

Поддержи лучший подкаст про мобильную разработку:
www.patreon.com/podlodka

Также ждем вас, ваши лайки, репосты и комменты в мессенджерах и соцсетях!
Telegram-чат: t.me/podlodka 
Telegram-канал: t.me/podlodkanews
Страница в Facebook: www.facebook.com/podlodkacast/ 
Twitter-аккаунт: twitter.com/PodlodkaPodcast

Podlodka #118 – Инженерная культура

Знали ли вы, что есть люди, которые сейчас исследуют и изобретают то, что через 20-25 лет превратится в хайповые фичи очередных модных и современных языков программирования? Мы попытались разобраться в том, почему так происходит, и
поговорили про теорию языков программирования. Тема эта настолько нас заинтересовала, что мы без зазрения совести снова позвали в гости Виталия Брагилевского, ныне сотрудника JetBrains.

Поддержи лучший подкаст про мобильную разработку:
www.patreon.com/podlodka

Также ждем вас, ваши лайки, репосты и комменты в мессенджерах и соцсетях!

Telegram-чат: t.me/podlodka
Telegram-канал: t.me/podlodkanews
Страница в Facebook: www.facebook.com/podlodkacast/
Twitter-аккаунт: twitter.com/PodlodkaPodcast

Полезные ссылки:
– Довек, Леви. Введение в теорию языков программирования
https://dmkpress.com/catalog/computer/programming/978-5-94074-913-4/
– Пирс. Типы в языках программирования http://newstar.rinet.ru/~goga/tapl/
– Harper, Practical Foundations of Programming Languages
https://www.cs.cmu.edu/~rwh/pfpl/2nded.pdf
– Sigplan Awards https://www.sigplan.org/Awards/
– Конференции по ЯП: https://www.sigplan.org/Conferences/
– Свежие статьи по PL: https://arxiv.org/list/cs.PL/recent

Podlodka #119 – Теория языков программирования

Mind Boggling Sessions Livestream 001 featuring Leo Strutt (Strutt Bros // Beyond the Struttosphere). Recorded LIVE at Sova Studios, 24/07/20. 

Tracklist:
Unreleased - Beyond the Struttosphere 
Fire (Pardon Moi remix) - Inaktiv
B side - Secret Squirrels no.7
Pulse (Freudenthal Remix) - Parissior
Jesus & the Devil (original mix) - Herzog & Aurich 
Chanclazo (Original Mix) - Alvee, Javier Martinez
Serotonin (Original Mix) - The Organism
Electronic Emergency (Rigopolar Remix) - Ambiance
Disko Axiom (Extended Mix) - TERR, Daniel Watts
Back for More (original mix) - Curses
Jingo (original mix) - Theus Mago
Dr. Electric (Phunkadelica Re-Interpretation) - Biesmans

Mind Boggling Sessions livestream 001 - Leo Strutt @ Sova Studio, July 2020

Все мы делаем разные вещи – красим кнопки, перекладываем JSON’ы, пишем автотесты для луноходов или создаем языки программирования. Можно ли в таких условиях выделить набор обязательных знаний, которые делают программиста настоящим профессионалом? На этот вопрос отвечает Кирилл Мокевнин, СЕО Хекслет. Лайвхак – подготовьте перед выпуском чистый лист бумаги, потому что к его концу вы составите себе план обучения на ближайшие несколько лет!

23 ноября стартует новый сезон Podlodka Teamlead Crew с темами “Рост и оценка команды” и “Как быть крутым техлидом”. Если вам понравился выпуск – точно загляните, мы будем говорить про очень близкие темы! Промокод на скидку 10% для слушателей – 190. Купить билет можно тут: https://podlodka.io/tlcrew.

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

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

Похожие выпуски подкаста:
- #76: Обучение – https://podlodka.io/76
- #100: Как строить свой профессиональный путь – https://podlodka.io/100
- #124: Образование – https://podlodka.io/124 

Упоминаемые выпуски подкаста:
- #27: ООП – https://soundcloud.com/podlodka/podlodka-27-obektno-orientirovannoe-programmirovanie 
- #44: Функциональное программирование – https://podlodka.io/44
- #61: CQRS и CRDT – https://podlodka.io/61
- #81: Экстремальное программирование – https://podlodka.io/81
- #97: Системы типов – https://podlodka.io/97
- #101: Базы данных – https://podlodka.io/101
- #104: DevOps – https://podlodka.io/104
- #118: Инженерная культура – https://podlodka.io/118
- #129: Как работает поиск – https://podlodka.io/129
- #167: Компиляторы – https://podlodka.io/167

Полезные ссылки:
- Список рекомендуемых Кириллом книг
https://ru.hexlet.io/pages/recommended-books 
- Youtube канал Кирилла, где он разбирает темы из подкаста
https://www.youtube.com/c/KirillMokevnin/videos 
- Чек-лист хороших инженерных практик в компаниях
https://guides.hexlet.io/check-list-of-engineering-practices/
- Доклад Кирилла “Формирование инженерной культуры”
http://msk14.agiledays.ru/members/profile/96/#report-19
- Кирилл про собеседование наставников – функциональное программирование, ООП, эксплуатация
https://www.youtube.com/watch?v=PvYYD6vWKuE
- Доклад Кирилла “Ментальное программирование”
https://www.youtube.com/watch?v=EEq1wdM2M2w
- Доклад Кирилла “Ментальное программирование 2”
https://www.youtube.com/watch?v=vkUTX1hruF8
- Что такое паттерны программирования
https://www.youtube.com/watch?v=wX6BBaQZpzE 
- Андрей Аксенов “Снесите это немедленно”
https://www.youtube.com/watch?v=R-FfI4i0-uY
- Статья про инженерную культуру в Booking
https://bronevichok.ru/posts/engineering-at-booking.com.html

Podlodka #190 – Обязательные знания для программиста

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

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

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

Podlodka #404 – Системы эффектов в языках программирования

Podlodka Podcast

Related tracks