Articles

Article

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

This page has not been translated into English yet. The Russian original is complete and current: open it in Russian. The English edition ships in stages — interface and …

Article

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

This page has not been translated into English yet. The Russian original is complete and current: open it in Russian. The English edition ships in stages — interface and …

Article

Requirements that are checked before implementation: spec corpus, constitution and ftspec

How to check a new business requirement for consistency with already accepted ones before writing code: interval arithmetic over rule conditions, constitution invariants …

#flang#ftspec#requirements

Article

You don't need lodash — but not where you think

Half of the lodash calls in the project are business rules without a model, the other half have been in standard JavaScript for a long time. flang takes only the first.

#flang#lodash#refactoring

Article

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

This page has not been translated into English yet. The Russian original is complete and current: open it in Russian. The English edition ships in stages — interface and …

Article

Pipeline and visualization: one run and a model diagram

How to replace check, prove, certify, and visualize with one pipeline call and what exactly the mermaid diagram of category, morphisms, and proof shows.

#flang#pipeline#visualization

Article

Migration: from nested ifs to an executable rule

Step-by-step migration of a live business rule from nested ifs to the model with a proof of equivalence until the old code is turned off.

#flang#migration#refactoring

Article

Antipatterns: what should not be expressed as a specification

A catalog of fourteen attempts to push effect, time, randomness, and execution order into flang — with real compiler messages and a working separation into model and …

#flang#antipatterns#boundaries

Article

Time: rule versions, snapshots, and retroactive audit

Why there is no “today” in the specification, how to store rule revisions alongside and what to prove to the client the charge for April according to the …

#flang#versioning#audit

Article

Reading compiler errors

flang diagnostics reference: code, exact message, minimal reproducible example, and fix — separately for walkthrough, model check, utility execution, examples, and proof.

#flang#diagnostics#errors

Article

Capstone: order execution from model to service and form

End-to-end architecture: flang order model, examples, command guard, React form, Node.js boundary, agent, and CI.

#flang#capstone#order

Article

Performance: a reproducible measurement

Harness, with which you take your compile/validate/execute/generate digits and compare them to the baseline, instead of trusting others’ milliseconds.

#flang#benchmark#performance