Редукция по симметрии и редукция частичных порядков описаны в литературе десятилетиями, но их эффект обычно приводят либо асимптотически, либо на одном показательном примере. Здесь обе измерены на работающем explicit-state model checker.Три результата. Первый: вместе они превращают…
Когда внутренних заказчиков становится слишком много — каждый со своими хотелками и типом документов — поддерживать кучу отдельных сервисов уже нереально.Отдел кадров приносит документы о приёме на работу, бухгалтерия хочет сверять финансовую отчётность, другие…
CRM для сферы оборудования и промышленных машин: почему здесь не работают шаблонные настройкиЗа три года работы с интеграцией и настройкой CRM-систем — Bitrix24 и amoCRM — я успел поработать с большим количеством компаний, связанных с оборудованием.Это производители, продавцы и…
Навайбкодить 10k строк кода за час — дело нехитрое. Но как проверить, что этот код рабочий? Можно потратить много часов на ревью классическим способом, а можно прочитать эту статью и применить у себя новый метод. В материале архитектор Mindbox Саша Кальницкий рассказывает, как перестроил работу с AI‑агентами, чтобы больше им доверять и не тратить время на код‑ревью. Читать далее
Купили LMS (систему управления обучением) и запустили первые курсы для сотрудников, но через пару месяцев процесс остановился. При этом информации в компании хватает: есть регламенты, инструкции, вебинары и статьи. Просто все это не становится образовательным контентом. Читать далее
3 июля состоялась седьмая ежегодная конференция от UX-исследователей Контура — KUB | Kontur UX Base. Рассказываем, как это было, и делимся записями докладов ✨ Читать далее
Наш спутник ударился о небесную твердь ровно в день открытия публичного доступа к нему. Вы, возможно, уже в курсе. Конкретно атмосфера оказалась куда шершавее, чем в прошлый раз, и он спустился пониже и перестал выходить на связь.К счастью, у нас есть резервный спутник! Из…
Пусть не у всех продуктов и компаний, но технология латания дыр безопасности на сегодня неплохо отработана. Серьезные игроки рынка всегда поддерживают баунти для внешних «белых хакеров». Иными словами, если вы нашли дыру в каком-то приложении, у вас есть возможность сообщить о…
После первой статьи о БОЛТУНЕ мы развернули отдельную тестовую ветку и начали выбирать новый стек интерфейса. С помощью ИИ сравнили Electron, WinUI 3 и Tauri 2, проверили выводы по документации и собрали прототип на Tauri. Рассказываем, почему не переносим звук из C++ в WebView, как устроили границу WebView → Rust → C++, что уже работает, а что ещё предстоит измерить. Читать эксперимент
За последние десятилетия IT-рынок пережил не одну турбулентность: кризис доткомов, экономический коллапс 2008 года, бум больших данных. Каждый раз индустрия проходила один и тот же путь — от тревоги до полной перестройки бизнеса и профессий. Сейчас на рынке труда происходит нечто…