aboutsummaryrefslogtreecommitdiffstats
path: root/docs/design
Commit message (Expand)AuthorAgeFilesLines
* Check a bool view's text and a bool argument over HTTPeunhhu2026-09-301-0/+1
* Pin a bool's meaning on every path (015)eunhhu2026-09-301-4/+20
* Give bools their own type in the module format (v6, 016 stage 1)eunhhu2026-09-302-46/+53
* Say what bool and i64 mean at every boundary, before building them (016)eunhhu2026-09-301-0/+74
* Say what the screen showed of a value, and what Vega now keeps from acting (0...eunhhu2026-09-301-1/+13
* Say what a value means at each boundary, and what checking it found (015, 108)eunhhu2026-09-301-0/+70
* Say what laying a record out anew costs (014)eunhhu2026-09-301-1/+1
* Take a delivery's fields by name, dropping noneeunhhu2026-09-302-4/+93
* Say what the windows and checkpoints cost (013 steps 2 and 3, 104)eunhhu2026-09-301-6/+16
* Say where a node's memory goes, and the budget it now keeps (104, 013)eunhhu2026-09-302-0/+99
* Let a receiver whose app is full keep what came, and say soeunhhu2026-09-301-3/+8
* Say what adopting the link took, and how it fares against ngtcp2 (102)eunhhu2026-09-292-18/+33
* Size a receiver's credit by what it holds, not 1,024 recordseunhhu2026-09-291-3/+7
* Remember the epoch of each of a peer's runs that send, not oneeunhhu2026-09-291-4/+11
* Specify the link (012) and make it the default between nodes (011)eunhhu2026-09-294-4/+351
* Say how the four limits left went: three solved, one measured away (101)eunhhu2026-09-291-0/+7
* Say that a receiver moved to another machine is followed, and how (100)eunhhu2026-09-291-0/+5
* Say what epochs cost a link, and what the search for it found (099)eunhhu2026-09-291-1/+6
* Say what an attacker on the path could do to a link, and what now stops it (098)eunhhu2026-09-291-0/+5
* Measure a link on paths of loss, reordering and a bottleneck, against quinn (...eunhhu2026-09-291-1/+6
* Say why the links became a part, and not a repository (009, 011)eunhhu2026-09-292-3/+38
* Measure the CPU a record costs a link, against quinn (096)eunhhu2026-09-291-1/+6
* Measure a restart under load and a first contact (095)eunhhu2026-09-281-3/+7
* Measure a link at rest: 132 bytes against a QUIC connection's 38,106 (094)eunhhu2026-09-281-1/+6
* Link two nodes without a connection over UDP (093, design 011's first stage)eunhhu2026-09-281-1/+6
* Redesign 011: no connections, the transport's state as the app's dataeunhhu2026-09-282-151/+172
* Design the Pure transport: stored records sent straight over UDP (011)eunhhu2026-09-282-0/+202
* Log list changes compact: varint positions and integers, the rest bit for biteunhhu2026-09-281-2/+4
* Keep lists as images and a log of their changes, checkpointed off the ownereunhhu2026-09-281-4/+24
* Save a list as its items and a journal of its changes sinceeunhhu2026-09-281-2/+2
* Allow 16 records and 128 record fields a moduleeunhhu2026-09-281-1/+1
* Slice a keyed list: fold and walk over a range of keyseunhhu2026-09-281-0/+5
* Read only the keys a test allows, and count distinct valueseunhhu2026-09-281-1/+8
* Give an event localseunhhu2026-09-281-0/+6
* Take a view's arguments from the request's queryeunhhu2026-09-281-4/+13
* Take a message's rows over HTTPeunhhu2026-09-281-4/+30
* Run a surface for people inside the node (design 010)eunhhu2026-09-272-1/+63
* Map OpenSSL only in a server that uses iteunhhu2026-09-271-1/+7
* Check pure-serve in Pure, not in aupeunhhu2026-09-272-1/+6
* Show the new layout costs nothing, and keep code where it waseunhhu2026-09-271-0/+9
* Lay Pure out as a core with the parts selected around iteunhhu2026-09-272-2/+62
* Make an API's answers the app's events (--reply OUTPUT=INPUT)eunhhu2026-09-271-1/+3
* Deliver to https receivers, verifying their certificates (083)eunhhu2026-09-271-1/+2
* Deliver an app's saved sends over HTTP, in order and in batches (083)eunhhu2026-09-271-0/+6
* Send messages as part of events and apply delivered ones once (078)eunhhu2026-09-271-1/+23
* Choose the connection threads with --threads autoeunhhu2026-09-271-0/+1
* Gather after a save until a just-answered client has come backeunhhu2026-09-271-5/+7
* Read JSON bodies in place, groups included (082)eunhhu2026-09-271-5/+10
* Name message fields by paths and take variable fields where they areeunhhu2026-09-271-4/+5
* Show views from the last save's snapshot on connection threads (080)eunhhu2026-09-261-9/+18