Olá — eu sou o Odin Loch
Eu construo sistemas operacionais, arquiteturas de Inteligência Artificial (IA), bibliotecas de matemática e ferramentas que descobrem o que um programa faz quando ninguém mais tem o código-fonte. Quase sempre à noite, de Sydney. Imortek é o nome sob o qual publico esse trabalho.
Eu tenho dois diplomas — software e ciências hospitalares — e hoje trabalho como ferramenteiro. Nada disso é a qualificação que as pessoas esperam para esse tipo de software, que é exatamente por isso que tudo o que eu publico é escrito para ser conferido, não para ser acreditado.
Por que eu trabalho assim
Gosto de toda engenharia e de todas as ciências, e nunca fui bom em ficar dentro de uma delas. É por isso que a prateleira tem um Berkeley Software Distribution (BSD) endurecido ao lado de um esquema de Criptografia Autenticada com Dados Associados (AEAD), ao lado de ferramentas de carbeto, ao lado de um artigo sobre como se mediria a riqueza nacional em megajoules. Não é estratégia. É o que de fato me interessa.
Trabalhar sozinho significa que ninguém confere o meu trabalho, então embuti a conferência no trabalho. O ParanoidBSD não marca um arquivo como portado até passar a verificação diferencial ou de Representação Intermediária (IR), porque sei perfeitamente bem que um arquivo que apenas compila não me disse nada. O MathScript devolve Result<T> em toda parte em vez de lançar exceções, porque eu queria os casos de falha visíveis no tipo e não descobertos às três da manhã. O AEGIS tem uma regra só — nada está pronto até uma simulação de ataque confirmar — porque a minha intuição sobre análise de tráfego errou repetidas vezes, e a simulação não.
O mesmo raciocínio explica as partes deste site que parecem argumentar contra mim. A perplexidade do Cell AI é quatro ordens de grandeza pior que a do Transformer Generativo Pré-treinado 2 (GPT-2), e isso está na página inicial dele. O descompilador recupera algoritmos com F1 de 0,056 em binários sem símbolos, ao lado do 1,000 que obtém com símbolos. O trabalho com o Padrão de Criptografia Avançada (AES) falhou, e está publicado como fracasso, com as estatísticas que mostram por quê. Se eu escondesse isso, você não teria como saber em quais dos meus outros números confiar.
O ParanoidBSD se descreve como “um sistema operacional seguro feito por um Esquizofrênico”. Essa frase é minha, sobre mim, e eu vou mantê-la. Ela não significa que a engenharia é pouco confiável — os controles sobre este trabalho são mais rígidos do que muito software comercial jamais vê, e estão escritos onde você pode ler. Significa que eu prefiro te dizer quem está construindo isto a deixar você descobrir depois.
Se você está decidindo se vai depender de alguma coisa disto: leia os testes, os registros de procedência e as limitações publicadas. São as partes construídas para serem conferidas, e elas vão te dizer muito mais do que eu consigo.
Uma oficina de engenharia, não uma startup
Não há equipe, não há financiamento, não há dinheiro de investidor para gastar e não há plano de crescimento. Há uma pessoa com um ofício, dois diplomas e uma quantidade incomum de tempo gasto com sistemas operacionais, criptografia, métodos numéricos e aprendizado de máquina.
Isso é uma fraqueza na maioria dos aspectos e uma força em um: nada aqui foi moldado pela necessidade de impressionar um investidor. O número de perplexidade que está quatro ordens de grandeza fora é publicado. O F1 de 0,056 do descompilador é impresso ao lado do 1,000. O esquema criptográfico diz “protótipo, não para produção” na própria primeira página, porque é isso mesmo.
O software é real e os testes são reais. Onde alguma coisa não foi verificada, a página diz isso, no mesmo tamanho de letra que todo o resto.
- Compilar não é verificar. Um arquivo que compila ainda não mostrou que funciona.
- Os modelos nunca certificam a si mesmos. Eles propõem; as ferramentas determinísticas dispõem.
- As limitações vão na primeira página. Não numa nota de rodapé, não num apêndice.
- A medição vence a intuição. Principalmente quando a intuição está confiante.
- Um resultado negativo é um resultado. O trabalho com AES falhou, foi documentado direito, e está publicado como fracasso.
Imortek, e a frase do Esquizofrênico
O repositório do ParanoidBSD se descreve como “um Sistema Operacional seguro feito por um Esquizofrênico”. Essa é a frase do próprio autor sobre si mesmo, e ela fica porque é dele para dizer e porque é mais honesta que a alternativa.
Vale dizer sem rodeios o que ela significa e o que não significa aqui. Não significa que a engenharia é pouco confiável — os controles de verificação sobre este trabalho são mais rígidos do que a maior parte do software comercial jamais vê, e existem por escrito onde qualquer um pode conferir. O que ela significa é que aqui há uma pessoa construindo em público, com o próprio nome, com as próprias condições declaradas em vez de escondidas.
Se você está avaliando se vai depender deste software, avalie os testes, os registros de procedência e as limitações publicadas. São as partes projetadas para serem conferidas, e elas vão te dizer muito mais do que qualquer biografia.
Sete produtos, quarenta e seis áreas de pesquisa
ParanoidBSD
HardenedBSD 15-STABLE para C++23, com um núcleo de capacidades e descritores.
Cypha
Uma arquitetura de IA a partir de princípios básicos. Classificar, fazer regressão, amostrar, gerar.
RetDec Imortek
Um descompilador que recupera algoritmos, não só pseudocódigo.
MathScript
Álgebra computacional e numérica em C++23, com Sub-rotinas Básicas de Álgebra Linear (BLAS) e Pacote de Álgebra Linear (LAPACK) próprios na árvore.
AEGIS
Transporte que esconde metadados para consórcios com permissão.
SENTINEL
Análise criminal com procedência completa em cada pista.
Cell AI
Um modelo de sequência não-transformer, publicado como um diário de pesquisa honesto.
A prateleira de pesquisa
Quarenta e seis áreas, do projeto de AEAD ao ferramental de carboneto, cada uma com o seu nível de evidência declarado.
Kickstarter do PBSD
No ar até 12 de novembro de 2026. Financiando a computação que termina o porte.
Como falar com a Imortek
Licenciamento comercial
Diga o que você quer usar e mais ou menos o tamanho da sua organização. Você recebe um número, não uma reunião de sondagem.
Escrever sobre licenciamentoBugs e contribuições
Issues e pull requests no repositório correspondente. A bio do perfil pede commits, e é sério.
GitHubImprensa e o Kickstarter
A campanha está no ar até 12 de novembro de 2026. Pergunte o que quiser sobre o porte, o modelo de orçamento ou os controles de verificação.
Divulgação de segurança
Avise em privado por e-mail primeiro. O ARIA em especial é um protótipo não auditado e é publicado para ser atacado.
Enviar uma divulgaçãoOs endereços de e-mail deste site são montados por script para tornar a raspagem marginalmente menos conveniente. Se nada acontecer quando você clicar, o endereço é .