DigitableCourses
Local and account-free. No account, no sign-up: whatever you type into the tools stays in this browser's localStorage and never reaches a server.
Our own counter records page opens and finishes: the address leaves, plus one tenth-of-the-text figure. No cookies, no outside trackers, your IP is not stored, Do Not Track is honoured. How to check that
The portal's own repository is not published, so we do not call it open source. What is open:
The portal lives on donations, paid consultations and requested write-ups, and on Workbench sales.
There are no plans to make the courses paid.
Deployment of 8 November 2026, snapshot 8f78b0c
What has changed on the portal since your last visit.
30 articles on this topic.
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 …
Tasks checked right in the browser: a first function, a branch with a promise, your own type, a fold, a business rule, recursion that terminates and a proof by induction.
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.
flang constructs with examples: modules, functions, types, lists, preconditions, postconditions, theorems and processes. Every example is checked by the compiler and …
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 …
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 …
Three sources of content instead of generation, two modes with a ban on silent degradation, and a rejection that accepts code, not a model.
How to check a new business requirement before writing code: a requirement as a proved promise, the fspec catalogue created by flang new, a snapshot that keeps an earlier …
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.
How to get a machine-readable answer about a model for CI and an agent with one command, and how to draw a mermaid diagram of types, functions, transitions and promises …
Step-by-step migration of a live business rule from nested ifs into a flang model — with an equivalence test of the printed model against the old code before it is …
A catalog of sixteen attempts to push effects, time, randomness and false confidence into a flang model — with the real answers of compiler 0.7.29 and a working split …
Nothing matched that query.