| Commit message (Expand) | Author | Age | Files | Lines |
|---|
| ... | |
| * | Say why stage 3's first isolation criterion could not hold, and what to measu... | eunhhu | 2026-10-04 | 1 | -0/+21 |
| * | Let a view compute in its body, on a reader's own lists (018 stage 3) | eunhhu | 2026-10-04 | 2 | -5/+16 |
| * | Say what computing in one event costs and finds (018 stage 2, research 118) | eunhhu | 2026-10-04 | 2 | -1/+92 |
| * | Count in loops that nest, break, and keep an event's own lists, every event b... | eunhhu | 2026-10-04 | 2 | -10/+30 |
| * | Say what a transient state saves a write (018 stage 1, research 117) | eunhhu | 2026-10-04 | 2 | -1/+55 |
| * | Keep transient states the app's while it runs, never stored (018 stage 1) | eunhhu | 2026-10-04 | 2 | -5/+13 |
| * | Say how aup chooses what a state outlives, and computes in memory (018) | eunhhu | 2026-10-04 | 1 | -0/+199 |
| * | Say what an app's tokens cost (017 3b, research 116) | eunhhu | 2026-10-04 | 2 | -1/+67 |
| * | Say how an app's routes take tokens, and what it must show (017, 3b) | eunhhu | 2026-10-04 | 1 | -1/+30 |
| * | Say that reading the code found stage 3's two races, and how a host changes apps | eunhhu | 2026-10-04 | 2 | -4/+7 |
| * | Say what apps that change on a running host showed (017 stage 3, research 115) | eunhhu | 2026-10-04 | 2 | -6/+139 |
| * | Say how apps start, stop and change on a running host, and what it must show ... | eunhhu | 2026-10-04 | 1 | -1/+76 |
| * | Trade stores with the WSL2 too: its bytes are the Pi's (029, research 114) | eunhhu | 2026-10-04 | 1 | -7/+6 |
| * | Say what running on an x86_64 WSL2 and an M3 Mac showed (research 114) | eunhhu | 2026-10-02 | 1 | -0/+122 |
| * | Say what one sending loop showed (017 2b, research 113) | eunhhu | 2026-10-01 | 2 | -6/+129 |
| * | Say how sends will share one loop, and what it must show (017, 2b) | eunhhu | 2026-10-01 | 1 | -3/+18 |
| * | Say that apps of a host send to each other and to other nodes (017) | eunhhu | 2026-10-01 | 1 | -2/+13 |
| * | Measure sending between two apps of a host: local outlet or link (112) | eunhhu | 2026-10-01 | 1 | -0/+56 |
| * | docs: link aup and vega via clean web paths instead of raw server paths | eunhhu | 2026-10-01 | 1 | -1/+1 |
| * | Say how apps will send to each other and to other nodes, and what it must sho... | eunhhu | 2026-10-01 | 1 | -2/+41 |
| * | Say that one host runs many apps, and what its first stage found (017) | eunhhu | 2026-10-01 | 1 | -10/+41 |
| * | Measure one host of many apps against a process each (111) | eunhhu | 2026-10-01 | 1 | -0/+109 |
| * | Say how one host will run many apps, and what it must show (017) | eunhhu | 2026-10-01 | 1 | -0/+128 |
| * | Measure 07047c3 again on a quiet Pi (110) | eunhhu | 2026-09-30 | 1 | -3/+20 |
| * | Say that i64 is in, and what it found (016) | eunhhu | 2026-09-30 | 1 | -1/+26 |
| * | Count instructions where timing cannot tell 3% apart (110) | eunhhu | 2026-09-30 | 1 | -0/+104 |
| * | Pin an i64's meaning on every path (015) | eunhhu | 2026-09-30 | 1 | -5/+27 |
| * | Give i64 its own type in modules, lists, stores and the host (016 stage 2) | eunhhu | 2026-09-30 | 1 | -7/+18 |
| * | Say how i64 will be built, and what it must not slow down (016) | eunhhu | 2026-09-30 | 1 | -13/+58 |
| * | Say that bool is in, and what its first stage found (016) | eunhhu | 2026-09-30 | 1 | -1/+19 |
| * | Check a bool view's text and a bool argument over HTTP | eunhhu | 2026-09-30 | 1 | -0/+1 |
| * | Pin a bool's meaning on every path (015) | eunhhu | 2026-09-30 | 1 | -4/+20 |
| * | Give bools their own type in the module format (v6, 016 stage 1) | eunhhu | 2026-09-30 | 2 | -46/+53 |
| * | Say what bool and i64 mean at every boundary, before building them (016) | eunhhu | 2026-09-30 | 1 | -0/+74 |
| * | Say what 109 inferred and what it did not measure | eunhhu | 2026-09-30 | 1 | -1/+3 |
| * | Say that prefetching items did not pay, and why (109) | eunhhu | 2026-09-30 | 1 | -0/+57 |
| * | Say what finding items should gain, before measuring it (109) | eunhhu | 2026-09-30 | 1 | -0/+34 |
| * | Say what the screen showed of a value, and what Vega now keeps from acting (0... | eunhhu | 2026-09-30 | 2 | -3/+34 |
| * | Say what a value means at each boundary, and what checking it found (015, 108) | eunhhu | 2026-09-30 | 2 | -0/+115 |
| * | Say what pinning a value across every boundary checks, before writing the che... | eunhhu | 2026-09-30 | 1 | -0/+37 |
| * | Say TPC-C's RAM numbers since snapshot nodes are reused | eunhhu | 2026-09-30 | 1 | -0/+1 |
| * | Say what snapshots cost the owner, and what reusing their nodes gave (107) | eunhhu | 2026-09-30 | 1 | -0/+141 |
| * | Compare TPC-C on the SD card with SQLite committing in groups, not each trans... | eunhhu | 2026-09-30 | 1 | -0/+2 |
| * | Say what TPC-C costs when SQLite commits in groups too, and with four warehou... | eunhhu | 2026-09-30 | 1 | -2/+175 |
| * | Say what the TPC-C comparison decides, before running it (106) | eunhhu | 2026-09-30 | 1 | -0/+44 |
| * | Say where the shared board now lives, and what is left (105) | eunhhu | 2026-09-30 | 1 | -1/+9 |
| * | Say that sends and applies now spread their fields (105) | eunhhu | 2026-09-30 | 1 | -4/+8 |
| * | Say what laying a record out anew costs (014) | eunhhu | 2026-09-30 | 2 | -2/+2 |
| * | Say how growing a board two nodes share went (105) | eunhhu | 2026-09-30 | 1 | -0/+119 |
| * | Take a delivery's fields by name, dropping none | eunhhu | 2026-09-30 | 2 | -4/+93 |
