diff options
Diffstat (limited to 'README.md')
| -rw-r--r-- | README.md | 7 |
1 files changed, 4 insertions, 3 deletions
@@ -4,9 +4,10 @@ ([format v5](docs/design/008-module-format.md)), verified completely before they execute: declared states persist in Pure's tree store, every event is a transaction, views are pure functions of state. The same spec becomes a terminal UI, a CLI, spoken sentences and a web page through [Vega](/srv/git/vega.git), and an HTTP service through -`pure-serve` (views are GETs, inputs are POSTs with JSON bodies; answers are durable). Measurements against axum and -drogon on a Raspberry Pi 5 are in [075](docs/research/075-http-host-against-axum.md) and -[077](docs/research/077-apps-as-http-services.md); the status table is [CHECKPOINT.md](CHECKPOINT.md). The text below +`pure-serve` (views are GETs, inputs are POSTs with JSON bodies; answers are durable; views are read from a snapshot of +the last save, so reads never wait for a sync). Measurements against axum and drogon on a Raspberry Pi 5 are in +[075](docs/research/075-http-host-against-axum.md), [077](docs/research/077-apps-as-http-services.md) and +[080](docs/research/080-snapshot-reads.md); the status table is [CHECKPOINT.md](CHECKPOINT.md). The text below records the earlier document runtime this grew from. A standalone native micro runtime being designed as a small operating |