aboutsummaryrefslogtreecommitdiffstats
path: root/docs/design
Commit message (Expand)AuthorAgeFilesLines
* 027's stage 5 designed and 5a made: two numbers (number, binary64, the defaul...eunhhu42 hours2-1/+28
* 027's stage 4 closed: 106 opcodes now 95, 7 state kinds 6, 6 input kinds and ...eunhhu43 hours1-0/+10
* 027's 4f-4: loops nested to any depth: the load counts a module's deepest nes...eunhhu43 hours2-2/+16
* 027's 4f-3b: no fixed count of records or of their fields in all: the header'...eunhhu43 hours2-2/+15
* 027's 4f-3a: no fixed count of inputs, views (the load's columns among them, ...eunhhu44 hours2-3/+18
* 027's 4f-2: no fixed count of states: the header's u16 alone (PURE_MODULE_STA...eunhhu44 hours2-3/+23
* 027's 4f-1: a module's tables sized to it: PureModule's thirty-four tables of...eunhhu45 hours1-0/+21
* Module format v7, 027's 4e: a view of any value: a view's and a column's type...eunhhu45 hours2-8/+60
* Module format v7, 027's 4d: every input a message: a module's inputs are mess...eunhhu47 hours2-96/+124
* Module format v7, 027's 4c: cursors and indices one anchor: a module's state ...eunhhu48 hours2-57/+86
* Module format v7, 027's 4b-2: keyed documents gone, a keyed list of records h...eunhhu2 days2-122/+151
* Module format and executor: 027's 4b-1, a record field holding bytes (type 5)...eunhhu2 days2-3/+16
* Module executor and pure-serve: 027's 4a, a message's rows holding lists: row...eunhhu2 days2-2/+65
* Research 140, 027's stage 3 measured: a board of columns of cards of tags (au...eunhhu2 days2-1/+17
* Module format and executor: 027's stage 3, nested stored state: a stored or a...eunhhu2 days1-3/+13
* Research 140, 027's stage 2c measured: JSON read into a tree by recursive des...eunhhu2 days1-3/+17
* Module executor: a call's frame counted in the event's room by a table, as ga...eunhhu2 days1-0/+3
* Module format and executor: 027's stage 2c, functions and characters: a funct...eunhhu2 days1-2/+33
* Research 140, 027's stage 2b measured: JSON read into a tree (aup's examples/...eunhhu7 days1-1/+9
* Module format and executor: 027's stage 2b, lists in records: a record field ...eunhhu7 days1-2/+19
* Research 140, 027's stage 2a measured: whether bytes are JSON (aup's examples...eunhhu8 days1-0/+11
* Module format and executor: 027's stage 2a: BYTES_SLICE (bytes from a up to b...eunhhu8 days1-3/+8
* Research 140, 027's stage 1 measured: SHA-256 written in aup (its examples/sh...eunhhu8 days1-0/+10
* Module format: bits and bytes (design 027's stage 1): I64_BITS (and, or, xor,...eunhhu8 days1-0/+6
* Design 027: the computation core inside 026's contract: an app's state one ty...eunhhu8 days1-0/+189
* Design 026: the app contract written as mathematics, the part to freeze at 1....eunhhu8 days1-0/+185
* Research 138: the batch executor's stage 5, design 025 made: sums into cells ...eunhhu11 days2-4/+7
* Design 025: stage 5's bars measured again on b16: BFS's candidate tail about ...eunhhu11 days1-2/+8
* Design 024: its header says stages 1-4 of 025 are made (134-137)eunhhu12 days1-1/+1
* Research 137: the batch executor's stage 4 (columns read in place, comparison...eunhhu12 days1-1/+4
* Design 025: stage 4's knapsack bar by arithmetic (8.6 ms: two 4 KB copies and...eunhhu12 days1-2/+5
* Research 136: the batch executor's stage 3 (four-byte MUL, reductions with no...eunhhu12 days1-1/+4
* Design 025: stage 3's matmul bar against what the four-byte MUL gave (26.57 m...eunhhu12 days1-2/+3
* Research 135: batch plans' stage 2 measured (b11 = 7959885 against b10, inter...eunhhu12 days1-1/+5
* Design 025: stage 2 reshaped after stage 1 (134): scalar segments planned at ...eunhhu12 days1-10/+22
* Research 134: batch plans' stage 1 measured (b10 = a6fabf0 against b9, interl...eunhhu12 days1-1/+2
* Design 025: batch programs (132's A), the block's facts once at load and only...eunhhu12 days2-1/+180
* Research 133: register tiles measured (132's deciding experiment): past the b...eunhhu12 days1-1/+1
* Research 131: the batch executor's general cuts, by the user's choice of the ...eunhhu12 days1-1/+1
* Research 130: the batch executor's frontiers (a count's guard, walks in a bat...eunhhu12 days1-1/+1
* Research 129: the batch executor's costs cut (appends at once 5.18 to 0.65 ms...eunhhu2026-10-061-1/+1
* Research 128: the batch executor's appends, recurrences, sums into cells and ...eunhhu2026-10-062-1/+5
* 024, 126, 127: the lanes are 24 buffers (stage 2), about 200 KB a thread; sta...eunhhu2026-10-051-2/+3
* Research 127: the batch executor's stage 2 (nested loops' rounds run together...eunhhu2026-10-051-1/+1
* Research 126: the batch executor's first stage (024) as built and measured: k...eunhhu2026-10-051-1/+4
* 024: the table with operations apart and interpreted beside the hand-fused fo...eunhhu2026-10-051-34/+36
* Design 024: a batch executor, loops run 256 rounds at a time by operations th...eunhhu2026-10-051-0/+136
* 125: forms and newton runs named; BFS's time after the graph's load is the ge...eunhhu2026-10-051-1/+1
* Pointer induction (023): an inner count's access by a key affine in its round...eunhhu2026-10-051-0/+8
* 040 forms.c: matmul's inner loop in the forms the tier may make it (index 20....eunhhu2026-10-051-0/+7