Николай Хитров | Блог

Не имей один канал, имей еще два с другим ритмом жизни... (с) Если вы еще по какой-то причине не отписались от этого канала, скорее всего вам понравятся еще вот эти несколько, которые мы собрали вот в эту папку. По сути это каналы про python, open source, разработку AI штук для AI штук и все что около этого. Можно сказать, сообщество любителей питонов и пива🍺 Так что в случае с этой папкой за контент я могу ручаться, каждого автора знаю и сам читаю (ну ладно, почти всех) И да, скоро будут нормальные посты, как только я завершу распил монолита, а после выйду из победного запоя. За последние несколько месяцев в блокнотике набралось много контента, осталось дело за малым - оформить его...

Решил сгонять на ИТ пикник, в кой то веке получилось по датам. Нашел идеальное место, как раз для моих старческих косточек🌚

Решил сгонять на ИТ пикник, в кой то веке получилось по датам. Нашел идеальное место, как раз для моих старческих косточек🌚

HardFest от создателей CodeFest 17 октября в Екатеринбурге команда CodeFest делает HardFest. Как понятно из названия, ребята хотят сделать более узконаправленную тематику, без разброса по параллельным трекам на разные темы. И очень хотят собрать сильных инженеров в одном месте Сама конференция не такая большая как CodeFest, до 800 человек. В программе хотят видеть доклады про архитектуру, распределённые системы, эксплуатацию, AI/ML-инфраструктуру, железо... Но не в формате «смотрите, какую технологию мы попробовали» или «мы сделали как написано в документации», а с разбором реальных граблей и рассказом о том, как именно подходили к решениям, между чем выбирали, чем жертвовали и стоило ли оно вообще того по итогу. Собстно, давайте поможем с поиском спикеров! Я знаю, у нас тут есть много сильных инженеров, которым точно есть что рассказать. И давайте без вот этих отговорок в стиле "да мне как-то нечего, ниче интересного". У нас уже немало примеров таких персонажей, теперь вон ходят выступают везде😎 Так что обязательно подаем заявки — CFP открыт до 17 августа. А еще сама конференция пройдет в таком замечательном городе как Екатеринбург. Плюс один повод принять участие👍

Работа работой, но не забывайте иногда выходить на улицу и трогать траву руками

Иногда мне хочется плюнуть в лицо тому, кто придумал k8s. Катишь релиз, он половину подов выкатывает и затем делает rollback. Почему? Да потому что. Как это узнать? Ну иди там в events ковыряйся или логах каждого пода или еще как-нибудь, мне п***й. Сам найдешь. Очень. Удобный. Интерфейс. Все. Для. Людей.☕️

В комментариях нормально накидали разных вариантов, приходите завтра в 20:00 по мск, будем разбирать https://www.youtube.com/live/yDeIQ85wlKk?si=BDy8kW6aqZ_v5xZ7

Соцопрос: кто ваш любимый DI фреймворк в python? На днях обсуждали с Пашей @s3rius_san библиотеки и затронули тему DI. Он когда-то написал свою версию Depends из fastapi специально для своего фреймворка taskiq. Чтобы привычный уже многим интерфейс, но с "нормальной"…

Pycon 2026 Чисто из названий я пока приметил для себя несколько докладов, с остальными разберемся на месте Первое, что зацепило, это доклад про новый фреймворк django modern rest (привет Никита). Я пока не видел production использования, надеюсь, спикеры расскажут про такой опыт. Все еще не люблю джангу, но люблю то, что делает Никита😁 Интересно посмотреть про мониторинг сборщика мусора. В прошлых годах были доклады с прикольными кейсами об этом, может появилось что-то новенькое😏 От Точки будет мой, как мы у себя говорим, неколлега - Тимофей. Тема про синхронизацию кронджоб в мультицод среде. Я уже частично видел контент, даже если тема вам не нужна, приходите похоливарить, там есть о чем🤝 Еще увидел Сережу в спикерах, но он не написал тезисы🙄 Осуждаю, но надо хотя бы морально поддержать тогда Я на конфе тоже буду, в этот раз просто как участник. Ставьте напоминашку в календарь и обязательно приходите. Послушаем доклады, попьем пива, покричим что django говно😎 https://pycon.ru/

Соцопрос: кто ваш любимый DI фреймворк в python? На днях обсуждали с Пашей @s3rius_san библиотеки и затронули тему DI. Он когда-то написал свою версию Depends из fastapi специально для своего фреймворка taskiq. Чтобы привычный уже многим интерфейс, но с "нормальной" реализацией Так мы перешли к спору за неудачные решения в других библиотеках. И нам стало интересно, кто чем пользовался и пользуется прямо сейчас? Собстно у меня к вам всем предложение. Напишите в комментах, ваш самый любимый DI (или его отсутствие). Мы почитаем исходники и документацию каждого из них, а затем поделимся никому ненужными мнениями на стриме на нашем новом канале Вялые Питоны

Анонс стрима: "работаем над lazy import'ами в CPython и плачем под аниме" (на превью - я на стриме) Мы с @nkhitrov_blog, @fastnewsdev и Денисом Аникиным (в 2026 и без тг канала!) решили замутить стрим по питону и ... новый канал на ютюбе под названием "Вялые…

Анонс стрима: "работаем над lazy import'ами в CPython и плачем под аниме" (на превью - я на стриме) Мы с @nkhitrov_blog, @fastnewsdev и Денисом Аникиным (в 2026 и без тг канала!) решили замутить стрим по питону и ... новый канал на ютюбе под названием "Вялые Питоны". Подписаться уже можно вот тут: https://www.youtube.com/@SluggishPythons О чем будет канал? - Менее душный и более мемный чем мой основной - Все еще про питон и всякие хардкорные штуки внутри - Шутки, пиво, лень, слезы - Разные новые форматы, которые мы будем анонсировать постепенно - Разные интересные коллабы с веселыми и умными людьми Контент на старом канале останется таким же, каким и был. Я как раз вернулся из творческого отпуска. Скоро будет завоз по adaptix и django-modern-rest. И финал по vscode. О чем будет первый стрим? - Обсудим мотивацию и устройство PEP-810, потестим разные странные случае, Никита побомбит - Я запилю каких-нибудь пару тасочек в CPython, например https://github.com/python/cpython/issues/150459 - Если я буду плохо рассказывать, что там происходят - пацаны будут меня душить своими любимыми аниме - Если хватит времени, то еще починим setuptools / distutils, а то я все сломал - Выпьем пива со всеми желающими 🍻 Народ в чате проголосовал за время стрима в будний вечер, так что - записываем дату и время: Среда, 3 июня, 19:00 https://www.youtube.com/watch?v=W9Hd5dfxjIU Приходите задавать свои ответы и хорошо проводить время!

Долгое время не было постов и вот к чему это все привело...

Сегодня больше не вайбкодим, рабочий день закончился☕️ https://downdetector.com/status/claude-ai/

pov: Делаешь формочку саппорта, чтобы юзеры описывали правильное состояние и разработчик понимал, как это исправлять Тем временем юзеры: P.S. для тех, кто вдруг не понял: мем в том, что неоченвидно что есть "верно"🙄

Провёл собственное исследование по языкам программирования будущего. В целом, дядька Боб правильно уловил ветер и выдвинул правильные требования к языку программирования для AI: - гомоиконичность; - явные типы; - никаких скрытых потоков управления; - контракты встроены в язык. Но это пока просто идея. Не реализовано даже формальной верификации контрактов. Типы явные, но это скорее аннотации, чем Хиндли-Милнер. Нет алгебраических типов с exhaustive matching (хотя tagged unions упомянуты). Нет вывода типов. Если цель - ИИ как полноценный разработчик, нужен язык, который максимизирует вероятность того, что сгенерированный им код корректен. Это значит: сильная система типов (компилятор ловит ошибки ИИ), простота (меньше галлюцинаций), достаточный объём кода в обучающих данных, и путь к формальной верификации. Lean 4 - стратегически самый интересный, но практически самый рискованный. Если через 5-7 лет Lean станет практическим языком программирования, выбравшие его сейчас окажутся впереди всех. Но не сегодня. На сегодняшний день выделяются два языка. Rust - первый кандидат. Огромный объём обучающих данных, ИИ пишет на нём уверенно. Borrow checker отсекает ошибки с памятью. Система типов ловит логические ошибки. Verus, rocq-of-rust, Aeneas для верификации. Экосистема зрелая. Один минус - сложность языка увеличивает вероятность, что ИИ сгенерирует компилируемый, но неидиоматичный код. Тем не менее, строгость компилятора это компенсирует. Ownership-модель - это фундамент, на котором можно строить доказательства. Правила Rust устраняют настолько много трудноформализуемых случаев, что это делает его одним из самых удобных современных языков для применения формальных методов. OCaml - второй кандидат. Меньше обучающих данных, но язык проще, и паттерны более предсказуемые. Алгебраические типы и exhaustive pattern matching - идеальный формат для ИИ-генерации: он описывает все случаи, компилятор проверяет, что ИИ ничего не пропустил. Gospel (Generic OCaml SPEcification Language) - tool-agnostic язык формальных спецификаций для OCaml. Именно поэтому OCaml используется в финтехе. Экосистема, правда, уступает Rust. Вишенка на торте - Camlp5. Это OCaml с Lisp-синтаксисом. Типы, компиляция, всё как в OCaml, но добавлена гомоиконичность. S-выражение - это одновременно и программа, и структура данных, которую можно анализировать, трансформировать, генерировать другой программой. Это не макросы как синтаксический сахар - это фундаментальное свойство: программа может порождать программы так же естественно, как оперировать числами. Программирование перестаёт быть написанием инструкций и становится написанием ограничений. Победят языки, в которых спецификацию невозможно написать неоднозначно. Дейкстра мечтал об этом полвека назад. Но раньше не было генератора, способного превратить спецификацию в код. Теперь он есть - и узкое место сместилось от написания кода к доказательству его корректности. Это возвращает нас к тому, с чего начался ML (Робина Милнера) - к языку, созданному для доказательства теорем. Круг замыкается. Милнер в начале 1970-х в Эдинбурге строил LCF - Logic for Computable Functions - систему для доказательства теорем. Ему нужен был язык, в котором на уровне системы типов невозможно было бы сконструировать невалидное доказательство. Так появился ML - Meta Language. Пятьдесят лет спустя мы приходим к той же задаче, только с другой стороны. Милнер хотел, чтобы человек писал доказательства, а машина их проверяла. Мы идём к тому, что машина будет писать код, а формальная система - проверять его корректность. Задача та же - гарантия корректности через типы. Только роли поменялись. ML был создан как язык для мира, где код должен быть доказуемо правильным. Этот мир тогда не наступил, потому что индустрии было важнее "быстро и дёшево", чем "правильно". Но если генерация кода становится бесплатной, а цена ошибки растёт - "правильно" побеждает. И оказывается, что фундамент для этого был заложен полвека назад в Эдинбурге.

Слили исходники claude code Очень безопасные и самостоятельные агенты, видимо, проглядели дыру и вместе с пакетом улетели и .map файлы. Теперь можно почитать исходники клиента claude Теперь проще обсуждать с безопасниками телеметрию и слив данных через модели☕️ https://github.com/instructkr/claude-code

Opensource, claude и немного дичи Я очень люблю новые штучки. Инструменты, спецификации, методолгии и т.п. За время работы в ИТ у меня накопилось немалое количество заметок с идеями. Разной степени бредовости, дикости, а возможно где-то даже полезности Но человек я очень ленивый. Решив проблему один раз в голове, бОльшая часть дофамина уже получена, писать потом еще код как-то... зачем? Недавно я решил попробовать claude. Вдруг вайбкодит как-то сможет разгрузить меня от части рутины. И в целом результатом я доволен. Сейчас он помогает мне писать сразу две библиотечки (и один веб сервис). И за пару дней на каждого я их смог довести до состояния вполне себе неплохих прототипов Так что теперь я плотно взялся за реализацию всех своих давних идей. Github будет в ужасе от моих способностей