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 – Теория сложности

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

Также ждем вас, ваши лайки, репосты и комменты в мессенджерах и соцсетях! 
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 – Системы эффектов в языках программирования

Культура – слово с бесконечным количеством значений. Обычно под культурой подразумевают, например, умение себя вести в обществе, или любые формы деятельности, позволяющие людям самовыражаться.
Мы не берем на себя ответственность раскрыть такую необъятную и глубокую тему. Но поскольку мы все же подкаст про 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 – Теория языков программирования

Все мы делаем разные вещи – красим кнопки, перекладываем 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