Odin Loch, fundador de Imortek
Odin Loch Sídney, Australia
Sobre mí

Hola — soy Odin Loch

Construyo sistemas operativos, arquitecturas de inteligencia artificial (IA), bibliotecas matemáticas y herramientas que averiguan qué hace un programa cuando ya nadie tiene el código fuente. Sobre todo de noche, desde Sídney. Imortek es el nombre bajo el que publico ese trabajo.

Tengo dos diplomas — software y ciencias hospitalarias — y ahora mismo trabajo de matricero. Nada de eso es la titulación que la gente espera para este tipo de software, y justo por eso todo lo que publico está escrito para comprobarse, no para creerse.

Opera comoImortek
Empleo diarioMatricero
Repositorios15
Licencia Pública General Affero de GNUAGPL-3.0+
En mis propias palabras

Por qué trabajo así

Me gusta toda la ingeniería y todas las ciencias, y nunca se me ha dado bien quedarme dentro de una. Por eso la estantería tiene una Distribución de Software de Berkeley (BSD) endurecida junto a un esquema de cifrado autenticado con datos asociados (AEAD), junto a herramienta de carburo, junto a un artículo sobre cómo se mediría la riqueza nacional en megajulios. No es una estrategia. Es lo que de verdad me interesa.

Trabajar solo significa que nadie revisa mi trabajo, así que metí la revisión dentro del trabajo. ParanoidBSD no marca un archivo como portado hasta que pasa la verificación diferencial o de representación intermedia (IR), porque sé perfectamente que un archivo que solo compila no me ha dicho nada. MathScript devuelve Result<T> en todas partes en lugar de lanzar excepciones, porque quería los casos de fallo visibles en el tipo y no descubiertos a las tres de la mañana. AEGIS tiene una sola regla — nada está hecho hasta que una simulación de ataque lo confirma — porque mi intuición sobre el análisis de tráfico se equivocó una y otra vez, y la simulación no.

El mismo razonamiento explica las partes de este sitio que parecen argumentar en mi contra. La perplejidad de Cell AI es cuatro órdenes de magnitud peor que la del Transformador Generativo Preentrenado 2 (GPT-2) y eso está en su portada. El descompilador recupera algoritmos con F1 0,056 en binarios sin símbolos, junto al 1,000 que consigue con símbolos. El trabajo sobre el Estándar de Cifrado Avanzado (AES) fracasó, y se publica como fracaso con las estadísticas que muestran por qué. Si los ocultara, no tendrías forma de saber en cuáles de mis otras cifras confiar.

ParanoidBSD se describe a sí mismo como “un sistema operativo seguro hecho por un esquizofrénico”. Esa frase sobre mí mismo es mía y me la quedo. No significa que la ingeniería no sea fiable — los controles de este trabajo son más estrictos que los que llega a ver mucho software comercial, y están escritos donde puedes leerlos. Significa que prefiero decirte quién está construyendo esto a que lo descubras más tarde.

Si estás decidiendo si depender de algo de esto: lee las pruebas, los registros de procedencia y las limitaciones publicadas. Son las partes construidas para comprobarse, y te dirán mucho más de lo que yo puedo.

Qué es esto

Un taller de ingeniería, no una startup

No hay equipo, no hay financiación, no hay dinero de inversores que ir gastando y no hay plan de crecimiento. Hay una persona con un oficio, dos diplomas y una cantidad poco habitual de tiempo dedicado a sistemas operativos, criptografía, métodos numéricos y aprendizaje automático.

Eso es una debilidad en casi todos los aspectos y una fortaleza en uno: nada de aquí lo ha moldeado la necesidad de parecer impresionante ante un inversor. El número de perplejidad que se desvía cuatro órdenes de magnitud se publica. El F1 de 0,056 del descompilador se imprime al lado del 1,000. El esquema criptográfico dice “prototipo, no para producción” en su propia portada, porque lo es.

El software es real y las pruebas son reales. Donde algo no se ha verificado, la página lo dice, con el mismo tamaño de letra que todo lo demás.

El estándar
  • Que solo compile no es verificación. Que un archivo compile no demuestra que funcione.
  • Los modelos nunca se certifican a sí mismos. Ellos proponen; las herramientas deterministas disponen.
  • Las limitaciones van en la portada. No en una nota al pie, no en un apéndice.
  • La medición gana a la intuición. Sobre todo cuando la intuición está segura.
  • Un resultado negativo es un resultado. El trabajo sobre AES falló, se documentó como es debido y se publica como un fracaso.
Por qué el nombre

Imortek, y la frase del esquizofrénico

El repositorio de ParanoidBSD se describe a sí mismo como “un sistema operativo seguro hecho por un esquizofrénico”. Esa es la propia frase del autor sobre sí mismo, y se queda porque le corresponde a él decirla y porque es más honesta que la alternativa.

Conviene decir sin rodeos lo que significa y lo que no significa aquí. No significa que la ingeniería no sea fiable — los controles de verificación de este trabajo son más estrictos que los que llega a ver la mayoría del software comercial, y están por escrito donde cualquiera puede comprobarlos. Lo que sí significa es que esto es una persona construyendo en público, bajo su propio nombre, con sus propias condiciones declaradas en vez de escondidas.

Si estás valorando si depender de este software, valora las pruebas, los registros de procedencia y las limitaciones publicadas. Son las partes diseñadas para comprobarse, y te dirán mucho más que cualquier biografía.

El trabajo

Siete productos, cuarenta y seis áreas de investigación

ParanoidBSD

HardenedBSD 15-STABLE a C++23, con un núcleo de capacidades y descriptores.

Cypha

Una arquitectura de IA desde primeros principios. Clasificar, hacer regresión, muestrear, generar.

RetDec Imortek

Un descompilador que recupera algoritmos, no solo pseudocódigo.

MathScript

Álgebra computacional y numérica en C++23, con sus propios subprogramas básicos de álgebra lineal (BLAS) y paquete de álgebra lineal (LAPACK) en el árbol.

AEGIS

Transporte que oculta metadatos para consorcios con permisos.

SENTINEL

Analítica de delincuencia con procedencia completa en cada pista.

Cell AI

Un modelo de secuencia sin transformer, publicado como un registro de investigación honesto.

La estantería de investigación

Cuarenta y seis áreas, del diseño AEAD a la herramienta de carburo, cada una con su nivel de evidencia declarado.

Kickstarter de PBSD

En marcha hasta el 12 de noviembre de 2026. Financia el cómputo que termina el port.

Contacto

Cómo contactar con Imortek

Licencias comerciales

Cuéntanos qué quieres usar y más o menos qué tamaño tiene tu organización. Recibirás un número, no una llamada de descubrimiento.

Escribe sobre licencias

Fallos y contribuciones

Issues y pull requests en el repositorio correspondiente. La bio del perfil pide commits, y lo dice en serio.

GitHub

Prensa y el Kickstarter

La campaña está en marcha hasta el 12 de noviembre de 2026. Pregunta lo que quieras sobre el port, el modelo de presupuesto o los controles de verificación.

Divulgación de seguridad

Repórtalo primero en privado por correo. ARIA en particular es un prototipo sin auditar y se publica para que lo ataquen.

Envía una divulgación

Las direcciones de correo de este sitio las monta un script para hacer el scraping un poco menos cómodo. Si no pasa nada cuando haces clic, la dirección es .