Какой язык формальной верификации выбрать: TLA+, Alloy или Quint
TLA+, Alloy или Quint: что описывает каждый, как записывается, чем проверяется и кому подходит. Парные сравнения, таблица и вопросы.
Блог: мнение и опыт автора
Личные заметки Егора Урванова про AI-разработку, инженерное управление и сообщества. Это взгляд и практика одного автора.
Какую расстановку шариков на кольце распутывать дольше всех: ИИ, перебор и гипотеза о числе пар
Сколько ходов нужно, чтобы распутать самую запутанную расстановку шариков на кольце с поворотом и обменом, и что такое диаметр графа Кэли. Как перебор, нейросеть с лучевым поиском, соревнование на Kaggle и доказательства сошлись на ответе n(n−1)/2 — разбор статьи CayleyPy RL (arXiv 2502.18663) со схемами.
Нейросеть собирает кубик Рубика 4×4×4 и 5×5×5 короче 1000+ команд: как это работает
Как нейросеть CayleyPy собирает кубик Рубика за минимум ходов: сколько у кубика комбинаций, почему перебор невозможен, как компас учится на случайных перемешиваниях, зачем поиск фронтом и отряд из нескольких сетей. Результаты на 3×3×3, 4×4×4 и 5×5×5, разбор arXiv 2502.13266 со схемами.
Короткий цикл обратной связи: от кнопки «Сообщить о баге» до исправления с ИИ-агентом
Как сократить путь бага до исправления: кнопка в приложении, автоконтекст, ИИ-агент ищет причину, человек одобряет. Исследования, кейсы Wix и Abnormal.
Jira и ИИ-агент: плюсы, минусы и где провести границу
Как подключают ИИ-агента к Jira через MCP, что это даёт и где ломается: токены, задачи в одну строку, безопасность, Россия. Какие трекеры взять вместо Jira.
Чем ИИ-агент отличается от ассистента, чата, чат-бота и нейросети
ИИ-агент = нейросеть + харнесс. Чем агент отличается от ИИ-ассистента, чат-бота, чата и LLM: таблица, пример на одной задаче, как работает агент и когда что выбрать.