bravit-about

Слушаю уже второй раз альбом «Холода» Данила Кокина, которого знаю лет 15 по ростовскому мехмату, и чувствую, что это точно моё!

Подписывайтесь на Данила https://t.me/kokin_danil и слушайте сам альбом: https://band.link/dk_holoda, а если вы ещё и в Москве, то приходите на концерт!

Новое интервью! https://youtu.be/9WjPdgOK-68?is=dydjTy1JxRSC1KVK

Кажется, времена у «Медиазоны» снова трудные

Если вы иногда думали, не подписаться ли на донаты, но не доходили руки — сейчас самое время

Теперь только с иностранных карточек, российские нам отключили

https://t.me/mediazzzona/31681

Если вдруг кому-то интересно, как мы тут живём на Кипре, то вот прекрасное видео, сделанное моими замечательными коллегами:
JetBrains in Cyprus https://www.youtube.com/watch?v=NlBOh-iwQO4

И снова интервью с шикарным челом! https://www.youtube.com/watch?v=iqddnwKF8HQ

Podlodka Deep Dive #1 – С++

Антон Полухин – член комитета по стандартизации C++, что делает его одним из тех людей, кто решает, каким будет C++ в будущем. При этом Антон пишет на C++ высоконагруженный код каждый день в техплатформе городских сервисов Яндекса. Еще он – создатель и активный ментейнер многих библиотек Boost, и автор книги «Boost C++ Application Development Cookbook».

C++ пинают все кому не лень – от госдепа США до российских студентов, которые со страхом вспоминают лабы на нем. При этом язык по-прежнему живет везде: системное программирование, игровые движки, финтех, embedded, браузеры. Почему так? Почему у него такая репутация, откуда взялось столько плохого кода, и чем вообще виноваты шаблоны C++?

Вместе с Антоном мы разбираем новые стандарты C++ и главные направления развития языка: безопасность, рефлексию, модули, стандартную библиотеку. Антон рассказывает не только про то, что появится в языке, но и какие реальные проблемы за этим стоят.

Отдельно спорим про C++ vs Rust: нужен ли C++ borrow checker, можно ли догнать Rust по безопасности и стоит ли вообще это делать.

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


🎧 Слушать выпуск

👀 Смотреть выпуск

Новое ревью! https://vitaly-reads.beehiiv.com/p/vitaly-reads-4-october-2025

Когда я стал соведущим Подлодки, то задумался, что ранее упускал целый пласт возможных крутых гостей в моём подкасте – и очевидной первой ласточкой стал Виталий Брагилевский. Он почти 20 лет преподавал и писал книги по Haskell, а затем сменил сферу, но не суть своей работы.

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

А ещё – каково быть «одним из старших» на конференциях по Rust, не теряя лёгкости и самоиронии – получился вдумчивый выпуск подкаста #weekendtalk №212 о жизни между Haskell и Rust, тяготах преподавания и карьерной усталости.

Аудиоверсия
YouTube
VK Видео

P.S. Новый рубеж покорён, видео выходит одновременно с аудио, ура!

У меня была возможность поговорить с очень умным человеком и я поговорил! До сих пор не верится, что удалось его уговорить... https://youtu.be/nOSxuaDgl3s?si=ZVyp9fxXwY4GCezr

За последние годы JetBrains Research из нескольких разрозненных лаб превратился в большой департамент. Мы продолжаем расти и трансформироваться, и ищем проджект-менеджера.

https://www.jetbrains.com/careers/jobs/project-manager-software-engineering-research-1898/

Команда проджектов у нас помогает исследователям налаживать процессы, структуризировать информацию, взаимодействовать с коллегами в разных частях компании, и заодно отвечает за мемы. Руководит командой Зоя — одна из самых чутких и внимательных людей, кого я когда-либо встречал.

У нас прекрасные люди, феерически интересные проекты, здоровый work-life balance, и много замечательных локаций по всей Европе. Приходите к нам работать, ну или хотя бы расскажите друзьям.

Завтра на стриме поговорим с Александром Нозиком из МФТИ о программистах. Мне всегда были интересны эти ребята! Подключайтесь!

https://www.youtube.com/live/4Hhogj6NjbE

Давно не писал про книги! Пора! https://vitaly-reads.beehiiv.com/p/vitaly-reads-3-august-2025

Замечательные новости! В издательстве ДМК-Пресс вышла в продажу моя книга:

"Проектирование на уровне типов. Системный взгляд на дизайн и архитектуру"

https://dmkpress.com/catalog/computer/software_development/978-5-93700-379-9/?srsltid=AfmBOoqqVMDRj-Dabl2Y54XPjY5mZYiDYmzuZC0y-KbOn3DFCWxc1eUi

Книга о разных подходах на уровне типов, в том числе о расширяемости, о паттернах проектирования, о создании eDSL, о моделировании предметных областей, о следовании принциу make invalid states unrepresentable, о способах обеспечения и проверки корректности, об интерфейсах на уровне типов, и о том, как это всё объединить в архитектуре приложения.

Для трёх языков сразу: Haskell, Rust и Scala 3.

Книга доступна для заказа и, возможно, поступит в какие-нибудь магазины.

В английском варианте она же "Pragmatic Type-Level Design", выпущена самиздатом на LeanPub.

https://leanpub.com/pragmatic-type-level-design

Меня не устраивают почти все существующие материалы по программированию на уровне типов в языках Scala 3 и Rust; особенно - в Haskell. Эти материалы, пусть сколько угодно популярные (например, труды С. Магвайра, - широко распиаренная и везде упоминаемая самиздатная книга "Thinking With Types"), не имеют ряда важных свойств, которыми обладает моя книга:

- практичность и прагматичность
- системность
- методологичность
- неакадемичность
- отсутствие математической зауми
- глубина и цельность подходов
- честная оценка искусственной сложности
- развенчание мифов о корректности и типо-безопасности
- описание паттернов проектирования
- описание архитектур приложений
- практические примеры и реальные демонстрационные программы, которые можно покрутить

Причем отсутствие математики я считаю огромным плюсом. Я здесь чуть ли не в одиночестве, но не готов идти на поводу у сообществ, которые почти поголовно считают иначе, хоть и теряю из-за этого очки популярности. Аналогично, меня совершенно не устраивает академичность некоторых других книг, и здесь я в меньшинстве. У этой академичности три причины: авторы показывают, какие они умные; писать по-простому они не умеют; писать сложно и заумно - статусно в их околоакадемической среде. Убогость подобного подхода сослужила Хаскелю плохую службу. Ужасность документации и чрезмерная академичность теперь его вечные ярлыки, а прагматичные материалы уступают в популярности академически-математическим.

Англоязычный вариант книги был написал и опубликован полгода назад, в декабре 2024 года. Почи в тот же момент издатели ДМК-Пресс вышли на меня и предложили её опубликовать. Переводил не я, но я сильно книгу отредактировал. Переводчик, в целом, молодец, но пришлось чистить за ним канцелярит и исправлять множество ошибок. И еще повоевать с переводчиком за правки.

Книга вышла. Ожидаю новых читателей.

Я вообще очень уважаю талантливых людей. Когда они свои таланты вдруг демонстрируют в совершенно неожиданных вещах, становится невероятно тепло на душе. Ну а уж если речь о самом светлом человеке в моей твиттерской ленте (что, вообще-то, само по себе уже немного оксюморон), то от эмоций просто некуда деваться. Кто-то наверняка догадался, что речь здесь о Тагире Валееве, крупнейшем специалисте в прикладном статическом анализе языка Java, но Java тут совершенно ни при чём! Тагир написал книгу. Повторяю: Java ни при чём! Сам он утверждает, что это книга детская, но по-моему это просто очень хорошая книга про детей для читателей всех возрастов. Мне так точно подошла. Книга местами невероятно грустная. Ну честно, у меня несколько раз слёзы начинали течь! Временами хотелось настучать автору по голове, ну нельзя же так жестоко с читателями обходиться, там даже Янагихара отдыхает! Хорошо хоть конец хороший, а то бы я точно ушёл в депрессию до понедельника. Герои в книге – дети, каждый со своей историей, своими трудностями и радостями. Это дети из эмигрантских семей, живущие в Мюнхене, находящие друг друга, попадающие в загадочную историю и распутывающие её. История держит до последнего момента и бесконечно радует своим окончательным разрешением. Короче, автор, пиши ещё. А то получится как Льюисом Кэрроллом, все книги которого после чтения Алисы в Стране Чудес запросила королева Виктория, а получила труды по математике. Ну или там по Java, не помню уже.

Тагир Валеев, Мюнхенские музыканты.
https://leanpub.com/DieMuenchnerStadtmusikanten

Вы как хотите, а я слежу за Сергеем в его очередной велогонке и вам советую. В программе на этот раз прекрасные греческие виды и уже традиционные испытания погодой и едой! Надеюсь, впрочем, что в Греции ему голодать не придётся, это всё-таки не Финляндия!

Поработал тут на прошлой неделе!