Computer Science Compendium · INDEX
The encyclopedic reference for the foundations the Koder Stack is built on. The Stack is unusually Computer-Science-dense — it ships a language + compiler + runtime (Koda), a database engine (kdb), cryptography and media engines. This compendium is the single, audience-facing home for the timeless knowledge those products stand on, kept separate from engineering canon by audience (compendium portal, not
stack.koder.dev).
A seed grown from the Stack's gravity — not a fake outline
A full "all of Computer Science" tree would be an empty skeleton on day one. Following the same discipline the Stack Atlas uses ("grow from real gravity, don't fabricate breadth"), this compendium is seeded from where the Stack pulls hardest today: it has a first-class programming language (Koda), so Part IV — Programming Languages & Their Implementation is the first part with real, fleshed content. The other parts below are the target map (outline only); each is grown when a Stack product gives it genuine gravity.
The map (Parts)
| Part | Title | Status |
|---|---|---|
| I | Foundations & Theory of Computation (automata, computability, complexity) | planned (outline) |
| II | Discrete Mathematics, Logic & Probability for CS (incl. Markov chains, Monte Carlo/MCMC, PageRank) | seeded |
| III | Algorithms & Data Structures | planned (outline) |
| IV | Programming Languages & Their Implementation (design, type systems, compilers, runtimes, memory management) | seeded |
| V | Systems (operating systems, concurrency, storage, networking) | planned (outline) |
| VI | Computer Architecture & Hardware | planned (outline) |
| VII | Data, Databases & Distributed Systems | planned (outline) |
| VIII | Security, Trust & Adversarial Defense (application security, bot/automation defense, insider threat, authorization, attestation) | seeded |
Reference vs decision (D6 — no duplication)
This compendium holds knowledge ("what exists in the field"). A Koder Stack decision that stands on that knowledge ("what Koda chooses") lives in engineering canon — an RFC or a component ticket — which cites the relevant section here. Example already live: the memory-management chapter (Part IV) is the encyclopedic ground; stack-RFC-034 (Koda's memory-management axis) is the decision that cites it. One fact, one home.
Contributing
Author in en/ (source, en-US); mirror into pt/ (the bilingual floor). Each Part is a directory with an INDEX.kmd and numbered chapters; illustrations go in assets/.