Sistemas seguros.
IA original.
Ingeniería honesta.
Imortek crea software especializado para organizaciones cuyos problemas no resuelven las herramientas corrientes — en seguridad, defensa, gobierno e investigación. Un sistema operativo para equipos que no se pueden parchear deprisa. Un descompilador para binarios de los que nadie tiene el código fuente. Una arquitectura de inteligencia artificial (IA) derivada de primeros principios, no un envoltorio sobre el modelo de otro. Cada afirmación de este sitio se apoya en una prueba, un benchmark o una nota honesta sobre lo que todavía no funciona.
github.com/odin-loki
conectando…ParanoidBSD
Una Distribución de Software de Berkeley (BSD) endurecida, reescrita en C++23, con un núcleo de capacidades y descriptores encima de lo que HardenedBSD ya trae — y KDE Plasma 6 en el escritorio.
Casi todos los sistemas operativos siguen apoyados en C, un lenguaje sin seguridad de memoria. PBSD toma HardenedBSD 15-STABLE como especificación de comportamiento y lo porta, archivo por archivo, a módulos de C++23 — y luego añade un núcleo de seguridad donde cada recurso se alcanza por un descriptor infalsificable y no por un espacio de nombres global ambiental.
- Portado con fidelidad, no “mejorado”. El árbol de HardenedBSD es la especificación. Los fallos también se portan, hasta que un cambio se registra aparte.
- Nada está hecho hasta que está verificado. Que solo compile es estar sin verificar. La verificación diferencial o de representación intermedia (IR) controla cada archivo.
- Primero las herramientas deterministas. Las pasadas de reescritura segura se ejecutan antes de que un modelo toque el código — y el modelo nunca se certifica a sí mismo.
- C++ de kernel independiente.
-fno-exceptions -fno-rtti, con una interfaz binaria de aplicación (ABI) de kernel documentada.
Reconstrucción ilustrativa de la salida del motor de migración. Los registros reales están en docs/migration/.
Siete sistemas, un solo estándar de ingeniería
Cada uno es un repositorio real con pruebas reales. Cada página de abajo lleva una demostración interactiva y funcional de la idea que hay debajo — corriendo en tu navegador, sin instalar nada y sin registrarse.
ParanoidBSD
C · C++23 · sistema operativoHardenedBSD 15-STABLE portado a módulos de C++23 con un núcleo de seguridad por capacidades y descriptores, y KDE Plasma 6. Interactivo: sigue una llamada al sistema a través del núcleo.
Abrir PBSDCypha
C++ · arquitectura de IAUn solo tipo que clasifica, hace regresión, muestrea latentes y genera tokens. Derivado de priores MDL, gradiente natural y el cuello de botella de información. Interactivo: entrena un clasificador en vivo haciendo clic.
Abrir CyphaRetDec Imortek
C++ · descompiladorRecupera algoritmos, primitivas criptográficas, patrones de concurrencia y formatos de serialización — no solo pseudocódigo. Interfaz Qt 6, refinamiento neuronal opcional sin conexión. Interactivo: convierte bytes en un algoritmo con nombre.
Abrir RetDec ImortekMathScript
C++23 · álgebra computacionalÁlgebra lineal, funciones especiales, EDO/EDP/FEM/CFD, optimización, procesamiento de señales y un CAS simbólico — con LU/QR/SVD propios, sin Eigen y sin OpenBLAS. Interactivo: traza y deriva en vivo.
Abrir MathScriptAEGIS
Rust · transporte anónimoOculta quién habla con quién, cuándo y cuánto — frente a un adversario pasivo global. Mixnet Sphinx de tasa constante más un plano de volumen ajustable. Interactivo: ejecuta tú mismo el ataque de correlación.
Abrir AEGISSENTINEL
C++23 · Qt 6 · análisis criminalModelos de Poisson y Hawkes, detección de series con DBSCAN, focos por KDE y perfilado geográfico de Rossmo — cada pista rastreable hasta su registro de origen. Interactivo: construye una superficie de focos a golpe de clic.
Abrir SENTINELCell AI
Python · modelo de secuenciasDinámica de particiones por reacción-difusión con plasticidad Hebbiana/BCM ejecutándose durante el paso hacia adelante. Documentado con honestidad, fracasos incluidos. Interactivo: pon en marcha el campo de reacción-difusión.
Abrir Cell AITRACE
C++23 · seguimiento multiobjetivoIdentidad persistente a partir de avistamientos dispersos — la existencia es una probabilidad, no un booleano, así que una traza sobrevive al hueco en el que nada puede verla. Interactivo: el propio motor, en WebAssembly.
Abrir TRACELa estantería de investigación
Ideas · I+DCriptografía, memoria de contexto largo, filtros de seguimiento, teoría de anillos sobre GF(2), modelos de gravedad de campo, herramientas de carburo, macroeconomía de la energía. Una estantería, no un catálogo de productos — y así está etiquetada.
Explorar la estanteríaEl estándar, dicho sin rodeos
El software independiente tiene un problema de credibilidad, y normalmente se lo ha ganado. Estas son las reglas a las que se someten de verdad los repositorios — puedes comprobar cada una contra el código.
Que compile no es estar terminado
En PBSD ningún archivo portado cuenta como terminado hasta que pasa la verificación diferencial o de IR. En MathScript, la corrección son 816 suites de CTest contra valores de referencia versionados. En Cypha, la prueba es la paridad con los valores de referencia — no una cifra en una tabla de clasificación.
Los modelos rellenan huecos; nunca certifican
La IA se usa donde se gana su sitio — portar archivos que se resisten, refinar la salida del descompilador — y siempre va después de las herramientas deterministas y antes de un control estricto. Deciden las comprobaciones de compilación, los sanitizadores, las ejecuciones diferenciales y la comparación de IR, no el modelo.
Las limitaciones se publican, no se esconden
La perplejidad de Cell AI es órdenes de magnitud peor que la de un transformer, y su README lo dice. AEGIS declara que la salida a la red abierta es más débil y que una latencia de varios segundos es inherente. El F1 de algoritmos sin nombres de RetDec es 0,056, impreso junto a la cifra de 1,000 con nombres. De eso se trata.
Medir vence a intuir
AEGIS se construyó con una sola regla: nada está hecho hasta que una simulación de ataque lo confirma. La intuición sobre el análisis de tráfico falló una y otra vez durante el desarrollo; el banco de simulación en sim/ es el libro de pruebas detrás de cada cifra de la especificación.
Lo que se ha movido hace menos
Traído de la API de GitHub al cargar esta página. Si hay silencio, hay silencio — no hay ninguna capa de marketing entre tú y el historial de commits.
Envíos recientes
cargandoGratis para casi todo el mundo. De pago donde se cobra.
Todo lo que publica Imortek tiene el código disponible bajo la Licencia Pública General Affero de GNU v3.0 o posterior, con una licencia comercial escalonada para organizaciones que necesiten mantener privadas sus modificaciones.
- Gratis bajo AGPL-3.0+ para uso personal, entidades benéficas, educación y cualquier organización que ingrese menos de 50.000 dólares australianos (AUD) al año.
- Licencia comercial por encima de ese umbral, escalonada por tamaño y sin obligación de publicar tus modificaciones.
- Todos los repositorios del catálogo llevan hoy estos términos — no es un plan, es lo que dicen los archivos LICENSE.
/* In your about box, docs, or footer: */ "Powered by Ideas, developed by Odin Loch. Licensed under AGPL-3.0+."
Bajo AGPL también debes compartir tus modificaciones con la misma licencia dual, y la investigación construida sobre el software debe publicarse como código abierto. La licencia comercial elimina ambas obligaciones.
El Kickstarter de PBSD está abierto
El port está en marcha. Lo que necesita ahora son los créditos de IA y el cómputo de verificación para terminarlo. El objetivo son 10.000 AUD, la campaña es todo o nada, y cada supuesto detrás de esa cifra está expuesto y es ajustable en la página de la campaña.