| Commit message (Expand) | Author | Age | Files | Lines |
|---|
| * | Say how pure-serve pushes a view's value to its subscribers, and what it must... | eunhhu | 2026-10-04 | 1 | -0/+91 |
| * | Put lifetimes and computing in the checkpoint (018) | eunhhu | 2026-10-04 | 1 | -1/+2 |
| * | Say what views that compute cost the writes beside them (018 stage 3, researc... | eunhhu | 2026-10-04 | 8 | -1/+383 |
| * | 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 | 7 | -35/+292 |
| * | Say what computing in one event costs and finds (018 stage 2, research 118) | eunhhu | 2026-10-04 | 5 | -4/+187 |
| * | Measure 018 stage 2: a graph search in one event, the pairs, and runs to comp... | eunhhu | 2026-10-04 | 34 | -0/+511 |
| * | Count in loops that nest, break, and keep an event's own lists, every event b... | eunhhu | 2026-10-04 | 9 | -54/+422 |
| * | Say what a transient state saves a write (018 stage 1, research 117) | eunhhu | 2026-10-04 | 5 | -1/+142 |
| * | Keep transient states the app's while it runs, never stored (018 stage 1) | eunhhu | 2026-10-04 | 7 | -25/+266 |
| * | 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 | 5 | -3/+178 |
| * | Take an app's requests only with a token its tokens file grants (017, 3b) | eunhhu | 2026-10-04 | 6 | -21/+495 |
| * | 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 | 3 | -5/+9 |
| * | Say what apps that change on a running host showed (017 stage 3, research 115) | eunhhu | 2026-10-04 | 46 | -23/+747 |
| * | Change a running app in place, its states kept in memory (017, stage 3) | eunhhu | 2026-10-04 | 2 | -46/+126 |
| * | Measure how long an app changing module cannot answer, against a host restart... | eunhhu | 2026-10-04 | 6 | -0/+293 |
| * | Start, stop and change apps on a running host on SIGHUP (017, stage 3) | eunhhu | 2026-10-04 | 2 | -142/+762 |
| * | Let a link's receiver find its streams' inputs again (017, stage 3) | eunhhu | 2026-10-04 | 5 | -5/+173 |
| * | Carry the module a request was resolved with, and give apps places (017, stag... | eunhhu | 2026-10-04 | 1 | -121/+269 |
| * | 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 | 6 | -8/+34 |
| * | Say what running on an x86_64 WSL2 and an M3 Mac showed (research 114) | eunhhu | 2026-10-02 | 2 | -1/+126 |
| * | Run Pure and aup on an x86_64 WSL2 and an M3 Mac against the Pi (029) | eunhhu | 2026-10-02 | 26 | -0/+3806 |
| * | Run experiments under a memory guard, so they cannot freeze the Pi | eunhhu | 2026-10-02 | 1 | -0/+110 |
| * | Build with clang, and the core and store on macOS, again | eunhhu | 2026-10-01 | 7 | -8/+22 |
| * | Take a timer window again when the wall clock jumped in it | eunhhu | 2026-10-01 | 1 | -9/+17 |
| * | Look at a wake write's result in the prototype, as fortified builds ask | eunhhu | 2026-10-01 | 3 | -4/+4 |
| * | Read a list cell's place after finding its leaf, not beside it | eunhhu | 2026-10-01 | 1 | -1/+2 |
| * | Say what one sending loop showed (017 2b, research 113) | eunhhu | 2026-10-01 | 3 | -8/+131 |
| * | Measure wires on the sending loop, and a host's threads (028) | eunhhu | 2026-10-01 | 6 | -7/+211 |
| * | Deliver wires on the sending loop, a step at a time (017, 2b-2) | eunhhu | 2026-10-01 | 7 | -291/+512 |
| * | Measure one sending loop against a thread a link, with and without push (028) | eunhhu | 2026-10-01 | 7 | -0/+338 |
| * | Take the sending loop out of the links, for the wires to join it (017, 2b) | eunhhu | 2026-10-01 | 4 | -121/+227 |
| * | Push a turn's sends to a link at once, and round only the links that want one... | eunhhu | 2026-10-01 | 5 | -23/+37 |
| * | Send every link on one loop, not a thread each (017, 2b-1) | eunhhu | 2026-10-01 | 1 | -73/+149 |
| * | 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 | 2 | -4/+15 |
| * | Measure sending between two apps of a host: local outlet or link (112) | eunhhu | 2026-10-01 | 7 | -0/+222 |
| * | Hand sends to another app of the host with no socket (017) | eunhhu | 2026-10-01 | 2 | -38/+353 |
| * | docs: link aup and vega via clean web paths instead of raw server paths | eunhhu | 2026-10-01 | 3 | -6/+6 |
| * | Wire each app's sends, and take every app's links on one port (017) | eunhhu | 2026-10-01 | 2 | -27/+153 |
| * | 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 | 2 | -11/+43 |
| * | Measure one host of many apps against a process each (111) | eunhhu | 2026-10-01 | 59 | -0/+655 |
| * | Count work only under a budget, and say why a view failed only then (017) | eunhhu | 2026-10-01 | 4 | -30/+40 |
| * | Move a connection to its app's home thread at its first request (017) | eunhhu | 2026-10-01 | 2 | -39/+135 |
| * | Let the load tool put an app's name before its paths | eunhhu | 2026-10-01 | 1 | -12/+16 |
| * | Keep a busy app on its worker while no other app waits (017) | eunhhu | 2026-10-01 | 1 | -21/+43 |
