Bonjour — je suis Odin Loch

J’aime toute l’ingénierie et toutes les sciences, et je n’ai jamais été doué pour rester dans une seule. C’est pour ça que l’étagère a une Berkeley Software Distribution (BSD) durcie à côté d’un schéma de chiffrement authentifié avec données associées (AEAD), à côté d’outillage carbure, à côté d’un article sur la façon dont on mesurerait la richesse nationale en mégajoules. Ce n’est pas une stratégie. C’est ce qui m’intéresse vraiment.

Travailler seul veut dire que personne ne vérifie mon travail, donc j’ai intégré la vérification au travail. ParanoidBSD ne marque pas un fichier comme porté tant que la vérification différentielle ou par représentation intermédiaire (IR) n’est pas passée, parce que je sais très bien qu’un fichier qui se contente de compiler ne m’a rien dit. MathScript renvoie Result<T> partout au lieu de lever des exceptions, parce que je voulais les cas d’échec visibles dans le type plutôt que découverts à trois heures du matin. AEGIS a une seule règle — rien n’est fait tant qu’une simulation d’attaque ne l’a pas confirmé — parce que mon intuition sur l’analyse de trafic s’est trompée à plusieurs reprises, et pas la simulation.

Le même raisonnement explique les parties de ce site qui ont l’air de plaider contre moi. La perplexité de Cell AI est de quatre ordres de grandeur pire que celle du transformeur génératif pré-entraîné 2 (GPT-2), et c’est sur sa page d’accueil. Le décompilateur récupère les algorithmes à F1 0,056 sur binaires dépouillés, à côté du 1,000 qu’il obtient avec les symboles. Le travail sur le standard de chiffrement avancé (AES) a échoué, et il est publié comme un échec, avec les statistiques qui montrent pourquoi. Si je cachais cela, vous n’auriez aucun moyen de savoir lesquels de mes autres chiffres croire.

ParanoidBSD se décrit comme “un système d’exploitation sécurisé fait par un schizophrène”. C’est ma formule sur moi-même et je la garde. Cela ne veut pas dire que l’ingénierie n’est pas fiable — les contrôles sur ce travail sont plus stricts que ce que beaucoup de logiciels commerciaux voient un jour, et ils sont écrits là où vous pouvez les lire. Cela veut dire que je préfère vous dire qui construit ceci plutôt que vous laisser le découvrir plus tard.

Si vous êtes en train de décider si vous pouvez dépendre de tout cela : lisez les tests, les relevés de provenance et les limites publiées. Ce sont les parties faites pour être vérifiées, et elles vous en diront bien plus que moi.