Защищённые системы.
Собственный ИИ.
Честная инженерия.
Imortek делает специализированное ПО для организаций, чьи задачи не решаются обычными инструментами — в безопасности, обороне, госсекторе и науке. Операционная система для техники, которую нельзя быстро обновить. Декомпилятор для двоичных файлов, исходников к которым нет. Архитектура искусственного интеллекта (ИИ), выведенная из первых принципов, а не надстроенная над чужой моделью. Каждое утверждение на этом сайте подкреплено тестом, замером или честной пометкой о том, что пока не работает.
github.com/odin-loki
соединение…ParanoidBSD
Укреплённая Berkeley Software Distribution (BSD), переписанная на C++23, с ядром на возможностях и дескрипторах поверх того, что уже поставляет HardenedBSD — и KDE Plasma 6 на рабочем столе.
Почти все операционные системы до сих пор стоят на C — языке без безопасности памяти. PBSD берёт HardenedBSD 15-STABLE как спецификацию поведения и переносит его, файл за файлом, в модули C++23 — а затем добавляет ядро безопасности, где к каждому ресурсу обращаются через неподделываемый дескриптор, а не через окружающее глобальное пространство имён.
- Перенесено точно, а не “улучшено”. Дерево HardenedBSD — это спецификация. Ошибки переносятся тоже, пока изменение не записано отдельно.
- Ничего не сделано, пока не проверено. Скомпилировалось — ещё не проверено. Ни один файл не проходит без дифференциальной проверки или проверки промежуточного представления (IR).
- Сначала детерминированные инструменты. Проходы безопасной переработки выполняются раньше, чем к коду прикоснётся модель — и модель никогда не подтверждает сама себя.
- Ядерный C++ без стандартной библиотеки.
-fno-exceptions -fno-rtti, с документированным двоичным интерфейсом приложений (ABI) ядра.
Иллюстративная реконструкция вывода движка миграции. Настоящие журналы лежат в docs/migration/.
Семь систем, один инженерный стандарт
Каждая из них — настоящий репозиторий с настоящими тестами. На каждой странице ниже есть работающая интерактивная демонстрация идеи, которая за ней стоит — прямо в браузере, без установки и без регистрации.
ParanoidBSD
C · C++23 · операционная системаHardenedBSD 15-STABLE, перенесённая в модули C++23, с ядром безопасности на возможностях и дескрипторах и KDE Plasma 6. Интерактив: проведите системный вызов через ядро.
Открыть PBSDCypha
C++ · архитектура ИИОдин тип, который классифицирует, делает регрессию, сэмплирует скрытые состояния и порождает токены. Выведен из MDL-приоров, естественного градиента и информационного бутылочного горлышка. Интерактив: обучите классификатор кликами.
Открыть CyphaRetDec Imortek
C++ · декомпиляторВосстанавливает алгоритмы, криптографические примитивы, схемы параллелизма и форматы сериализации — не просто псевдокод. Интерфейс на Qt 6, опциональное офлайн-уточнение нейросетью. Интерактив: превратите байты в названный алгоритм.
Открыть RetDec ImortekMathScript
C++23 · компьютерная алгебраЛинейная алгебра, специальные функции, ОДУ/УрЧП/МКЭ/CFD, оптимизация, обработка сигналов и символьная CAS — с собственными LU/QR/SVD, без Eigen и без OpenBLAS. Интерактив: стройте график и дифференцируйте вживую.
Открыть MathScriptAEGIS
Rust · анонимный транспортСкрывает, кто с кем говорит, когда и сколько — от глобального пассивного наблюдателя. Mixnet на Sphinx с постоянной скоростью плюс настраиваемый объёмный канал. Интерактив: проведите корреляционную атаку сами.
Открыть AEGISSENTINEL
C++23 · Qt 6 · криминальная аналитикаМодели Пуассона и Хоукса, выявление серий через DBSCAN, очаги по KDE и географическое профилирование Россмо — каждая зацепка прослеживается до исходной записи. Интерактив: постройте поверхность очагов кликами.
Открыть SENTINELCell AI
Python · модель последовательностейДинамика разбиений на реакции-диффузии с хеббовской/BCM-пластичностью, работающей во время прямого прохода. Задокументировано честно, вместе с неудачами. Интерактив: запустите поле реакции-диффузии.
Открыть Cell AITRACE
C++23 · многоцелевое сопровождениеУстойчивая идентичность из разрозненных наблюдений — существование здесь вероятность, а не булево значение, поэтому трек переживает промежуток, в котором его никто не видит. Интерактивно: сам движок, на WebAssembly.
Открыть TRACEПолка исследований
Идеи · НИОКРКриптография, память на длинном контексте, фильтры сопровождения, теория колец над GF(2), полевые модели гравитации, твердосплавный инструмент, энергетическая макроэкономика. Полка, а не витрина продуктов — и подписана она именно так.
Посмотреть полкуСтандарт, сказанный прямо
У независимого софта есть проблема с доверием, и обычно заслуженная. Вот правила, которым репозитории действительно подчиняются — каждое можно проверить по исходникам.
Компилируется — ещё не готово
В PBSD ни один перенесённый файл не считается готовым, пока не пройдена дифференциальная проверка или сверка IR. В MathScript корректность — это 816 наборов CTest против зафиксированных эталонов. В Cypha доказательством служит совпадение с эталонами — а не цифра в рейтинге.
Модели закрывают пробелы, но ничего не удостоверяют
ИИ применяется там, где он это заслужил — перенести упрямые файлы, уточнить вывод декомпилятора — и всегда после детерминированных инструментов и до жёсткой проверки. Решают компиляция, санитайзеры, дифференциальные прогоны и сверка IR, а не модель.
Ограничения публикуются, а не прячутся
Перплексия Cell AI на порядки хуже трансформерной, и README об этом говорит. AEGIS прямо пишет, что выход в открытую сеть слабее и что задержка в несколько секунд заложена в конструкцию. F1 RetDec по алгоритмам без имён — 0,056, и он напечатан рядом с 1,000 для варианта с именами. В этом и смысл.
Измерение важнее интуиции
AEGIS строился по одному правилу: ничего не готово, пока это не подтвердит симуляция атаки. Интуиция относительно анализа трафика подводила снова и снова; стенд симуляции в sim/ — это книга доказательств за каждой численной величиной в спецификации.
Что двигалось последним
Взято из API GitHub в момент загрузки этой страницы. Если тихо — значит тихо — между вами и историей коммитов нет маркетингового слоя.
Недавние коммиты
загрузкаБесплатно почти для всех. Платно там, где на этом зарабатывают.
Всё, что публикует Imortek, доступно в исходниках под GNU Affero General Public License v3.0 или новее, плюс многоуровневая коммерческая лицензия для организаций, которым нужно держать свои изменения закрытыми.
- Бесплатно по AGPL-3.0+ для личного использования, благотворительных организаций, образования и любой организации с доходом менее 50 000 австралийских долларов (AUD) в год.
- Коммерческая лицензия выше этого порога, по уровням в зависимости от размера, без обязанности публиковать свои изменения.
- Каждый репозиторий в каталоге уже сегодня несёт эти условия — это не план, это то, что написано в файлах LICENSE.
/* In your about box, docs, or footer: */ "Powered by Ideas, developed by Odin Loch. Licensed under AGPL-3.0+."
По AGPL вы также обязаны вернуть свои изменения под той же двойной лицензией, а исследования, построенные на этом ПО, должны публиковаться с открытым кодом. Коммерческая лицензия снимает оба требования.
Kickstarter PBSD открыт
Перенос идёт. Сейчас ему нужны кредиты на ИИ и вычисления для проверки, чтобы довести дело до конца. Цель — 10 000 AUD, кампания по принципу «всё или ничего», и каждое допущение за этой цифрой разложено и настраивается прямо на странице кампании.