kb · theory reference
Не язык программирования, а фундамент под ним: математика, теория языков и типов, алгоритмы, графы, математика ML, безопасность и криптография, HPC, применение ML в трейдинге, валидация моделей, численные методы, биржевые протоколы, архитектура и принципы проектирования. Все 13 разделов — каркасы.Not a programming language, but the foundation underneath one: mathematics, language and type theory, algorithms, graphs, ML math, security and cryptography, HPC, ML applied to trading, model validation, numerical methods, market protocols, architecture and design principles. All 13 sections are skeletons.
Математический анализ, теория вероятностей и дискретная математика — фундамент под остальными разделами.Mathematical analysis, probability theory, and discrete mathematics — the foundation underneath the other sections.
Теория систем типов, обобщённое программирование, алгебраические типы данных, модели управления памятью, PE-файл и жизненный цикл процесса, автоматы и формальные языки. 1.1 заполнен полностью (3 страницы), в 1.2 заполнен PE-файл, 1.3 (автоматы) — новый каркас.Type-system theory, generic programming, algebraic data types, memory-management models, the PE file and process lifecycle, automata & formal languages. 1.1 is fully filled in (3 pages), 1.2 has the PE file filled in, 1.3 (automata) is a new skeleton.
Кнут, Кормен, Седжвик, Степанов: асимптотика, сортировка и поиск, структуры данных, парадигмы проектирования алгоритмов, алгебраические основы.Knuth, Cormen, Sedgewick, Stepanov: asymptotics, sorting & searching, data structures, algorithm-design paradigms, algebraic foundations.
Скиена, Кормен, Седжвик: представление и обход графов, кратчайшие пути, потоки и паросочетания — все 9 пунктов написаны, плюс 8 прикладных разборов задач. Новый каркас 3.3b: особые структуры графа (Эйлер/Гамильтон, раскраска, планарность).Skiena, Cormen, Sedgewick: graph representation and traversal, shortest paths, flows and matchings — all 9 items written, plus 8 applied worked problems. New skeleton 3.3b: special graph structures (Euler/Hamiltonian, coloring, planarity).
Бишоп, Рассел, Норвиг: линейная алгебра, теория вероятностей и статистика, выпуклая оптимизация и теория информации.Bishop, Russell, Norvig: linear algebra, probability & statistics, convex optimization and information theory.
Классический и современный ML: обучение с учителем и без учителя, графовый ML, глубокое и подкрепляемое обучение.Classic & modern ML: supervised and unsupervised learning, graph ML, deep and reinforcement learning.
Модели доступа и формальная верификация, безопасность памяти, криптография и побочные каналы, прикладная криптография и PKI, безопасность ML.Access models and formal verification, memory safety, cryptography and side channels, applied cryptography and PKI, ML security.
Mechanical sympathy: осведомлённость об архитектуре CPU и кэшах, безблокировочные и безожидающие алгоритмы.Mechanical sympathy: CPU/cache architecture awareness, lock-free and wait-free algorithms.
По Лопесу де Прадо: специфика финансовых данных и микроструктура рынка, генерация признаков и моделирование.After López de Prado: financial-data specifics and market microstructure, feature engineering and modeling.
Валидация на временных рядах, метрики качества стратегий и переобучение бэктеста.Time-series validation, strategy quality metrics, and backtest overfitting.
Численная устойчивость и арифметика с плавающей точкой, численные методы и симуляции Монте-Карло.Numerical stability and floating-point arithmetic, numerical methods and Monte Carlo simulation.
Не только HFT: low-latency сеть, mechanical sympathy, lock-free hot path, измерение latency, архитектура торговых систем, надёжность при жёстких SLA (платежи, риск-системы). Биржевые протоколы данных переехали в network-protocols/market-data-protocols/.Not just HFT: low-latency networking, mechanical sympathy, lock-free hot path, latency measurement, trading systems architecture, reliability under hard SLAs (payments, risk systems). Market data protocols moved to network-protocols/market-data-protocols/.
SOLID, паттерны GoF, DDD и гексагональная/чистая архитектура, философии простоты (KISS/DRY/YAGNI/AHA), проектирование API, принципы пакетов Дяди Боба, CQRS/CAP/Event Sourcing, 12-Factor App. 12.1 SOLID заполнен (5 страниц), остальное — каркас.SOLID, GoF patterns, DDD and hexagonal/clean architecture, simplicity philosophies (KISS/DRY/YAGNI/AHA), API design, Uncle Bob's package principles, CQRS/CAP/Event Sourcing, the 12-Factor App. 12.1 SOLID is filled in (5 pages), the rest is a skeleton.
статус и происхождениеstatus & provenance
Это каркас: 12 разделов и ~116 пунктов зафиксированы по мотивам theory.md и отдельного плана по архитектуре, страницы фич ещё не написаны. В отличие от языковых разделов, здесь нет привязки к конкретному языку программирования — это общая теоретическая база, на которую опираются language/, algorithms/ и другие разделы. Раздел 12 из theory.md (единый глоссарий и cross-ref схема между темами, поле prerequisites) сюда сознательно не перенесён — это инфраструктурный механизм для связи заполненных страниц между собой, откладывается до момента, когда появятся реальные страницы с этим полем. Не путать с разделом «12» этого путеводителя (Архитектура и принципы проектирования) — номер совпал случайно. Практический раздел про компилятор-осведомлённую оптимизацию (assembler.md) живёт отдельно на верхнем уровне — compiler-asm/ — это не абстрактная теория, а прикладной мост языки↔ASM.This is a skeleton: 12 sections and ~116 items are locked in based on theory.md and a separate architecture-plan file, feature pages not yet written. Unlike the language sections, nothing here is tied to a specific programming language — this is the general theoretical base that language/, algorithms/, and other sections draw on. Section 12 from theory.md (the unified glossary and cross-ref schema between topics, the prerequisites field) was deliberately not carried over — it's an infrastructural mechanism for linking finished pages to each other, deferred until real pages with that field exist. Not to be confused with section "12" of this guide (Architecture & Design Principles) — the number is a coincidence. The practical compiler-aware optimization section (assembler.md) lives separately at the top level — compiler-asm/ — it's applied language↔ASM work, not abstract theory.