weave/docs

Documents

• Weave — a better Bend, built invariant-first (consolidated) — A design for a massively-parallel language in the lineage of Bend/HVM, derived invariant-first: find the invariants → state the rules → enforce them in code → close the loop. Th…
• Weave and the [&] stack — positioning, gaps, and the integration plan — A review written after box-and-box, OpenSentience, and HVM4's early-preview release came into frame. It repositions Weave inside the stack, grades the whole stack against the ca…