Материалы

Статья

Мнемотехника: карта курса и договор о честности

Обзорная глава: что такое мнемотехника и чем она не является, почему приёмы работают, но не «развивают память», что из обещаний школ памяти подтверждено экспериментами, а …

#мнемотехника#память#обучение

Статья

3D-ассеты через агента: что это и когда работает

Вводная статья трека: как подключить Blender к ИИ-агенту через MCP, что таким способом реально получается, а что — нет, и почему честная проверка результата здесь важнее …

#3d#blender#mcp

Статья

Требования, которые проверяются до реализации: корпус спек, конституция и ftspec

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

#flang#ftspec#требования

Статья

Вам не нужен lodash — но не там, где вы думаете

Половина вызовов lodash в проекте — это бизнес-правила без модели, вторая половина давно есть в стандартном JavaScript. flang забирает только первую.

#flang#lodash#рефакторинг

Статья

Конвейер и визуализация: один прогон и диаграмма модели

Как заменить check, prove, certify и visualize одним вызовом pipeline и что именно показывает mermaid-диаграмма категории, морфизмов и доказательства.

#flang#pipeline#визуализация

Статья

Воспроизводимый эксперимент: seed, 30 прогонов и непараметрический критерий

Почему результаты в SBSE не повторяются, чем именованные подпотоки лучше одного seed, откуда берётся правило «не меньше 30 прогонов», какие метрики стоит публиковать и …

#sbse#воспроизводимость#статистика

Статья

Миграция: от вложенных if к исполняемому правилу

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

#flang#миграция#рефакторинг

Статья

Антипаттерны: что не стоит выражать спецификацией

Каталог из четырнадцати попыток протащить в flang эффект, время, случайность и порядок исполнения — с реальными сообщениями компилятора и рабочим разделением на модель и …

#flang#антипаттерны#границы

Статья

Время: версии правил, снапшоты и аудит задним числом

Почему в спецификации нет «сегодня», как хранить редакции правила рядом и чем доказывать клиенту начисление за апрель по правилам апреля.

#flang#версионирование#аудит

Статья

Читаем ошибки компилятора

Справочник по диагностикам flang: код, точное сообщение, минимальный воспроизводимый пример и починка — отдельно для разбора, проверки модели, выполнения утилиты, …

#flang#диагностика#ошибки

Статья

Сквозной проект: исполнение заказа от модели до сервиса и формы

Сквозная архитектура: модель заказа, примеры, command guard, React-форма, Node.js boundary, агент и CI.

#flang#capstone#order

Статья

Производительность: воспроизводимый замер

Харнесс, которым вы снимаете свои цифры compile/validate/execute/generate и сравниваете их с baseline, вместо того чтобы верить чужим миллисекундам.

#flang#benchmark#performance