Полномочия определяются тем, чем вы владеете, а не тем, кто вы: архитектура безопасности на основе мандатов (Capability-Based Security)
Категории
74 страницы
Информатика
Полный разбор проблемы P против NP: вершина теории сложности вычислений и неразрешенная бездна
Теорема о четырёх красках и революция в вычислительной математике: 100-летняя задача и философия машинного доказательства
Теория типов и изоморфизм Карри-Ховарда: Глубокая гармония между Суждениями=Типами и Доказательствами=Программами
Основы квантовых вычислений: квантовая суперпозиция и алгоритм Шора
Математика криптографии с открытым ключом: от RSA к криптографии на эллиптических кривых (ECC)
Блокчейн и алгоритмы консенсуса
История эволюции сборки мусора (GC)
Технологии оптимизации компилятора: Что такое SSA (Static Single Assignment)
Устойчивость к коллизиям хеш-функций и SHA-3 (Keccak)
Философия MapReduce: Распределенная обработка, с помощью которой Google изменил мир
Цена переключения контекста и асинхронная обработка (async/await)
B-деревья и B+ деревья: почему индексы баз данных такие быстрые
Вероятностные структуры данных: Фильтр Блума и HyperLogLog
Движок регулярных выражений и конечные автоматы
Динамическое программирование (ДП) и уравнение Беллмана
Теорема CAP и PACELC: Дилемма распределенных баз данных
История криптографии: от битвы за 'Энигму' до создания криптографии с открытым ключом (RSA)
Начало теории графов: математика уникурсального рисования мостов Кёнигсберга
Теорема о распределении простых чисел: Прекрасная закономерность, скрытая в кажущемся случайным распределении простых чисел
