ЦИТадель — образовательный проект ЦИТФорума

«ЦИТадель» объединяет материалы о том, как устроены современные вычислительные системы и почему они устроены именно так. Их общий принцип — объяснять устойчивые идеи, а не пересказывать документацию, разбирать преимущества, издержки и ограничения инженерных решений и показывать, в каких случаях они действительно нужны.

Обзорные статьи дают карту области, курсы последовательно излагают теорию, а тематические статьи развивают отдельные инженерные вопросы. Многие материалы завершаются практикумом, который можно выполнить на одной машине. Перекрёстные ссылки связывают материалы между собой. В тематических списках новые публикации идут первыми, а для связных циклов на странице раздела отдельно указан маршрут последовательного чтения.

Автор проекта — Елена Кузнецова, главный редактор CITForum.ru

Искусственный интеллект — новый раздел

• Технологии искусственного интеллекта: карта области — основные направления современного ИИ: от классического машинного обучения и нейронных сетей до языковых моделей, компьютерного зрения, речевых технологий и обучения с подкреплением.
• Учебник «Большие языковые модели» — от токенизации и архитектуры трансформера до RAG, агентов, дообучения, оценки качества, локального запуска, безопасности и экономики.
• Современные LLM: обзор моделей — датированный и проверяемый срез коммерческих API, моделей с открытыми весами, российских платформ и вариантов размещения; критерии выбора и прикладного сравнения кандидатов.
• Классическое машинное обучение: практическое введение — полный рабочий цикл ML: постановка задачи, подготовка данных, выбор алгоритма, валидация, метрики, эксплуатация и дрейф.
• Градиентный бустинг для табличных данных — устройство метода, сравнение XGBoost, LightGBM и CatBoost, воспроизводимый практикум, интерпретация и границы применимости.
• Глоссарий — основные термины современного ИИ с английскими эквивалентами и перекрёстными ссылками.

Квантовые вычисления — новый раздел

• Квантовые вычисления: обзор — карта предмета за одно чтение.
• Глоссарий квантовых вычислений — словарь предмета с точными определениями.
• Квантовые вычисления: курс — 14 глав в четырёх частях, 6 лабораторных (Qiskit, OpenSSL): от линейной алгебры и кубита через алгоритмы Шора и Гровера к железу, коррекции ошибок и постквантовой криптографии — с итоговой лабораторной по миграции TLS на постквантовые алгоритмы.

Инфраструктура: Распределённые системы

• Распределённые системы: обзор — почему это трудно, CAP и спектр согласованности, репликация, консенсус, шардирование — и когда распределяться не следует.
• Надёжность поверх ненадёжной сети — практическое руководство: тайм-ауты, повторы, идемпотентность, деградация; офлайн-клиенты; практикум с tc netem.
• Распределённые системы: курс — 12 глав в четырёх частях, 5 лабораторных (PostgreSQL, etcd, Kafka): от моделей отказов и теорем невозможности через Raft и шардирование к тестированию в духе Jepsen и семинару по проектированию.

Инфраструктура: Сети и телекоммуникации

• TLS: как устроено защищённое соединение — гарантии и границы протокола, рукопожатие TLS 1.3, PKI, прямая секретность, 0-RTT и гибрид X25519MLKEM768.
• HTTP/2 и HTTP/3: эволюция протокола веба — мультиплексирование, блокировка начала очереди в TCP, устройство QUIC, миграция соединений и резервный переход на TCP.
• BGP: как маршрутизируется интернет — автономные системы, политика транзита и пиринга, выбор пути и наиболее длинного префикса, перехваты, RPKI и защита от утечек.

Инфраструктура: Серверы и службы

• Контейнеры: устройство и экосистема — три механизма ядра Linux вместо магии; практикум «контейнер голыми руками».
• Kubernetes: идея и устройство — желаемое состояние и циклы согласования; из одной идеи выводится всё.
• Наблюдаемость: метрики, логи, трассировки — «метрики — что болит, трассировки — где, логи — почему»; SLO и дисциплина алёртов.
• Инфраструктура как код — от серверов-снежинок к тексту как источнику истины; Terraform/Ansible, дрейф, GitOps.

Инфраструктура: Корпоративная инфраструктура

• Облака: устройство и модели — из чего сделано облако, зоны и регионы как домены отказа, лестница IaaS/PaaS/SaaS и экономика облачных решений.
• Облака на практике: выбор, миграция, экономика — привязка как кредит, возможности и ограничения мультиоблака, миграция без пожара, FinOps.
• Непрерывность и восстановление: RPO, RTO и как не потерять всё — цели RPO/RTO, копии 3-2-1-1-0, различие репликации и бэкапа, стратегии DR и измеряемые учения.

Разработка: Веб-технологии

• Как устроен браузер — конвейер рендеринга, один главный поток, JIT и правило одного источника.
• JSON и дизайн API — формат, готовая семантика HTTP, OpenAPI, эволюция без слома клиентов.
• Современный JavaScript и TypeScript — язык после 2015, асинхронность, система типов TypeScript, экосистема и её риски.
• Как устроен фронтенд-фреймворк — вендор-нейтрально об общем устройстве: интерфейс как функция состояния (та же идея желаемого состояния, что в Kubernetes), компоненты, виртуальный DOM против сигналов как два конца оси «пересчитать против точно знать», однонаправленный поток, цена гидратации — и когда фреймворк не нужен. Практикум: ядро реактивности в тридцать строк собственными руками.
• Веб-производительность — как разложить задержку на три вида затрат: последовательные ожидания сети, передаваемые байты и работу процессора; как измерять LCP, INP и CLS и удерживать результат бюджетами производительности. Практикум: зафиксировать базовую линию, разложить LCP, исследовать медленное действие и сдвиги, проверить два изменения и задать бюджет.

Разработка: Языки и парадигмы — цикл «Анатомия языков программирования»

• Как современные языки управляют памятью — «кто и когда доказывает, что значение больше не нужно»: от ручного управления до владения.
• Конкурентность в современных языках — четыре ответа на вопрос об изменяемых данных; async/await как отдельная ось.
• Как современные языки обращаются с ошибками — отказ против дефекта; исключения, значения, Option, паника и переборки.
• Системы типов: что доказывает компилятор — всеобщность вместо примеров: вывод и постепенная типизация, имя против формы, непредставимые состояния, параметричность — и почему индустрия движется к типам.

Разработка: Архитектура и проектирование

• Монолит и микросервисы: цена границы — модульность против распределённости; что покупает сетевая граница и чем оплачивается, закон Конвея как двигатель темы, распределённый монолит и порядок решения от модульного монолита к выделению по причине.

Разработка: Программная инженерия

• Разработка с ИИ-ассистентами: организация работы команды — взгляд руководителя: узкие места, инверсия экономики качества, перестройка ворот, новая лестница ученичества.
• Инженерный конвейер: от коммита до продакшена — дисциплина маленьких партий: CI, ревью, канарейки по метрикам; почему скорость и надёжность — спутники.

Разработка: Качество и тестирование

• Тестирование сегодня: чему верят тесты — зелёный прогон как утверждение о программе: лестница силы от примера к свойству, модели и типу; поведение против реализации и хрупкость как диагноз; пирамида как экономика, контракты вместо застывших гипотез о чужих сервисах; слепые зоны — конкурентность, время, недетерминизм; мутационное тестирование против культа покрытия — и роль тестов в эпоху генерации кода. Практикум: аудит собственного набора, от свойства с усушкой контрпримеров до выживших мутантов.

Разработка: Компьютерная графика

• GPU и графический конвейер: от треугольника до кадра — машина пропускной способности против машины задержки, конвейер от вершин до пикселей, шейдеры, память как настоящий предел — и почему железо для пикселей стало фундаментом искусственного интеллекта.

Безопасность: Информационная безопасность

• Модель угроз: как думать о безопасности — четыре вопроса, соразмерность и экономика атакующего, поверхность атаки, границы доверия и наименьшие привилегии, глубина обороны.

Безопасность: Криптография

• Криптография с полки: что брать готовым и почему не изобретать — выбрать правильный примитив и не испортить применением: хэши и MAC, аутентифицированное шифрование, асимметрика и подписи, управление ключами как главная трудность.

Безопасность: Безопасность ПО

• Цепочка поставок ПО: доверие к чужому коду — транзитивное исполняемое доверие, приёмы атак, гигиена зависимостей, сборка как цель, подписи и SBOM.
• Аутентификация и авторизация: кто ты и что тебе можно — три фактора, хранение паролей, passkeys, сессии и токены, OAuth против OIDC, правила авторизации.
• Веб-безопасность для разработчика — данные как код и путаница границ доверия: инъекции, XSS, CSP, CSRF, атрибуты кук.