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.
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é.
Filtrer l’étagère
46 sur 46 affichés
Générateur de bruit 100 W
Document de conceptionUn 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ésultatsUn 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érenceChiffrement 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ésultatsN 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érenceUn 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éculatifUn 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 conceptionUn 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éculatifUne 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érenceQuatre 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ésultatsCoordination 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éculatifQuatre 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 conceptionMigration 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éculatifUn 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 conceptionDeux 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ésultatsLa 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ésultatsUn 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 conceptionUn 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éculatifUne 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ésultatsD’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éculatifUn 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 conceptionUn 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 conceptionUn é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ésultatsMé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érenceUn 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ésultatsUne é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ésultatsToute 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érenceUn 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éculatifDes 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érenceMemristors, 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éculatifUn 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 conceptionUn 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ésultatsSix 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éculatifDes 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érenceCinq 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ésultatsDAG à 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 conceptionUn 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ésultatsDes 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ésultatsL’é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éculatifDes 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éculatifAny 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éculatifHuit 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éculatifUne 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ésultatsLa 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érenceNeuf 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 conceptionPlus 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 conceptionUn 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 →Quatre niveaux de preuve, utilisés de façon cohérente
Chaque écrit en porte un, ainsi qu’un registre d’affirmations qui marque chaque chiffre comme mesuré, synthétique, dérivé, projeté ou cité.
Théorie ou conception seulement. Aucune mesure en interne.
Spécifié en détail ; implémentation partielle ou absente.
Le code existe et tourne. Les performances ne sont pas vérifiées de façon indépendante.
Des expériences ont été menées et les chiffres sont rapportés ici.