Odin Loch, fundador da Imortek
Odin Loch Sydney, Austrália
Sobre

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.

Atua comoImortek
Emprego principalFerramenteiro
Repositórios15
Licença Pública Geral Affero do GNUAGPL-3.0+
Nas minhas palavras

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.

O que isto é

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.

O padrão
  • 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.
Por que o nome

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.

O trabalho

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.

Contato

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 licenciamento

Bugs e contribuições

Issues e pull requests no repositório correspondente. A bio do perfil pede commits, e é sério.

GitHub

Imprensa 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ção

Os 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 é .