Habr.com

Syndicate content Хабр
Все публикации подряд на Хабре
Updated: 12 min 1 sec ago

Мы прочитали 13 тысяч файлов логов своих агентов. Вот что они делают с памятью

Mon, 11/02/2026 - 14:10

Мы делаем kaeru — память для ИИ‑агентов вроде Claude Code и Codex. Несколько месяцев мы строили ее по ощущениям, а потом пошли читать логи своих агентов и проверять, как они на самом деле пользуются памятью. Многое оказалось не так, как мы думали, и почти все выводы — не про kaeru, а про агентов вообще. Если вы пишете свой MCP‑сервер, хук или просто длинные инструкции для агента, часть этого пригодится и вам.

Читать далее

Напряжение пробоя препрега и ядра: сколько на самом деле выдержит ваша плата

Mon, 11/02/2026 - 14:09

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

Именно поэтому я считаю, что напряжение пробоя диэлектрика — это параметр, который заслуживает не меньшего внимания, чем толщина меди или класс точности. И если в вашем устройстве есть цепи с повышенным напряжением — силовые преобразователи, источники питания, гальваническая развязка, промышленная автоматика эта статья для вас.

Читать далее

Зелёный мониторинг и сломанная корзина: как устроены сценарные проверки в Statuser

Mon, 11/02/2026 - 14:05

Почти каждый, кто выкатывал релизы, видел такую картину. Сайт открывается, сервер отвечает 200, сертификат в порядке, и мониторинг весь вечер показывает зелёный статус. А кнопка «Оформить заказ» после релиза перестала работать, и узнают об этом утром из писем покупателей.

Обычная проверка доступности такой сбой не заметит: она узнаёт, отвечает ли сайт, а не можно ли им пользоваться. Чтобы это узнать, проверка должна сама пройти путь пользователя: открыть страницу, войти в кабинет, положить товар в корзину. Так в Statuser появились сценарные проверки: тесты на Playwright, которые мы запускаем по расписанию в настоящем браузере.

Снаружи это ещё один тип мониторинга, а внутри Statuser впервые выполняет код, который написал клиент. Почти вся работа над фичей свелась к двум вещам: выполнять этот код безопасно и показывать человеку, что именно сломалось на его сайте.

Меня зовут Михаил Шпаков, я развиваю Statuser. В прошлых статьях я рассказывал, зачем научил Statuser следить за DNS и почему 200 OK от гейтвея ничего не значит, а сегодня расскажу, как устроены сценарные проверки.

Читать далее

[Перевод] Агенты Axiom Math доказали полноту классификации конечных простых групп всего лишь в 41,3 млн. строчках кода Lean

Mon, 11/02/2026 - 14:04

26 октября 2026 года компания Axiom Math сообщила о завершении полной формализации Теоремы о классификации простых конечных групп.

В международном математическом сообществе теорема известна как CFSG — Classification of Finite Simple Groups. Эта фундаментальная теорема перечисляет все строительные блоки, из которых состоят конечные простые математические группы.

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

В текущем виде доказательство занимает более 15 тысяч страниц, разбросанных по более чем 500 статьям. За это теорему о классификацию прозвали Огромной теоремой.

Читать далее

LLm агент в КОМПАС-3D: собрал редуктор, сделал КД, споткнулся на спецификации

Mon, 11/02/2026 - 14:03

Меня всегда интересовало инженерное 3D-моделирование, но руки так и не дошли освоить его в должной степени. Зато я весьма неплохо научился работать с ИИ-агентами. Поэтому было решено перенести весь этот опыт в плоскость инженерных задач.Так появился плагин, через который LLM-агент работает в КОМПАС-3D: открывает модели, строит и правит детали и сборки, оформляет чертежи.

В статье — один сквозной пример от расчёта до комплекта КД + как это устроено (без глубокого погружения), цифры на реальных задачах и честный список того, где агент пока ошибается.

Читать далее

Как я подружил SD-карту с DMA на STM32H750

Mon, 11/02/2026 - 14:01

На Хабре уже есть статья о том, как работать с SD-картами в DMA режиме на микроконтроллерах STM32, поэтому я думал, что на STM32H7 будет также просто это реализовать.

На деле же оказалось, что такой мощный чип хранит в себе подводные камни, и реализация работы с SD-картой при помощи DMA требует лучшего понимания архитектуры STM32.

Читать далее

Архитектура в эпоху вероятности: почему наши старые чертежи больше не работают

Mon, 11/02/2026 - 14:00

Последние пару лет мы наблюдаем классическую ошибку выжившего на масштабе целой индустрии. Вендоры показывают нам синтетические бенчмарки, где AI пишет микросервис за три минуты, а продуктовые менеджеры требуют сократить time-to-market вдвое. Я руковожу архитектурной функцией достаточно давно, чтобы понимать, что написание кода никогда не было узким горлышком в энтерпрайзе. Узким горлышком всегда была интеграция нового куска логики в существующий ландшафт с его легаси, регуляторикой и ограничениями ИБ.

С приходом LLM-агентов и генеративного ИИ наша профессия не просто изменилась, а дала трещину по базовым абстракциям. Мы всю жизнь строили детерминированные системы, где одни и те же входные данные гарантируют один и тот же результат. А сегодня вынуждены встраивать в ядро банковских систем вероятностные компоненты, которые при каждом вызове могут вести себя немного иначе.

Ниже — детальный разбор того, что на самом деле происходит с разработкой, почему глобальные фреймворки разбиваются о нашу суверенную реальность и как именно мы перестраиваем процессы проектирования (Enterprise, Solution, Software) в 2026 году. Без футурологии. Только то, что работает и ломается на проде.

Читать далее

От программных роботов до диагностики 1С: четыре бесплатных вебинара в ноябре

Mon, 11/02/2026 - 13:58

В ноябре на вебинарах Инфостарта разберём четыре практические задачи: роботизацию рутинных операций, расчёт укладки товаров на палеты, поиск причин сложных сбоев в 1С и автоматизацию учебных центров. В программе - демонстрации решений, технические разборы и опыт внедрения.

Читать далее

Как не утонуть в геймдизайн-документации: облегченный пайплайн для небольших геймдев-команд

Mon, 11/02/2026 - 13:57

Ты решил создать свою первую игру. Ура! Но с чего начать? С изучения матчасти, конечно же. А в ней говорится, что каждый уважающий себя геймдизайнер сначала должен написать дизайн-документ.

Читать далее

Android Go, Termux и обои

Mon, 11/02/2026 - 13:37

Давайте мы сразу договоримся — я знаю, что такое чистый код, ООП, SOLID, KISS и ещё куча других умных аббревиатур (знаю и понимаю всё ещё разные вещи, кстати). Весь код, который тут представлен, не является учебным пособием, примером «как надо» или ещё чем‑то в этом роде. Всё, что тут есть, это лишь риск прострелить себе колени. Осознанно.

Читать далее

Последний язык программирования уже написан. С чем останутся те, кто продолжит писать код?

Mon, 11/02/2026 - 13:33

Порассуждаем о том, на чём мы будем писать код в ближайшие годы. Появятся ли ещё новые языки, если нейронка умеет хорошо писать только на тех, что видела при обучении? Кто платит за Rust, Python и Zig? Переживут ли PHP и 1С эпоху агентов? И чем будут заниматься те, кто продолжит программировать?

Читать далее

SQAdays: ИИ-трансформация и ценность качества

Mon, 11/02/2026 - 13:08

Прошла очередная конференция SQAdays. Половина выступлений была посвящена использованию ИИ, и они носят вполне прагматичный характер освоения нового инструмента, который вошел в арсенал наряду с другими технологиями. Но были и обзорные выступления и круглые столы для осмысления изменений в целом. Мне лично в ходе обсуждений удалось получить картину будущего, когда нынешняя разработка схлопнется между discovery с вайбкодингом прототипов tiny team из бизнеса и технаря с одной стороны, и расширенной devops-командой, которая будет такие приложения подхватывать. И тестировщику надо выбирать свой путь в новом мире. А еще я засек, что для одних качество приложения – прагматичное понятие, описываемое метриками, а для других остается сакральной ценностью и недостижимым идеалом. Люди говорят о разном, но эту разницу не рефлексируют. Обо всем этом читайте в отчете вместе с конспектами выступлений.

Читать далее

Аутентичный ML для самых маленьких: структура МL-проекта

Mon, 11/02/2026 - 13:07

Это вводная статья для серии материалов по классическому машинному обучению. Мы поговорим о том, как оно устроено, какие задачи решаются с помощью ML, какие инструменты используют для этого и, конечно, напишем код. Статьи будут раскрывать основополагающие идеи ML. Я предпочитаю интуитивное объяснение алгоритмов и методов формальной постановке задач и их решению, не умаляя важности последних.

Но начнем с главного — со скелета. Разберем, как работает машинное обучение, из каких этапов состоит любой алгоритм и какие задачи вообще существуют. Для понимания материала достаточно базовых знаний математики, статистики и умения работать с данными. Код на Python: pandas и numpy для данных, а в конце покажем тот же алгоритм четырьмя строками на scikit-learn.

Читать далее

ИИ-хакеры против ИИ-безопасников: гонка вооружений и скорости в 2026

Mon, 11/02/2026 - 13:00

Меня зовут Роман Стрельников, я руководитель направления информационной безопасности в 1С-Битрикс. Сегодня разберем, как ИИ изменил кибератаки и способы защиты от них, и какие интересные инциденты раскрыли компании

Читать далее

Кот Шрёдингера в продакшене. Почему ИИ не знает, почему он это сделал

Mon, 11/02/2026 - 12:50

То, что вы сейчас прочитаете, — полный бред, во всяком случае с точки зрения физики. Но меня это не особенно беспокоит. Теория не обязана быть абсолютной истиной. Важно, чтобы она согласовывалась с наблюдениями, позволяла делать предсказания и выдерживала проверку экспериментом. Моя теория никаких научных проверок пока не проходила, зато удивительно хорошо объясняет то, что я регулярно наблюдаю при работе с искусственным интеллектом.

А началось всё с обычного сайта, нескольких заголовков и моего наивного предположения, что если исполнителю что-то запретить, он не станет этого делать.

Погрузиться в безумие...

Две критические CVE в PHP и GitLab: уязвимости выходят быстрее, чем их успевают закрыть

Mon, 11/02/2026 - 12:46

Во второй половине октября две критические уязвимости в PHP и GitLab заставили компании по всему миру срочно обновлять серверы, а часть государственных и коммерческих сайтов на время ушла в офлайн. Обе позволяют выполнить код на сервере без авторизации, и обе затрагивают версии, выпущенные больше десяти лет назад.

Почему так произошло и что делать прямо сейчас — рассказываем в статье.

Читать далее

Машина вращения: британская механика, советская метрология и искусственный интеллект

Mon, 11/02/2026 - 12:45

Я собирал измерительный стенд для Musical Fidelity M1, а проверять пришлось Michell Gyro SE. После перевозки и установки новой головки обычная проверка настройки превратилась в исследование медленных колебаний скорости — с советскими пластинками, смартфоном, автомобильной шумоизоляцией и искусственным интеллектом.

Читать далее

Из серой глины в кошмар: как мы сделали монстров для AR-хоррора по «Вию» (Tripo AI, авториг, Quaternius, Blender)

Mon, 11/02/2026 - 12:39

Я делаю прототип AR-хоррора для iPhone по «Вию» Гоголя: Home Haunt. Игра ставит историю в вашу комнату: стены кровоточат, из гроба на вашем полу встаёт мёртвая панночка. Делаю на Unity с октября: журнал проекта начинается 2 октября, к 30 октября в нём больше 50 номеров сборок. В статье про монстров: чем они сделаны, что пришлось урезать, чтобы тянул телефон, и что пока не готово.

Читать далее

Маскирование без дублей: перестановка вместо проверок на уникальность

Mon, 11/02/2026 - 12:27

Когда-то я работал DBA, и одной из самых нелюбимых задач было «сделать копию прода для тестов, только без персональных данных». Заменить значения несложно. Сложности начинаются на колонках с уникальным индексом.

Сейчас мы с небольшой командой разрабатываем сервис для маскирования персональных данных в PostgreSQL и SQL Server. Одной из первых серьёзных задач, с которой мы столкнулись, стала проблема уникальности данных. Ниже расскажу, к каким выводам мы пришли: почему случайная замена может приводить к дубликатам, во что обходится их устранение и как перестановка с сохранением формата (format-preserving encryption, FPE) позволяет сохранить уникальность без проверок на занятость значений. В конце разберём, где заканчиваются гарантии этого подхода и чего он не позволяет добиться.

Читать далее

Не знаю, кому написать: как организовать внутреннюю поддержку сотрудников в крупной компании

Mon, 11/02/2026 - 12:22

В понедельник сотруднику понадобился доступ к корпоративной системе. Он написал руководителю, тот отправил его в IT. Там попросили согласование службы безопасности. Безопасность уточнила, какие права нужны, на какую систему и кто её владелец. К среде участники переписки разобрались, кто должен согласовать заявку. Доступа пока нет, работа стоит, зато сотрудник уже многое узнал об устройстве компании.

Читать далее

Who's online

There are currently 0 users and 3 guests online.