Esta página de pesquisa é publicada apenas em inglês. As páginas técnicas são traduzidas; os registros de afirmações não, porque uma afirmação mal traduzida é uma afirmação falsa.

A prateleira de pesquisa

Quarenta e seis pastas de trabalho em andamento

Isto é uma prateleira, não um catálogo de produtos. Parte é pesquisa com resultados, experimentos e números. Parte é documento de projeto. Parte é especulativa e diz isso no próprio README. Toda pasta agora tem um texto completo, tirado dos artigos originais e não dos READMEs das pastas, com cada afirmação listada ao lado da evidência por trás dela — inclusive as que relatam um resultado negativo. Tudo é publicado sob a Licença Pública Geral Affero do GNU (AGPL-3.0+), com termos comerciais ao lado.

46 textos completos 46 pastas no total 14 áreas AGPL-3.0+ / comercial
Leia isto antes. Linguagem no registro de defesa aparece em várias pastas como escolha de estilo. Ela não indica classificação real, material em campo, nem qualquer relação com governo. Muitos sistemas aqui continuam não construídos ou não validados, e os itens especulativos levam rótulos explícitos nos próprios arquivos README. Nada nesta prateleira foi verificado de forma independente.
Navegar

Filtrar a prateleira

46 de 46 exibidos

Gerador de ruído de 100 W

Documento de projeto
Eletrônica

Um único arquivo SystemVerilog supervisionando um núcleo analógico de circuito de Chua, uma cadeia de PA de quatro bandas, DAC de alimentação, ADC térmico e uma máquina de estados de proteção rígida abaixo de um microssegundo.

Texto completo →

Booleanas n = 3…8

Com resultados
Matemática

Um censo dimensão a dimensão do espaço de funções booleanas de três a oito variáveis, acompanhando a fração de funções genuinamente irredutíveis de cerca de um quarto até um teto praticamente absoluto.

Texto completo →

ARIA

Implementação de referência
Criptografia

Criptografia autenticada que deriva o nonce da mensagem e da chave de sessão em vez de transmiti-lo, tornando a deriva entre remetente e destinatário estruturalmente impossível.

Texto completo →

Ashby Optimiser

Com resultados
IA e aprendizado de máquina

N unidades de busca isoladas em raios espaçados geometricamente, escalonadas em rodízio, com reinícios homeostáticos na estagnação — comparadas honestamente com busca aleatória e com um (1+1)-ES.

Texto completo →

ARIA-INTEL

Implementação de referência
Rastreamento e sensores

Um rastreador PMBM de conjuntos finitos aleatórios com modelagem de padrão de vida, oito detectores de tradecraft e pontuação bayesiana de ameaça — 2.363 linhas, só NumPy e SciPy, 28 ms por varredura.

Texto completo →

Battle Sim

Especulativo
Defesa e segurança

Um levantamento curto de modelos matemáticos modernos de combate — salvas discretas no estilo Hughes, formulações estendidas de Lanchester, modelos de batalha com estados de Markov — com as equações e as ressalvas de cada um.

Texto completo →

Hemp Harmony

Documento de projeto
Química e produtos

Um cosmecêutico botânico de três fases com cada classe de ingrediente sustentada por evidência clínica, in vitro e etnobotânica revisada por pares, em vez de apenas afirmada.

Texto completo →

CPU

Especulativo
Arquitetura de computadores

Uma discussão de arquitetura heterogênea de muitos núcleos acompanhada de um esboço em SystemVerilog que leva primitivas de sistema operacional — troca de contexto, despacho de chamadas de sistema, tratamento de falta de página — para o hardware.

Texto completo →

Operação de bar

Implementação de referência
Química e produtos

Quatro bases de botânicos nativos guiando cada infusão, xarope e bitter do cardápio, com tempos explícitos, proporções de lote, pontos de controle de qualidade e ritmos de turno.

Texto completo →

Izaac · GRIA · NMP

Com resultados
Teoria da informação

Coordenação por PRF compartilhada, reversibilidade graduada e redes neurais tratadas como operadores de compressão mensuráveis — unificadas sob um único vocabulário da teoria da informação.

Texto completo →

Baterias de diamante

Especulativo
Materiais e engenharia

Quatro séries de projeto extrapolando a célula de diamante de carbono-14 de Bristol/UKAEA de 2024 para escala de concessionária, com o estoque de 400.000 toneladas de combustível usado como argumento de matéria-prima.

Texto completo →

UCDW

Documento de projeto
Materiais e engenharia

Migração eletroquímica de íons, difusão térmica e assistência ultrassônica combinadas em um substrato de líquido iônico, cobrindo de 77% a 99% da resistência do metal-base em cinco regimes de operação.

Texto completo →

Liberação depot

Especulativo
Química e produtos

Um manual de farmacotécnica de verdade — faixas de ajuste de PLGA, géis de inversão de fase, cinética de liberação de Higuchi, enquadramento ICH Q8 — junto com compostos inventados que a pasta sinaliza como ficção em cada página.

Texto completo →

EREM · SPX

Documento de projeto
Políticas públicas e economia

Duas linhas: reformular a riqueza nacional em unidades físicas de energia para quebrar a dependência circular das instituições monetárias, e cinco modelos convergindo para uma janela de 2028–2029 para um desmonte de gama.

Texto completo →

Babbage · Antikythera · TDC

Com resultados
Software e linguagens

A máquina diferencial de Babbage, a engrenagem epicíclica do mecanismo de Anticítera e o Torpedo Data Computer da Segunda Guerra — cada um reconstruído como algoritmo medido, e não como peça de museu.

Texto completo →

GH-SR-IMM

Com resultados
Rastreamento e sensores

Um rastreador multialvo de cauda pesada que desacopla a robustez a outliers do tratamento de manobras, relatando uma melhora média de 51,6% no GOSPA.

Texto completo →

Fungal Network Algorithm

Documento de projeto
IA e aprendizado de máquina

Uma rede auto-organizada bioinspirada em que arestas e pesos são consequência do histórico de entrada, e não o meio de armazenamento, crescendo e podando por regras puramente locais.

Texto completo →

Future C++

Especulativo
Software e linguagens

Uma longa conversa de projeto sobre uma linguagem compilada com sintaxe de C++ e garantias modernas — que abre argumentando que o C++ moderno já cobre a maior parte da lista de desejos, e então descobre o que sobra.

Texto completo →

Álgebra em GF(2)

Com resultados
Matemática

Da enumeração exaustiva das 16 operações binárias a polinômios de permutação, otimização de circuitos e portas lógicas diferenciáveis — incluindo um teorema de unicidade para o AND.

Texto completo →

HSA

Especulativo
Biologia e medicina

Um programa de modificação genética em três fases escrito como especulação de engenharia, com ressalvas de evidência em níveis, uma tabela cumulativa de eventos adversos e um aviso de abertura declarando que é apenas teórico e de construção de mundo.

Texto completo →

LCRP

Documento de projeto
Matemática

Um artigo de levantamento e arcabouço argumentando que um pequeno conjunto de mecanismos — dividir para conquistar, representação em árvore, limites da teoria da informação — explica a maioria das reduções de quadrático para log-linear em sete áreas.

Texto completo →

Protocolos Izaac

Documento de projeto
Teoria da informação

Um estado criptográfico compartilhado compacto σ funciona como um canal de difusão gratuito — e doze protocolos concretos, do consenso bizantino à privacidade diferencial coordenada, são derivados dessa única observação.

Texto completo →

UHPM

Com resultados
IA e aprendizado de máquina

Memória por hash sensível à localidade e codificação preditiva hierárquica unificadas sob um único funcional de energia livre, relatando uma aceleração de 289× na latência de consulta em relação à atenção completa com 100 mil tokens.

Texto completo →

Levantamento de matemática

Implementação de referência
Matemática

Um levantamento de nível de pesquisa que vai da teoria dos números à matemática financeira — teoria fundamental, resultados marcantes da última década, problemas em aberto e as conexões entre domínios.

Texto completo →

Modelando o AES

Com resultados
Criptografia

Um estudo em par atacando o AES-128 pelos dois lados com redes neurais, relatando que nenhum dos dois funciona — e quantificando exatamente o quanto cada um fica aquém.

Texto completo →

SGF · Algebraic Autopsy

Com resultados
IA e aprendizado de máquina

Toda técnica eficiente de aprendizado profundo reduzida a uma única primitiva — uma estatística suficiente online sobre uma variedade curva — mais um diagnóstico posterior que lê a álgebra implícita de uma rede treinada a partir dos pesos dela.

Texto completo →

Neural Decompiler

Implementação de referência
IA e aprendizado de máquina

Um Transformer codificador–decodificador com memória hierárquica e uma mistura de especialistas com balanceamento de carga, reformulando a recuperação de assembly para código-fonte como um problema de modelagem de sequências.

Texto completo →

NQD

Especulativo
Biologia e medicina

Sensores quânticos de nanodiamante à distância de um único neurônio, lidos opticamente por motes CMOS alimentados por ultrassom que retroespalham para um arranjo vestível — sem fios atravessando o crânio.

Texto completo →

Componentes híbridos

Implementação de referência
Eletrônica

Memristores, junções Josephson, GMR e elementos de mudança de fase simulados em seis fases — com uma autoauditoria que encontrou e publicou sete bugs no próprio arcabouço.

Texto completo →

NLFGN-UFT

Especulativo
Física

Um programa variacional de gravidade não local que mantém a mensagem causal a velocidades ≤ c, mais um ensaio argumentando que a recessão superluminal é uma divergência de interpretação, não uma falha do ΛCDM.

Texto completo →

AusDike™

Documento de projeto
Materiais e engenharia

Um painel de dique autolastrável de fundo aberto levado do conceito ao orçamento de ferramental — 28 simulações, uma parede governada por flambagem e um achado adverso que o programa não escondeu.

Texto completo →

Metapadrão dos primos

Com resultados
Matemática

Seis MLPs treinadas para classificar primos em cinco ordens de grandeza, interpretadas só a partir dos pesos — elas redescobrem a divisão por tentativa na malha 6k±1, e então perdem para ela por 30–80×.

Texto completo →

QDMP

Especulativo
Materiais e engenharia

Arranjos projetados de centros NV em uma rede de diamante metamaterial, propostos como um experimento mental estruturado — com sete barreiras científicas nomeadas e avaliadas contra a literatura atual.

Texto completo →

QGO

Implementação de referência
Matemática

Cinco camadas auditáveis — compressão espectral, codificação de Chebyshev, QAOA simulado, ordenação ponderada por ruído, elevação espectral de volta — cada uma com uma função de verificação nomeada e um termo de erro explícito.

Texto completo →

Portfólio de RNG

Com resultados
Criptografia

DAG de constantes transcendentes, LCG booleano, caos de atrator duplo e turbulência contrarrotativa — quatro geradores com modos de falha genuinamente diferentes, medidos separadamente.

Texto completo →

HX-70 GradePlex

Documento de projeto
Materiais e engenharia

Um substrato de carboneto com gradação funcional, uma pilha de revestimento de cinco camadas e uma cadeia de suprimentos da forja à máquina — mirando a lacuna entre onde os insertos convencionais falham e onde existem geometrias de CBN.

Texto completo →

USG

Com resultados
IA e aprendizado de máquina

Geradores que se mostram formar uma categoria matemática sob composição, com compressão de contexto baseada em hash que rompe o teto de explosão de estados que limitava os métodos de n-gramas e HMM a três ou cinco tokens.

Texto completo →

Escalonador estatístico

Com resultados
Software e linguagens

Equidade por uma variante estatística do CFS, qualidade de alocação por um bandido contextual, balanceamento de carga por um laço PID — com garantias formais para cada um e latência de alocação medida abaixo de um milissegundo.

Texto completo →

Avaliações de ameaça

Especulativo
Defesa e segurança

Relatórios hipotéticos de inteligência sobre tradecraft de substituição de identidade, interferência neurológica e uma mistura explosiva — escritos a partir de fontes abertas, no registro que tais documentos realmente usam.

Texto completo →

IAs da UCN

Especulativo
IA e aprendizado de máquina

Any Purpose Networks, General Purpose Networks, Signal AI e duas primitivas de aprendizado — artefatos de construção de mundo escritos no registro de um artigo de fundamentos matemáticos.

Texto completo →

UCN

Especulativo
Políticas públicas e economia

Oito artigos numerados cobrindo constituição, economia, defesa, propriedade intelectual, política de drogas e relações exteriores — cada afirmação com fonte, cada incompatibilidade com a lei atual reconhecida no roteiro.

Texto completo →

Reforma da ONU

Especulativo
Políticas públicas e economia

Uma Força de Defesa permanente da ONU sob um Comissário de Segurança eleito, argumentada a partir dos artigos da Carta e do direito dos tratados, com uma seção final sobre por que provavelmente não será adotada.

Texto completo →

VDJ

Com resultados
IA e aprendizado de máquina

Recombinação V(D)J abstraída em cinco módulos para aprendizado de uma amostra só e geração combinatória, medida ao milissegundo e ao kilobyte para implantação embarcada.

Texto completo →

VERITAS

Implementação de referência
IA e aprendizado de máquina

Nove teoremas sobre espaços de padrões binários, com garantias PAC e ALT verificadas em tempo de execução em vez de argumentadas fora dele — e um resultado de composição mostrando que as garantias se somam.

Texto completo →

Portfólio de defesa

Documento de projeto
Defesa e segurança

Mais de trinta pastas de plataformas no registro de engenharia de defesa, com a disciplina incomum de que todo número balístico, térmico e de ciclo de vida é gerado por um único motor de física compartilhado e citado de volta a ele.

Texto completo →

Equipamento policial

Documento de projeto
Defesa e segurança

Colete balístico com um terço da massa do atual e uma pistola de serviço de energia reduzida, ambos passados pelo mesmo motor de física compartilhado do portfólio de defesa e ambos orçados como casos de aquisição.

Texto completo →
Como ler esta prateleira

Quatro níveis de evidência, usados de forma consistente

Os quatro níveis de evidência usados na prateleira de pesquisa, do especulativo passando por documento de projeto e implementação de referência até com resultados
role para ver o diagrama inteiro →
Nada chega a um quinto nível. Não há um nível “validado” em uso, porque nada aqui foi replicado de forma independente nem auditado externamente.

Todo texto carrega um destes, e um livro-razão de afirmações que marca cada número individual como medido, sintético, derivado, projetado ou citado.

Especulativo

Só teoria ou projeto. Nenhuma medição própria.

Documento de projeto

Especificado em detalhe; implementação parcial ou ausente.

Implementação de referência

O código existe e roda. Desempenho não conferido de forma independente.

Com resultados

Os experimentos foram feitos e os números estão relatados aqui.

Nada chega a um quinto nível. Não há um nível “validado” em uso, porque nenhum item desta prateleira foi replicado de forma independente nem auditado externamente. Quando um for, isso será dito e quem o fez será nomeado.