Здравствуйте — я Odin Loch

Мне нравится вся инженерия и все науки, и я никогда не умел оставаться внутри одной из них. Поэтому на полке укреплённая Berkeley Software Distribution (BSD) стоит рядом со схемой аутентифицированного шифрования со связанными данными (AEAD), рядом с твердосплавным инструментом, рядом со статьёй о том, как измерять национальное богатство в мегаджоулях. Это не стратегия. Это то, что мне на самом деле интересно.

Работать в одиночку — значит, что никто не проверяет мою работу, поэтому проверку я встроил в саму работу. ParanoidBSD не пометит файл как перенесённый, пока не пройдёт дифференциальная проверка или проверка промежуточного представления (IR), потому что я прекрасно знаю: файл, который просто компилируется, не сказал мне ничего. MathScript возвращает Result<T> вместо того чтобы бросать исключения, потому что я хотел, чтобы случаи отказа были видны в типе, а не обнаруживались в три часа ночи. У AEGIS одно правило — ничего не сделано, пока это не подтвердит симуляция атаки — потому что моя интуиция про анализ трафика ошибалась снова и снова, а симуляция нет.

Тем же рассуждением объясняются те части этого сайта, которые как будто спорят со мной. Перплексия Cell AI на четыре порядка хуже, чем у генеративного предобученного трансформера 2 (GPT-2), и это на его первой странице. Декомпилятор восстанавливает алгоритмы с F1 0,056 на очищенных бинарниках — рядом с 1,000, которую он получает с символами. Работа по улучшенному стандарту шифрования (AES) провалилась, и она опубликована как провал, со статистикой, которая показывает почему. Если бы я это прятал, у вас не было бы способа понять, каким другим моим цифрам верить.

ParanoidBSD описывает себя как “защищённую операционную систему, сделанную шизофреником”. Это моя собственная фраза о себе, и я её оставляю. Она не означает, что инженерия ненадёжна — барьеры в этой работе строже, чем многое коммерческое ПО видит за всю свою жизнь, и они записаны там, где вы можете их прочитать. Она означает, что я предпочитаю сам сказать вам, кто это строит, чем чтобы вы узнали потом.

Если вы решаете, полагаться ли на что-то из этого: читайте тесты, записи о происхождении и опубликованные ограничения. Это те части, которые сделаны, чтобы их проверяли, и они скажут вам гораздо больше, чем могу я.