Search
Search the book: interactive search with a JavaScript-free fallback.
Search all fourteen chapters and four appendices of Assembling in Tyu.
- With JavaScript, typing searches the full book index — titles, descriptions, and prose; code blocks are stripped before indexing.
- Without JavaScript, the complete page list below the search box is the catalog: use your browser’s find-in-page, or browse the sidebar.
Part I — Philosophy and the Medium
Why verification beats vigilance, and the first words of the language.
Chapter 1 — The Rigor Is the Engine
The thesis — safety is not the brake, it's the engine — and the first ten minutes with the toolchain.
Chapter 2 — First Words
First words: the data stack, word definitions, and reading as running.
Part II — The Disciplines
The checkable practices: types, contracts, effects, stack shapes, places, and hardware.
Chapter 3 — Types: Making Illegal Values Unrepresentable
Types: making illegal values unrepresentable with enums, structs, and subtypes.
Chapter 4 — Contracts: Promises the Machine Reads
Contracts: needs and ensures — promises the machine reads and checks.
Chapter 5 — Effects and Capabilities: The Two-Sided Law
Effects and capabilities: the two-sided law of what a word may do.
Chapter 6 — The Stack Has a Shape
The stack has a shape: net and high, and the rules that refuse growth.
Chapter 7 — Places, Borrowing, Ownership
Places, borrowing, ownership: pointers, the two borrows, and lexical scope.
Chapter 8 — Touching Hardware: MMIO
Touching hardware: MMIO with named devices and typed write kinds.
Part III — Design and Style
Factoring, decomposition, shared state, and concurrency.
Chapter 9 — Factoring: Style Becomes Proof
Factoring: how style becomes proof, and reused bodies reuse proofs.
Chapter 10 — Decomposition: Information Hiding, Enforced
Decomposition: information hiding enforced by the interface.
Chapter 11 — Shared State and the Cross-Context Rule: Interrupts
Shared state and the cross-context rule: interrupts without races.
Chapter 12 — Tasks and Channels: Concurrency the Platform Provides
Tasks and channels: the concurrency the platform provides.
Part IV — The Daring Parts
Field updates on untrusted media, and what the language does to thinking.
Chapter 13 — Field Updates on Untrusted Media
Field updates on untrusted media: loading signed code into a running system.
Chapter 14 — Epilogue: Tyu's Effect on Thinking
Epilogue: Tyu's effect on thinking.
Appendices
Language reference, error registry, toolchain setup, and the style summary.
Appendix A — Language Reference
Language reference: the built-in words, lexical syntax, types, and declarations.
Appendix B — Error and Trap Registry
Error-code and trap registry, cross-linked to the labs that prove them.
Appendix C — Toolchain Setup (current procedure)
Toolchain and QEMU setup: building from source, the two tracks, and the commands used in the book.
Appendix D — Style Summary (one page)
One-page style summary: the two sentences to carry.
Search
Search the book: interactive search with a JavaScript-free fallback.