Sistemas seguros.
IA original.
Engenharia honesta.
A Imortek faz software especializado para organizações cujos problemas as ferramentas comuns não resolvem — em segurança, defesa, governo e pesquisa. Um sistema operacional para equipamentos que não dá para corrigir rápido. Um descompilador para binários de que ninguém tem o código-fonte. Uma arquitetura de Inteligência Artificial (IA) derivada de princípios básicos, em vez de embrulhada no modelo de outra pessoa. Toda afirmação neste site é sustentada por um teste, um benchmark ou uma nota honesta sobre o que ainda não funciona.
github.com/odin-loki
conectando…ParanoidBSD
Um Berkeley Software Distribution (BSD) endurecido, reescrito em C++23, com um núcleo de capacidades e descritores por cima do que o HardenedBSD já entrega — e o KDE Plasma 6 na mesa.
O C, sem segurança de memória, ainda é o substrato de quase todo sistema operacional. O PBSD toma o HardenedBSD 15-STABLE como especificação de comportamento e o porta, arquivo por arquivo, para módulos de C++23 — e então acrescenta um núcleo de segurança em que cada recurso é alcançado por um descritor infalsificável, e não por um espaço de nomes global ambiente.
- Portado com fidelidade, não “melhorado”. A árvore do HardenedBSD é a especificação. Os bugs também são portados, até que uma mudança seja registrada à parte.
- Nada está pronto até estar verificado. Só compilar não é verificar. Cada arquivo passa pela verificação diferencial ou de Representação Intermediária (IR).
- Ferramentas determinísticas primeiro. As passagens de reescrita segura rodam antes que qualquer modelo toque no código — e o modelo nunca se autocertifica.
- C++ de kernel independente.
-fno-exceptions -fno-rtti, com uma Interface Binária de Aplicação (ABI) de kernel documentada.
Reconstrução ilustrativa da saída do motor de migração. Os registros reais ficam em docs/migration/.
Sete sistemas, um único padrão de engenharia
Cada um é um repositório real com testes reais. Cada página abaixo traz uma demonstração interativa e funcional da ideia por trás dela — rodando no seu navegador, sem instalar nada e sem cadastro.
ParanoidBSD
C · C++23 · sistema operacionalHardenedBSD 15-STABLE portado para módulos de C++23 com um núcleo de segurança por capacidades e descritores, e KDE Plasma 6. Interativo: acompanhe uma chamada de sistema atravessando o núcleo.
Abrir PBSDCypha
C++ · arquitetura de IAUm único tipo que classifica, faz regressão, amostra latentes e gera tokens. Derivado de priores MDL, gradiente natural e do gargalo de informação. Interativo: treine um classificador ao vivo clicando.
Abrir CyphaRetDec Imortek
C++ · descompiladorRecupera algoritmos, primitivas criptográficas, padrões de concorrência e formatos de serialização — não apenas pseudocódigo. Interface Qt 6, refinamento neural offline opcional. Interativo: transforme bytes em um algoritmo com nome.
Abrir RetDec ImortekMathScript
C++23 · álgebra computacionalÁlgebra linear, funções especiais, EDO/EDP/FEM/CFD, otimização, processamento de sinais e um CAS simbólico — com LU/QR/SVD próprios, sem Eigen e sem OpenBLAS. Interativo: plote e derive ao vivo.
Abrir MathScriptAEGIS
Rust · transporte anônimoEsconde quem fala com quem, quando e quanto — contra um adversário passivo global. Mixnet Sphinx de taxa constante mais um plano de volume ajustável. Interativo: execute você mesmo o ataque de correlação.
Abrir AEGISSENTINEL
C++23 · Qt 6 · análise criminalModelos de Poisson e Hawkes, detecção de séries com DBSCAN, focos por KDE e perfilamento geográfico de Rossmo — cada pista rastreável até seu registro de origem. Interativo: construa uma superfície de focos com cliques.
Abrir SENTINELCell AI
Python · modelo de sequênciasDinâmica de partições por reação-difusão com plasticidade hebbiana/BCM rodando durante a passagem para a frente. Documentado com honestidade, fracassos incluídos. Interativo: rode o campo de reação-difusão.
Abrir Cell AITRACE
C++23 · rastreamento multialvoIdentidade persistente a partir de avistamentos esparsos — a existência é uma probabilidade, não um booleano, por isso uma trajetória sobrevive ao intervalo em que nada consegue vê-la. Interativo: o próprio motor, em WebAssembly.
Abrir TRACEA prateleira de pesquisa
Ideias · P&DCriptografia, memória de contexto longo, filtros de rastreamento, teoria de anéis sobre GF(2), modelos de gravidade de campo, ferramentas de carbeto, macroeconomia da energia. Uma prateleira, não um catálogo de produtos — e rotulada como tal.
Explorar a prateleiraO padrão, dito sem rodeios
Software independente tem um problema de credibilidade, e em geral ele foi merecido. Estas são as regras a que os repositórios de fato se submetem — você pode conferir cada uma delas no código.
Compilar não é terminar
No PBSD, nenhum arquivo portado conta como pronto até passar na verificação diferencial ou de IR. No MathScript, correção são 816 suítes do CTest contra referências versionadas. No Cypha, a prova é a paridade com essas referências — não um número de ranking.
Modelos preenchem lacunas; nunca certificam
A IA é usada onde merece seu lugar — portar arquivos que resistem, refinar a saída do descompilador — e sempre depois das ferramentas determinísticas e antes de um controle rígido. Quem decide são as compilações, os sanitizers, as execuções diferenciais e a comparação de IR, não o modelo.
Limitações são publicadas, não enterradas
A perplexidade do Cell AI é ordens de magnitude pior que a de um transformer, e o README dele diz isso. O AEGIS declara que a saída em rede aberta é mais fraca e que uma latência de vários segundos é inerente. O F1 de algoritmos sem nomes do RetDec é 0,056, impresso ao lado do 1,000 obtido com nomes. É exatamente esse o ponto.
Medir vence intuir
O AEGIS foi construído com uma regra só: nada está pronto até uma simulação de ataque confirmar. A intuição sobre análise de tráfego errou repetidamente durante o desenvolvimento; a bancada de simulação em sim/ é o livro de provas por trás de cada número da especificação.
O que se mexeu mais recentemente
Puxado da API do GitHub quando você abriu esta página. Se está quieto, está quieto — não há camada de marketing entre você e o histórico de commits.
Envios recentes
carregandoGrátis para quase todo mundo. Pago onde há dinheiro.
Tudo o que a Imortek publica tem código disponível sob a Licença Pública Geral Affero do GNU v3.0 ou posterior, com uma licença comercial em faixas para organizações que precisem manter suas modificações privadas.
- Grátis sob AGPL-3.0+ para uso pessoal, entidades beneficentes, educação e qualquer organização que fature menos de 50.000 dólares australianos (AUD) por ano.
- Licença comercial acima desse limite, em faixas por tamanho, sem obrigação de publicar suas modificações.
- Todo repositório do catálogo carrega estes termos hoje — não é um plano, é o que dizem os arquivos LICENSE.
/* In your about box, docs, or footer: */ "Powered by Ideas, developed by Odin Loch. Licensed under AGPL-3.0+."
Sob a AGPL você também precisa devolver suas modificações sob a mesma licença dupla, e pesquisa construída sobre o software precisa ser publicada como código aberto. A licença comercial elimina as duas obrigações.
O Kickstarter do PBSD está aberto
O porte está andando. O que ele precisa agora são os créditos de IA e o poder de computação de verificação para terminar. A meta é AUD 10.000, a campanha é tudo ou nada, e cada premissa por trás desse número está exposta e é ajustável na página da campanha.