Cette page de recherche n’est publiée qu’en anglais. Les pages techniques sont traduites ; les registres de faits ne le sont pas, car une affirmation mal traduite est une affirmation fausse.

L’étagère de recherche

Quarante-six dossiers de travaux en cours

Ceci est une étagère, pas un catalogue de produits. Une partie est de la recherche porteuse de résultats, avec expériences et chiffres. Une partie est un document de conception. Une partie est spéculative et le dit dans son propre README. Chaque dossier a désormais un écrit complet, tiré des articles sources plutôt que des README des dossiers, avec chaque affirmation listée à côté de la preuve qui la soutient — y compris celles qui rapportent un résultat négatif. Le tout est publié sous la licence publique générale GNU Affero (AGPL-3.0+), avec des conditions commerciales à côté.

46 écrits complets 46 dossiers au total 14 domaines AGPL-3.0+ / commerciale
À lire en premier. Le registre de langue militaire apparaît dans plusieurs dossiers par choix stylistique. Il n’indique ni classification réelle, ni matériel déployé, ni aucune relation avec un gouvernement. Beaucoup de systèmes ici restent non construits ou non validés, et les éléments spéculatifs portent des étiquettes explicites dans leurs propres fichiers README. Rien sur cette étagère n’a été vérifié de façon indépendante.
Parcourir

Filtrer l’étagère

46 sur 46 affichés

Générateur de bruit 100 W

Document de conception
Électronique

Un seul fichier SystemVerilog supervisant un cœur analogique à circuit de Chua, une chaîne PA à quatre bandes, un DAC d’alimentation, un ADC thermique et une machine à états de protection matérielle sous la microseconde.

Écrit complet →

Booléennes n = 3…8

Porteur de résultats
Mathématiques

Un recensement dimension par dimension de l’espace des fonctions booléennes, de trois à huit variables, suivant la fraction de fonctions réellement irréductibles, d’environ un quart jusqu’à un plafond quasi total.

Écrit complet →

ARIA

Implémentation de référence
Cryptographie

Chiffrement authentifié qui dérive le nonce du message et de la clé de session au lieu de le transmettre, rendant la dérive émetteur/récepteur structurellement impossible.

Écrit complet →

Ashby Optimiser

Porteur de résultats
IA & apprentissage automatique

N unités de recherche isolées à des rayons espacés géométriquement, ordonnancées à tour de rôle, avec redémarrages homéostatiques en cas de stagnation — mesurées honnêtement face à une recherche aléatoire et à un (1+1)-ES.

Écrit complet →

ARIA-INTEL

Implémentation de référence
Suivi & capteurs

Un pisteur PMBM à ensembles finis aléatoires avec modélisation des habitudes de vie, huit détecteurs de tradecraft et notation bayésienne de la menace — 2 363 lignes, NumPy et SciPy seulement, 28 ms par balayage.

Écrit complet →

Battle Sim

Spéculatif
Défense & sécurité

Un court panorama des modèles mathématiques de combat modernes — salves discrètes à la Hughes, formulations de Lanchester étendues, modèles de bataille à états markoviens — avec leurs équations et leurs réserves.

Écrit complet →

Hemp Harmony

Document de conception
Chimie & produits

Un cosméceutique botanique en trois phases dont chaque classe d’ingrédients est étayée par des preuves cliniques, in vitro et ethnobotaniques revues par les pairs, plutôt qu’affirmée.

Écrit complet →

CPU

Spéculatif
Architecture des ordinateurs

Une discussion d’architecture hétérogène à très nombreux cœurs, associée à une esquisse SystemVerilog qui déplace des primitives de système d’exploitation — changement de contexte, aiguillage des appels système, traitement des défauts de page — dans le matériel.

Écrit complet →

Exploitation d’un bar

Implémentation de référence
Chimie & produits

Quatre bases de plantes indigènes qui portent toutes les infusions, sirops et amers de la carte, avec des durées explicites, des ratios de lot, des points de contrôle qualité et des rythmes de service.

Écrit complet →

Izaac · GRIA · NMP

Porteur de résultats
Théorie de l’information

Coordination par PRF partagée, réversibilité graduée, et réseaux de neurones traités comme des opérateurs de compression mesurables — unifiés sous un même vocabulaire de théorie de l’information.

Écrit complet →

Batteries au diamant

Spéculatif
Matériaux & ingénierie

Quatre séries de conception extrapolant la cellule diamant au carbone 14 de Bristol/UKAEA de 2024 vers l’échelle industrielle, avec l’inventaire de 400 000 tonnes de combustible usé comme argument d’approvisionnement.

Écrit complet →

UCDW

Document de conception
Matériaux & ingénierie

Migration ionique électrochimique, diffusion thermique et assistance ultrasonore combinées dans un substrat de liquide ionique, couvrant de 77 % à 99 % de la résistance du métal de base sur cinq régimes de fonctionnement.

Écrit complet →

Libération dépôt

Spéculatif
Chimie & produits

Un vrai manuel de pharmacie galénique — plages de réglage du PLGA, gels à inversion de phase, cinétique de libération de Higuchi, cadre ICH Q8 — associé à des composés inventés que le dossier signale comme fiction par un bandeau sur chaque page.

Écrit complet →

EREM · SPX

Document de conception
Politiques publiques & économie

Deux pistes : reformuler la richesse nationale en unités physiques d’énergie pour briser la dépendance circulaire aux institutions monétaires, et cinq modèles qui convergent sur une fenêtre 2028–2029 pour un dénouement gamma.

Écrit complet →

Babbage · Antikythera · TDC

Porteur de résultats
Logiciel & langages

La machine à différences de Babbage, l’engrenage épicycloïdal du mécanisme d’Anticythère et le Torpedo Data Computer de la Seconde Guerre mondiale — chacun reconstruit comme un algorithme mesuré plutôt que comme une pièce de musée.

Écrit complet →

GH-SR-IMM

Porteur de résultats
Suivi & capteurs

Un pisteur multicible à queues lourdes qui découple la robustesse aux valeurs aberrantes du traitement des manœuvres, rapportant une amélioration GOSPA moyenne de 51,6 %.

Écrit complet →

Fungal Network Algorithm

Document de conception
IA & apprentissage automatique

Un réseau auto-organisé bio-inspiré où les arêtes et les poids sont la conséquence de l’historique des entrées plutôt que le support de stockage, qui croît et s’élague par des règles purement locales.

Écrit complet →

Future C++

Spéculatif
Logiciel & langages

Une longue conversation de conception sur un langage compilé à la syntaxe C++ et aux garanties modernes — qui commence par soutenir que le C++ moderne couvre déjà l’essentiel de la liste de souhaits, puis détermine ce qu’il reste.

Écrit complet →

Algèbre sur GF(2)

Porteur de résultats
Mathématiques

D’une énumération exhaustive des 16 opérations binaires jusqu’aux polynômes de permutation, à l’optimisation de circuits et aux portes logiques différentiables — y compris un théorème d’unicité pour AND.

Écrit complet →

HSA

Spéculatif
Biologie & médecine

Un programme de modification génétique en trois phases écrit comme une spéculation d’ingénierie, avec des avertissements de preuve par paliers, un tableau cumulatif des effets indésirables, et un bandeau d’ouverture le déclarant purement théorique et relevant de la construction d’univers.

Écrit complet →

LCRP

Document de conception
Mathématiques

Un article de synthèse et de cadre soutenant qu’un petit ensemble de mécanismes — diviser pour régner, représentation arborescente, limites de théorie de l’information — explique la plupart des réductions du quadratique au log-linéaire dans sept domaines.

Écrit complet →

Protocoles Izaac

Document de conception
Théorie de l’information

Un état cryptographique partagé compact σ agit comme un canal de diffusion gratuit — et douze protocoles concrets, du consensus byzantin à la confidentialité différentielle coordonnée, découlent de cette seule observation.

Écrit complet →

UHPM

Porteur de résultats
IA & apprentissage automatique

Mémoire par hachage sensible à la localité et codage prédictif hiérarchique unifiés sous une seule fonctionnelle d’énergie libre, rapportant une accélération de 289× de la latence de requête par rapport à l’attention complète à 100 K jetons.

Écrit complet →

Panorama mathématique

Implémentation de référence
Mathématiques

Un panorama de niveau recherche allant de la théorie des nombres aux mathématiques financières — théorie fondamentale, résultats marquants de la dernière décennie, problèmes ouverts, et les liens entre domaines.

Écrit complet →

Modéliser AES

Porteur de résultats
Cryptographie

Une étude appariée attaquant AES-128 dans les deux sens avec des réseaux de neurones, rapportant qu’aucune des deux ne marche — et quantifiant exactement de combien chacune échoue.

Écrit complet →

SGF · Algebraic Autopsy

Porteur de résultats
IA & apprentissage automatique

Toute technique efficace d’apprentissage profond ramenée à une seule primitive — une statistique exhaustive en ligne sur une variété courbe — plus un diagnostic a posteriori qui lit l’algèbre implicite d’un réseau entraîné dans ses poids.

Écrit complet →

Décompilateur neuronal

Implémentation de référence
IA & apprentissage automatique

Un Transformer encodeur–décodeur avec mémoire hiérarchique et mélange d’experts à charge équilibrée, qui reformule la récupération de l’assembleur vers le source comme un problème de modélisation de séquences.

Écrit complet →

NQD

Spéculatif
Biologie & médecine

Des capteurs quantiques en nanodiamant au contact d’un seul neurone, lus optiquement par des motes CMOS alimentées par ultrasons qui rétrodiffusent vers un réseau porté sur soi — aucun fil à travers le crâne.

Écrit complet →

Composants hybrides

Implémentation de référence
Électronique

Memristors, jonctions Josephson, GMR et éléments à changement de phase simulés sur six phases — avec un auto-audit qui a trouvé et publié sept bugs dans son propre cadre logiciel.

Écrit complet →

NLFGN-UFT

Spéculatif
Physique

Un programme variationnel de gravité non locale gardant la transmission causale à des vitesses ≤ c, plus un essai soutenant que la récession superluminique est une divergence d’interprétation, pas un échec de ΛCDM.

Écrit complet →

AusDike™

Document de conception
Matériaux & ingénierie

Un panneau de digue auto-lesté à fond ouvert, mené du concept au devis d’outillage — 28 simulations, une paroi gouvernée par le flambage, et un résultat défavorable que le programme n’a pas enterré.

Écrit complet →

Méta-motif des nombres premiers

Porteur de résultats
Mathématiques

Six perceptrons multicouches entraînés à classer les nombres premiers sur cinq ordres de grandeur, interprétés à partir des seuls poids — ils redécouvrent la division d’essai sur le réseau 6k±1, puis perdent contre elle d’un facteur 30–80×.

Écrit complet →

QDMP

Spéculatif
Matériaux & ingénierie

Des réseaux de centres NV façonnés dans un réseau de diamant métamatériau, proposés comme une expérience de pensée structurée — avec sept obstacles scientifiques nommés, évalués au regard de la littérature actuelle.

Écrit complet →

QGO

Implémentation de référence
Mathématiques

Cinq couches auditables — compression spectrale, encodage de Tchebychev, QAOA simulé, classement pondéré par le bruit, relèvement spectral — chacune avec une fonction de vérification nommée et un terme d’erreur explicite.

Écrit complet →

Portefeuille de RNG

Porteur de résultats
Cryptographie

DAG à constantes transcendantes, LCG booléen, chaos à double attracteur et turbulence contrarotative — quatre générateurs aux modes de défaillance réellement différents, mesurés séparément.

Écrit complet →

HX-70 GradePlex

Document de conception
Matériaux & ingénierie

Un substrat carbure à gradient fonctionnel, un empilement de revêtement à cinq couches et une chaîne d’approvisionnement de la forge à l’usinage — visant l’écart entre le point où les plaquettes classiques lâchent et celui où existent les géométries CBN.

Écrit complet →

USG

Porteur de résultats
IA & apprentissage automatique

Des générateurs dont on montre qu’ils forment une catégorie mathématique sous composition, avec une compression de contexte par hachage qui brise le plafond d’explosion d’états qui limitait les méthodes n-grammes et HMM à trois ou cinq jetons.

Écrit complet →

Ordonnanceur statistique

Porteur de résultats
Logiciel & langages

L’équité par une variante statistique de CFS, la qualité de placement par un bandit contextuel, l’équilibrage de charge par une boucle PID — avec des garanties formelles pour chacun et une latence de placement mesurée sous la milliseconde.

Écrit complet →

Évaluations de menace

Spéculatif
Défense & sécurité

Des notes de renseignement hypothétiques sur les techniques de substitution d’identité, l’interférence neurologique et un mélange explosif — écrites à partir de sources ouvertes, dans le registre que ces documents emploient réellement.

Écrit complet →

Les IA d’UCN

Spéculatif
IA & apprentissage automatique

Any Purpose Networks, General Purpose Networks, Signal AI et deux primitives d’apprentissage — des artefacts de construction d’univers écrits dans le registre d’un article de fondements mathématiques.

Écrit complet →

UCN

Spéculatif
Politiques publiques & économie

Huit articles numérotés couvrant constitution, économie, défense, propriété intellectuelle, politique des drogues et relations extérieures — chaque affirmation sourcée, chaque incompatibilité avec le droit actuel reconnue dans la feuille de route.

Écrit complet →

Réforme de l’ONU

Spéculatif
Politiques publiques & économie

Une force de défense permanente de l’ONU sous l’autorité d’un commissaire à la sécurité élu, argumentée à partir des articles de la Charte et du droit des traités, avec une section finale sur les raisons pour lesquelles elle ne sera probablement pas adoptée.

Écrit complet →

VDJ

Porteur de résultats
IA & apprentissage automatique

La recombinaison V(D)J abstraite en cinq modules pour l’apprentissage en une passe et la génération combinatoire, profilée à la milliseconde et au kilo-octet près pour un déploiement embarqué.

Écrit complet →

VERITAS

Implémentation de référence
IA & apprentissage automatique

Neuf théorèmes sur des espaces de motifs binaires, avec des garanties PAC et ALT vérifiées à l’exécution plutôt qu’argumentées hors ligne — et un résultat de composition montrant que les garanties s’additionnent.

Écrit complet →

Portefeuille défense

Document de conception
Défense & sécurité

Plus de trente dossiers de plateformes dans le registre de l’ingénierie de défense, avec cette discipline inhabituelle que chaque chiffre balistique, thermique et de cycle de vie est produit par un seul moteur physique partagé et lui est attribué.

Écrit complet →

Équipement de police

Document de conception
Défense & sécurité

Un gilet pare-balles au tiers de la masse de celui en service et un pistolet de service à énergie réduite, tous deux passés par le même moteur physique partagé que le portefeuille défense et tous deux chiffrés comme des dossiers d’acquisition.

Écrit complet →
Comment lire cette étagère

Quatre niveaux de preuve, utilisés de façon cohérente

Les quatre niveaux de preuve utilisés sur l’étagère de recherche, du spéculatif au porteur de résultats, en passant par le document de conception et l’implémentation de référence
faites défiler pour voir tout le schéma →
Rien n’atteint un cinquième niveau. Il n’y a pas de palier “validé” en usage, parce que rien ici n’a été répliqué de façon indépendante ni audité de l’extérieur.

Chaque écrit en porte un, ainsi qu’un registre d’affirmations qui marque chaque chiffre comme mesuré, synthétique, dérivé, projeté ou cité.

Spéculatif

Théorie ou conception seulement. Aucune mesure en interne.

Document de conception

Spécifié en détail ; implémentation partielle ou absente.

Implémentation de référence

Le code existe et tourne. Les performances ne sont pas vérifiées de façon indépendante.

Porteur de résultats

Des expériences ont été menées et les chiffres sont rapportés ici.

Rien n’atteint un cinquième niveau. Il n’y a pas de palier “validé” en usage, parce qu’aucun élément de cette étagère n’a été répliqué de façon indépendante ni audité de l’extérieur. Quand ce sera le cas, ce sera dit, avec le nom de qui l’a fait.