https://courses.digitable.life/en/tags/flang/ Recent content in flang on Digitable Courses Hugo -- gohugo.io en-US Thu, 03 Sep 2026 10:00:00 +0300 https://courses.digitable.life/en/post/digitdisk-inside/ Thu, 03 Sep 2026 10:00:00 +0300 https://courses.digitable.life/en/post/digitdisk-inside/ A walk through the digitdisk source tree: the decisions live in a flang core with 14 postconditions, the conversation with the operating system lives in a Go host with not one external dependency. The screen does not go around the deciding layer: Backspace erases for good, yet the plan is built by the same function an ordinary cleanup uses. The screen layout exists in two implementations, and a run demands that both produce the same frame byte for byte. On a Mac nine Mach symbols are called without cgo. Every number here names the command that prints it. https://courses.digitable.life/en/flang/practice/ Sun, 09 Aug 2026 01:30:00 +0300 https://courses.digitable.life/en/flang/practice/ Eight stages with tasks that the compiler checks, five solution patterns, and one honest answer to the question of why this language is needed. https://courses.digitable.life/en/flang/dictionary/ Sat, 08 Aug 2026 23:40:00 +0300 https://courses.digitable.life/en/flang/dictionary/ The entire flang in a single listing without tabs or folds: each language form with all its variations and each construct with an explanation – a page for a complete read-through. https://courses.digitable.life/en/digit/docs/rule-check/ Fri, 07 Aug 2026 16:20:00 +0300 https://courses.digitable.life/en/digit/docs/rule-check/ A rule in Russian is transformed into an FTS specification, compiled by a real compiler, and passes a fallacy detector; there are three outcomes, not two. https://courses.digitable.life/en/flang/reference/ Thu, 06 Aug 2026 18:40:00 +0300 https://courses.digitable.life/en/flang/reference/ All forms of flang and FTS: each has a working example that can be opened in the sandbox by clicking and edited there. https://courses.digitable.life/en/flang/overview/ Wed, 05 Aug 2026 23:40:00 +0300 https://courses.digitable.life/en/flang/overview/ What is the flang language: two classes of programs, printing in nine languages, self-application, fspec — specs written in flang — and a clear boundary between proven and verified. https://courses.digitable.life/en/workbench/digit-integrations/ Mon, 03 Aug 2026 19:30:00 +0300 https://courses.digitable.life/en/workbench/digit-integrations/ Two Digit MCP servers – a deterministic catalog of utilities and a verification gateway over FTS – as Digitable Workbench integrations: what already works and what still needs to be done for this. https://courses.digitable.life/en/digit/verifiability/ Mon, 03 Aug 2026 18:00:00 +0300 https://courses.digitable.life/en/digit/verifiability/ Three sources of content instead of generation, two modes with a ban on silent degradation, and a rejection that accepts code, not a model. https://courses.digitable.life/en/post/spec/22-spec-driven/ Mon, 03 Aug 2026 06:22:00 +0300 https://courses.digitable.life/en/post/spec/22-spec-driven/ How to check a new business requirement for consistency with already accepted ones before writing code: interval arithmetic over rule conditions, constitution invariants on the input grid, and an honest list of what the method skips. https://courses.digitable.life/en/post/spec/21-lodash/ Mon, 03 Aug 2026 06:21:00 +0300 https://courses.digitable.life/en/post/spec/21-lodash/ 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. https://courses.digitable.life/en/post/spec/20-pipeline-and-visualize/ Mon, 03 Aug 2026 06:20:00 +0300 https://courses.digitable.life/en/post/spec/20-pipeline-and-visualize/ How to replace check, prove, certify, and visualize with one pipeline call and what exactly the mermaid diagram of category, morphisms, and proof shows. https://courses.digitable.life/en/post/spec/19-migration/ Mon, 03 Aug 2026 06:19:00 +0300 https://courses.digitable.life/en/post/spec/19-migration/ 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. https://courses.digitable.life/en/post/spec/18-antipatterns/ Mon, 03 Aug 2026 06:18:00 +0300 https://courses.digitable.life/en/post/spec/18-antipatterns/ 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 application. https://courses.digitable.life/en/post/spec/17-versioning/ Mon, 03 Aug 2026 06:17:00 +0300 https://courses.digitable.life/en/post/spec/17-versioning/ 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 April rules. https://courses.digitable.life/en/post/spec/16-diagnostics/ Mon, 03 Aug 2026 06:16:00 +0300 https://courses.digitable.life/en/post/spec/16-diagnostics/ flang diagnostics reference: code, exact message, minimal reproducible example, and fix — separately for walkthrough, model check, utility execution, examples, and proof. https://courses.digitable.life/en/post/spec/15-capstone-order/ Mon, 03 Aug 2026 06:15:00 +0300 https://courses.digitable.life/en/post/spec/15-capstone-order/ End-to-end architecture: flang order model, examples, command guard, React form, Node.js boundary, agent, and CI. https://courses.digitable.life/en/post/spec/14-performance/ Mon, 03 Aug 2026 06:14:00 +0300 https://courses.digitable.life/en/post/spec/14-performance/ Harness, with which you take your compile/validate/execute/generate digits and compare them to the baseline, instead of trusting others’ milliseconds. https://courses.digitable.life/en/post/spec/13-generation-and-ci/ Mon, 03 Aug 2026 06:13:00 +0300 https://courses.digitable.life/en/post/spec/13-generation-and-ci/ How to generate TypeScript and node:test, check models in pull request and not edit artifacts manually. https://courses.digitable.life/en/post/spec/12-cross-language/ Mon, 03 Aug 2026 06:12:00 +0300 https://courses.digitable.life/en/post/spec/12-cross-language/ A real Python, Go, and shell client for flang via CLI and canonical JSON: what the compiler actually prints, how to read diagnostics, and when to use HTTP instead of a process. https://courses.digitable.life/en/post/spec/11-proofs-and-certificates/ Mon, 03 Aug 2026 06:11:00 +0300 https://courses.digitable.life/en/post/spec/11-proofs-and-certificates/ What exactly does flang prove, how symbolic derivation differs from a verified certificate, and what is insufficient for publication or a patent. https://courses.digitable.life/en/post/spec/10-ai-agents/ Mon, 03 Aug 2026 06:10:00 +0300 https://courses.digitable.life/en/post/spec/10-ai-agents/ How to integrate flang into the agent loop: read-only MCP tools, programmatic document build, guard on real data, and machine-readable refusal. https://courses.digitable.life/en/post/spec/09-ddd/ Mon, 03 Aug 2026 06:09:00 +0300 https://courses.digitable.life/en/post/spec/09-ddd/ How to integrate flang into the domain layer, not turn the specification into a god-object, and protect the team with a verifiable admission. https://courses.digitable.life/en/post/spec/08-react/ Mon, 03 Aug 2026 06:08:00 +0300 https://courses.digitable.life/en/post/spec/08-react/ Form schema from the flang object, controls by field types and pre-calculation in the browser, which the server still re-checks anyway. https://courses.digitable.life/en/post/spec/07-nodejs/ Mon, 03 Aug 2026 06:07:00 +0300 https://courses.digitable.life/en/post/spec/07-nodejs/ How to load the model once, run the utility in Node.js, and not mix computation with HTTP, response codes, and request bodies. https://courses.digitable.life/en/post/spec/06-examples-as-tests/ Mon, 03 Aug 2026 06:06:00 +0300 https://courses.digitable.life/en/post/spec/06-examples-as-tests/ How does an executable flang example differ from a regular unit test, and how to use it together with node:test and service startup. https://courses.digitable.life/en/post/spec/05-utilities-rules-properties/ Mon, 03 Aug 2026 06:05:00 +0300 https://courses.digitable.life/en/post/spec/05-utilities-rules-properties/ How flang computes the result, it applies several rules and checks postconditions without side effects. https://courses.digitable.life/en/post/spec/04-structures-and-types/ Mon, 03 Aug 2026 06:04:00 +0300 https://courses.digitable.life/en/post/spec/04-structures-and-types/ Built-in types, optional fields, states, nested objects, and form or table generation from the canonical model. https://courses.digitable.life/en/post/spec/03-russian-and-english/ Mon, 03 Aug 2026 06:03:00 +0300 https://courses.digitable.life/en/post/spec/03-russian-and-english/ Two equal indentation surfaces flang, quotation marks, angle brackets, names with spaces and a unified semantics. https://courses.digitable.life/en/post/spec/02-toolchain-and-json/ Mon, 03 Aug 2026 06:02:00 +0300 https://courses.digitable.life/en/post/spec/02-toolchain-and-json/ How to install flang, check the model, get JSON, and choose between library API, CLI, and MCP. https://courses.digitable.life/en/post/spec/01-mental-model/ Mon, 03 Aug 2026 06:01:00 +0300 https://courses.digitable.life/en/post/spec/01-mental-model/ Four layers of the language and honest distinction between computation, proof and application external action. https://courses.digitable.life/en/post/spec/00-overview/ Mon, 03 Aug 2026 06:00:00 +0300 https://courses.digitable.life/en/post/spec/00-overview/ A business rule usually lives in three places — the ticket, the code and the tests — and drifts apart. This course is about writing it once in flang, so the compiler proves termination, checks the postcondition, runs the examples and prints the result into working code.