Материалы

Статья

Генерация и CI: код, который не расходится с правилом

Как генерировать TypeScript и node:test, проверять модели в pull request и не редактировать артефакты вручную.

#flang#code generation#ci

Статья

Из Python, Go и shell: работающие клиенты, а не декларации

Настоящий Python-, Go- и shell-клиент к flang через CLI и канонический JSON: что компилятор реально печатает, как читать диагностику и когда взять HTTP вместо процесса.

#flang#python#go

Статья

Доказательства: теоремы, сертификаты и научные границы

Что именно доказывает flang, чем symbolic derivation отличается от verified certificate и чего недостаточно для публикации или патента.

#flang#proof#certificate

Статья

Каскад GA0 → GA1 → GA2: разделение уровней поиска

Почему смешение поиска решения, настройки параметров и управления бюджетом в одном цикле ломает интерпретируемость, как выглядит каскадная схема из трёх уровней и что …

#sbse#генетические алгоритмы#оптимизация

Статья

AI-агенты и MCP: допуск выдаёт движок, а не текст модели

Как встроить flang в агентный контур: read-only MCP-инструменты, программная сборка документа, guard на реальных данных и машинно-читаемый отказ.

#flang#ai agents#mcp

Статья

DDD: bounded context, ubiquitous language и command guard

Как встроить flang в доменный слой, не превратить спецификацию в god-object и защитить команду проверяемым допуском.

#flang#ddd#bounded context

Статья

React: форма и таблица из одной модели

Схема формы из объекта flang, контролы по типам полей и предпросчёт в браузере, который сервер всё равно проверяет заново.

#flang#react#forms

Статья

Правило в Node.js: CLI-утилита и граница HTTP

Как один раз загрузить модель, исполнить утилиту в Node.js и не смешать вычисление с HTTP, кодами ответа и телом запроса.

#flang#nodejs#http

Статья

Примеры внутри правила: новый вид предметных unit-тестов

Чем исполняемый пример flang отличается от обычного unit-теста и как использовать его вместе с node:test и стартом сервиса.

#flang#unit testing#examples

Статья

Правила, порядок и свойства: как считается решение

Как flang вычисляет результат, применяет несколько правил и проверяет постусловия без скрытых эффектов.

#flang#утилиты#бизнес-правила

Статья

Структуры и типы: форма предметных данных

Встроенные типы, необязательные поля, состояния, вложенные объекты и генерация формы или таблицы из канонической модели.

#flang#типы#структуры

Статья

Две поверхности: русская и английская запись одного правила

Две равноправные отступные поверхности flang, кавычки, ёлочки, имена с пробелами и единая семантика.

#flang#русский язык#english