DigitableCourses
Portal settings
Show me around

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.

Knowledge base

Topic: flang

30 articles on this topic.

Articles

12 on this page
Article

Time: rule versions, snapshots, and retroactive audit

Why a flang function has no “today”, how to keep rule editions side by side, and how to back up an April charge to a customer with the April rules.

#flang#versioning#audit
13 min
Article

Reading compiler errors

A reference of flang 0.7.29 diagnostics: the code, the exact message, a small program that triggers it, and the fix — for parsing, names and types, examples, promises, …

#flang#diagnostics#errors
14 min
Article

Performance: a reproducible measurement

A harness with which you take your own numbers for checking, running examples, printing and calling the printed function, and compare them with a baseline instead of …

#flang#benchmark#performance
9 min
Article

Proofs: theorems, proof records and scientific boundaries

What exactly flang proves, how “proved” differs from a “grid” and from a verdict on facts, how a separate program re-checks the proof record, and what is not enough for a …

#flang#proof#certificate
12 min
Article

React: form and table from one model

A form schema from a flang object, controls chosen by field types, and a browser preview by the printed function that the server still recomputes.

#flang#react#forms
10 min