Если пока мы существуем — смерти еще нет, а когда смерть приходит — нас уже нет, то почему мы так боимся умереть? Строгий аналитический разбор метафизики и этики смерти: от аргумента отсутствия опыта Эпикура и зеркала Лукреция до теории лишения Томаса Нагеля, смещения к будущему Дерека Парфита и скуки бессмертия Бернарда Уильямса.
От длины кратчайшей программы, несжимаемости и случайности по Мартин-Лёфу до теоремы об инвариантности, парадокса Берри, невычислимости, константы Хайтина Ω, энтропии Шеннона и современных языковых моделей (LLM).
От Антикитерского механизма, приливной машины лорда Кельвина и дифференциального анализатора Ванневара Буша до интеграторов на операционных усилителях (ОУ), метода обратной связи Кельвина, предела теплового шума Джонсона — Найквиста и современного возрождения аналоговых вычислений в памяти (мемристоры) и фотонике для ИИ.
От проблемы индукции Юма и критерия фальсифицируемости Карла Поппера до тезиса Дюэма — Куайна, парадигм Томаса Куна, научно-исследовательских программ Имре Лакатоса и современного кризиса воспроизводимости.
Глубокое исследование физики молнии: безындукционное разделение зарядов при столкновении крупы и кристаллов льда, температура инверсии, лавины релятивистских убегающих электронов (RREA), фрактальное ветвление ступенчатого лидера (DBM), обратный удар с температурой 30 000 К, ударные волны грома, спрайты и порождающие антиматерию земные гамма-вспышки (TGF).
От побитового исключающего ИЛИ (XOR, ним-суммы) и строгого доказательства выигрышных (N) и проигрышных (P) позиций до функции mex, чисел Гранди, теоремы Шпрага — Гранди и поддавков (Misère Play).
От грозовой ночи Бартона Миллера в Висконсине в 1988 году до AFL/AFL++, LibFuzzer, теневой памяти AddressSanitizer (ASan) и дельта-отладки (ddmin) Андреаса Целлера — глубокий разбор того, как компиляторная инструментация рёбер, 64 КБ битовая карта в L1-кэше, forkserver и санитайзеры автоматически находят уязвимости.
Как детерминированные компьютеры генерируют случайные числа и почему наблюдение всего 624 выходов вихря Мерсенна (MT19937) позволяет на 100% предсказать все будущие и прошлые числа? Полное руководство: ГПСЧ против ГСЧ, линейные конгруэнтные генераторы (LCG) и катастрофа 15 плоскостей IBM RANDU, MT19937, PCG64, Xoshiro256++, теорема Яо, криптостойкие КГПСЧ (ChaCha20, AES-CTR_DRBG, бэкдор АНБ Dual_EC_DRBG), тепловой шум, мин-энтропия и уязвимость Debian OpenSSL.
От книги Дерека Парфита «Резоны и лица» (1984), тезиса о временной зависимости и эссенциализма происхождения до парадокса истощения ресурсов и пяти философских решений в климатической этике и генной инженерии.
Фундаментальное исследование философии математики: бесконечность простых чисел и множество Мандельброта — объективное открытие или изобретение человека? Платонизм и дилеммы Бенасеррафа, логицизм и парадокс Рассела, формализм Гильберта и теоремы Гёделя о неполноте, интуиционизм и изоморфизм Карри — Ховарда, структурализм, фикционализм и «непостижимая эффективность» Вигнера.
От открытия Кантором мощности континуума до строгого построения кривых Пеано и Гильберта, доказательств равномерной сходимости, сюръективности, 1/2-гёльдеровости и нигде не дифференцируемости, топологической и хаусдорфовой размерности, а также приложений Google S2 и Hilbert R-Tree.
Строгий физический и биофизический обзор оптических пинцетов: от радиационного давления Максвелла и прорывов Артура Эшкина (1970–1986) до градиентной и рассеивающей сил Рэлея, динамики Ланжевена броуновского движения, калибровки пиконьютонных сил, упругости ДНК и молекулярных моторов кинезина.
Почему декомпиляцию машинного бинарного файла (.exe или ELF) обратно в исходный код на C/C++ сравнивают с попыткой «сделать из омлета сырое яйцо в скорлупе»? Технический разбор линейного и рекурсивного дизассемблирования, подъёма в промежуточное представление (IR) и SSA-форму, вывода типов на решётках, структурирования графа потока управления без goto (DREAM), обфускации (OLLVM/VMProtect) и нейросетевых LLM-декомпиляторов.
Фундаментальный академический обзор оптических метаматериалов, отрицательного показателя преломления, суперлинз и трансформационной оптики: от предсказаний В. Г. Веселаго (1968) и разомкнутых кольцевых резонаторов Пендри до пределов причинности Крамерса — Кронига и диэлектрических метаповерхностей.
От первого президентского вето Джорджа Вашингтона в 1792 году до теоремы о невозможности Балинского — Янга (1982): парадоксы Алабамы, населения и новых штатов, а также методы делителей (Джефферсона/Д’Ондта, Адамса, Вебстера/Сент-Лагю, Хантингтона — Хилла).
Фундаментальный анализ «Отвратительного вывода» и парадокса простого добавления Дерека Парфита («Причины и лица»): тотальный и средний утилитаризм, критический уровень, садистский вывод, проблема неидентичности и теорема о невозможности Аррениуса.
От стремления к нулю объема многомерного единичного шара и парадокса углов гиперкуба до концентрации меры в тонкой оболочке и на экваторе, ортогональности случайных векторов, проклятия размерности и леммы Джонсона — Линденштрауса.
Глубокий технический разбор согласованности систем хранения при сбоях (Crash Consistency): почему добавление одного блока 4 КБ требует нескольких неатомарных записей на диск, переупорядочивание в страничном кэше ОС и FTL SSD, пределы fsck и Soft Updates, журналирование Write-Ahead Logging (WAL) и алгоритм ARIES, режимы ext4, деревья Меркла Copy-on-Write (ZFS/Btrfs) и ловушки fsync().
Почему два потока, выполняющие x = 1; r1 = y; и y = 1; r2 = x;, могут выдать математически невозможный результат r1 == 0 && r2 == 0? Фундаментальный разбор последовательной консистентности Лампорта, буферов записи CPU (Store Buffers), протокола MESI, очередей инвалидации, переупорядочивания компилятором, теоремы DRF-SC, отношения Happens-Before, синхронизации Acquire-Release и барьеров памяти (MFENCE, DMB, LDAR/STLR).
Почему бусинка без трения скатывается по циклоиде быстрее, чем по прямой? От вызова Иоганна Бернулли 1696 года и ночного решения Ньютона до оптической аналогии Ферма, уравнения Эйлера — Лагранжа и таутохроны Гюйгенса.
