Шедевр последних лет жизни Алана Тьюринга. Полный обзор удивительного механизма появления расцветок животных и геометрических узоров из уравнений реакции-диффузии, от линейного анализа устойчивости до численного моделирования на Python и новейшей молекулярной биологии.
Как Бор ответил на фразу «Бог не играет в кости»? Корпускулярно-волновой дуализм, неразделимость измерительного прибора и объекта, величайший поворотный момент научной мысли XX века.
Система виртуальной памяти, лежащая в основе современных ОС и процессоров. От 4-уровневого обхода таблиц страниц, кэша TLB и глубин страничных прерываний до алгоритмов освобождения памяти.
Тщательный разбор главной из задач тысячелетия — «P против NP». Полиномиальное время, теорема Кука-Левина, криптография и судьба оптимизации.
Чудо спустя 100 лет после предсказания Эйнштейна. Поразительная точность измерений LIGO/Virgo/KAGRA и будущее многоканальной астрономии.
Жидкий гелий, карабкающийся по стенам с нулевой вязкостью, фонтанный эффект, топология квантовых вихрей. Чудо КБЭ, где бозоны вырождаются в единую волновую функцию.
Всемирно известная теория, основанная Сюнъити Амари. Информационная метрика Фишера, геометризирующая пространства распределений вероятностей, метод естественного градиента и мост к машинному обучению.
История математики вокруг задачи о раскраске плоских карт. От ложного доказательства Кемпе до первого в истории компьютерного доказательства Аппеля и Хакена и переосмысления математической «красоты».
От элементарных частиц как «точек» к «струнам». Компактификация дополнительных измерений с помощью многообразий Калаби-Яу и современное состояние окончательной теории, объединяющей гравитацию и квантовую теорию.
Полное совпадение логических доказательств и компьютерных программ. Исчерпывающее руководство от интуиционистской логики и просто типизированного лямбда-исчисления до System F, зависимых типов и мира без багов, открываемого гомотопической теорией типов (HoTT).
Энтропия Бекенштейна, испарение через излучение Хокинга и столкновение теории суперструн с голографическим принципом вокруг потери информации.
Сжижение гелия и методы рефрижерации растворением, схемы защиты от квенча. Экстремальная инженерия сверхпроводящих магнитов, поддерживающих линейные поезда Chuo Shinkansen, МРТ и гигантские ускорители.
От теории волн материи до проектирования электромагнитных линз и корректоров сферической аберрации, открывших мир сверхвысокого разрешения, визуализирующего «одиночные атомы».
Ложь и правда стандарта ANSI. От Dirty Read до Write Skew, вершина MVCC через призму различий в реализации PostgreSQL и MySQL(InnoDB).
Решения с отрицательной энергией, предсказанные уравнением Дирака. Открытие позитрона, рождение и аннигиляция пар, и космология вопроса «почему осталась только материя».
Иерархический кэш L1/L2/L3, строки кэша, переходы состояний MESI, трагедия ложного разделения (False Sharing) и модели согласованности памяти.
Множество Мандельброта, парадокс береговой линии, дробная размерность между 1D и 2D. Порядок в природе, раскрытый геометрией и теорией меры.
От «Навсикаи из Долины ветров» до «Мальчика и птицы». Полное руководство в 8 главах по истории, анимационным технологиям и эволюции тем Студии Гибли, которой Япония гордится на весь мир.
Как работает крупнейшая инфраструктура в истории человечества? Подробный разбор истории, протоколов, физического уровня и связи будущего.
Суть Scrum, Kanban и Agile-манифеста разработки программного обеспечения.
