Я объясняю экспериментальные результаты проверки теоремы Белла супердетерминизмом. Далее я показываю, как такая Вселенная может возникнуть и быть совместимой с субъективным опытом свободы воли.
Как устроен этот мир, и в чем смысл жизни? Предопределена ли судьба, или мы имеем полный контроль над каждым поступком? Есть ли Бог? Эти вопросы будоражат философов испокон веков. Сравнительно недавно появилась красивая научная теория, способная все объяснить.
Предлагаю обсудить философскую тему. Что если представить нашу жизнь как взвешенный ориентированный ациклический граф? Визуализация графа приведена на рисунке:
Существует класс приложений реального времени, для которых тяжело предсказать потребности в распределении памяти во время выполнения статически. В этот класс входят, например, встраиваемые реализации стеков некоторых коммуникационных протоколов, где поведение и распределение ресурсов определяется отчасти активностью других агентов в сети. Классический подход в таких случаях заключается в использовании блочных менеджеров памяти, выделяющих фрагменты фиксированного размера (как это сделано, например, в LwIP). Этот подход накладывает нежелательные функциональные и качественные ограничения на реализацию. В этой заметке я предлагаю точку зрения, что традиционные (не блочные) аллокаторы незаслуженно обделены вниманием разработчиков систем реального времени, делюсь соображениями по релевантным вопросам, жалуюсь на жизнь, и предлагаю улучшить положение дел.
(КДПВ – см. аннотацию к диаграмме в конце)
Реальность сетевого инженера (с лапшой и… солью?)
В последнее время, обсуждая с инженерами разные инциденты, я заметил интересную закономерность.
В этих обсуждениях неизменно возникает вопрос «первопричины». Верные читатели наверняка знают, что у меня есть несколько мыслей по этому поводу. Во многих организациях анализ инцидентов полностью основан на этой концепции. Они используют разные техники выявления причинно-следственных связей, такие как «Пять почему». Эти методы предполагают так называемую «линейность событий» как неоспоримую догму.
Когда вы подвергаете сомнению эту идею и указываете на то, что в сложных системах линейность успокаивающе обманчива, то рождается увлекательная дискуссия. Спорщики страстно настаивают, что только знание «первопричины» позволяет понять происходящее.
Я заметил интересную закономерность: разработчики и девопсы по-разному реагируют на эту идею. По моему опыту, разработчики чаще утверждают, что первопричина имеет значение и что в событиях всегда можно установить причинно-следственные связи. С другой стороны, девопсы чаще соглашаются, что сложный мир не всегда подчиняется линейности.
Читать полностью »
Перевод статьи подготовлен специально для студентов курса «Разработчик С++».
Детерминированная сборка — это процесс сборки одного и того же исходного кода с одной и той же средой и инструкциями сборки, при котором создаются одни и те же двоичные файлы в любом случае, даже если они сделаны на разных машинах, в разных каталогах и с разными именами. Такие сборки также иногда называют воспроизводимыми или герметичными сборками, если гарантируется, что они будут создавать одни и те же двоичные файлы даже при компиляции из разных папок.Читать полностью »
В 1915 году Альберт Эйнштейн с помощью своих друзей разработал теорию гравитации, перевернувшую всё то, что мы считали самим фундаментом физической реальности. Мысль о том, что населяемое нами пространство не может быть совершенно описано евклидовой геометрией, была непостижимой; настолько, что философ Иммануил Кант, во многих смыслах радикальный мыслитель, заявил, что никакая теория физики не сможет с ней справиться.
Позже физик Вернер Гейзенберг указал на смысл ошибки Канта. Великий философ постулировал, что наше интуитивное понимание древней геометрии Евклида означало, что она была необходимым основанием физической реальности. На самом деле это оказалось неверным, поставив под вопрос всю философскую систему Канта.
Несмотря на радикальный разрыв с прошлыми представлениями о пространстве и времени, теории Эйнштейна вскоре соединились с идеями Ньютона как часть "классической физики". Человечество вынуждено было это сделать, потому что революция научной мысли оказалась столь глубокой, что создала яркий след в истории науки: разработку теории квантовой физики.
Что можно назвать научной революцией более глубокой, чем общая теория относительности? Что могло создать тектонический сдвиг, более мощный, чем идея о том, что сами пространство и время искривляются материей?
Читать полностью »
