Compêndio de Ciência da Computação · INDEX
A referência enciclopédica dos fundamentos sobre os quais a Koder Stack é construída. A Stack é excepcionalmente densa em Ciência da Computação — ela entrega uma linguagem + compilador + runtime (Koda), um engine de banco de dados (kdb), engines de criptografia e mídia. Este compêndio é o home único, voltado à audiência, do conhecimento atemporal sobre o qual esses produtos se apoiam, mantido separado do cânone de engenharia por audiência (portal de compêndios, não
stack.koder.dev).
Um seed que cresce da gravidade real da Stack — não um esqueleto falso
Uma árvore de "toda a Ciência da Computação" seria um esqueleto vazio no dia um. Seguindo a mesma disciplina do Stack Atlas ("cresça da gravidade real, não fabrique amplitude"), este compêndio é semeado onde a Stack puxa mais forte hoje: ela tem uma linguagem de primeira classe (Koda), então a Parte IV — Linguagens de Programação & Sua Implementação é a primeira parte com conteúdo real. As demais partes abaixo são o mapa-alvo (só outline); cada uma cresce quando um produto da Stack lhe der gravidade genuína.
O mapa (Partes)
| Parte | Título | Status |
|---|---|---|
| I | Fundamentos & Teoria da Computação (autômatos, computabilidade, complexidade) | planejada (outline) |
| II | Matemática Discreta, Lógica & Probabilidade para CC (incl. cadeias de Markov, Monte Carlo/MCMC, PageRank) | semeada |
| III | Algoritmos & Estruturas de Dados | planejada (outline) |
| IV | Linguagens de Programação & Sua Implementação (design, sistemas de tipos, compiladores, runtimes, gerência de memória) | semeada |
| V | Sistemas (sistemas operacionais, concorrência, armazenamento, redes) | planejada (outline) |
| VI | Arquitetura de Computadores & Hardware | planejada (outline) |
| VII | Dados, Bancos de Dados & Sistemas Distribuídos | planejada (outline) |
| VIII | Segurança, Confiança & Defesa Adversarial (segurança de aplicações, defesa contra bots/automação, ameaça de insider, autorização, atestação) | seeded |
Referência vs decisão (D6 — sem duplicação)
Este compêndio guarda conhecimento ("o que existe na área"). Uma decisão da Koder Stack que se apoia nesse conhecimento ("o que a Koda escolhe") vive no cânone de engenharia — um RFC ou ticket de componente — que cita a seção relevante aqui. Exemplo já vivo: o capítulo de gerência de memória (Parte IV) é o chão enciclopédico; o stack-RFC-034 (eixo de memória da Koda) é a decisão que o cita. Um fato, um home.
Como contribuir
Autore em en/ (fonte, en-US); espelhe em pt/ (o piso bilíngue). Cada Parte é um diretório com INDEX.kmd e capítulos numerados; ilustrações em assets/.