Des systèmes sûrs.
Une IA originale.
De l’ingénierie honnête.
Imortek conçoit des logiciels spécialisés pour les organisations dont les problèmes résistent aux outils ordinaires — en sécurité, défense, gouvernement et recherche. Un système d’exploitation pour les équipements qu’on ne peut pas corriger vite. Un décompilateur pour les binaires dont personne n’a le code source. Une architecture d’intelligence artificielle (IA) dérivée des premiers principes plutôt qu’enveloppée autour du modèle d’un autre. Chaque affirmation de ce site est appuyée par un test, un benchmark, ou une note honnête sur ce qui ne marche pas encore.
github.com/odin-loki
connexion…ParanoidBSD
Une Berkeley Software Distribution (BSD) durcie, réécrite en C++23, avec un noyau à capacités et descripteurs posé sur ce que HardenedBSD livre déjà — et KDE Plasma 6 sur le bureau.
Le C, sans sûreté mémoire, reste le substrat de presque tous les systèmes d’exploitation. PBSD prend HardenedBSD 15-STABLE comme spécification de comportement et le porte, fichier par fichier, vers des modules C++23 — puis ajoute un noyau de sécurité où chaque ressource s’atteint par un descripteur infalsifiable plutôt que par un espace de noms global ambiant.
- Porté fidèlement, pas “amélioré”. L’arbre HardenedBSD est la spécification. Les bugs sont portés aussi, jusqu’à ce qu’un changement soit consigné à part.
- Rien n’est fait tant que ce n’est pas vérifié. Compiler ne vaut pas vérification. La vérification différentielle ou par représentation intermédiaire (IR) contrôle chaque fichier.
- L’outillage déterministe d’abord. Les passes de réécriture sûre s’exécutent avant qu’un modèle ne touche au code — et le modèle ne s’auto-certifie jamais.
- C++ noyau autonome.
-fno-exceptions -fno-rtti, avec une interface binaire d’application (ABI) du noyau documentée.
Reconstruction illustrative de la sortie du moteur de migration. Les vrais journaux se trouvent dans docs/migration/.
Sept systèmes, une seule exigence d’ingénierie
Chacun est un vrai dépôt avec de vrais tests. Chaque page ci-dessous porte une démonstration interactive et fonctionnelle de l’idée qui la sous-tend — dans votre navigateur, sans installation ni inscription.
ParanoidBSD
C · C++23 · système d’exploitationHardenedBSD 15-STABLE porté vers des modules C++23 avec un noyau de sécurité par capacités et descripteurs, et KDE Plasma 6. Interactif : suivez un appel système à travers le noyau.
Ouvrir PBSDCypha
C++ · architecture d’IAUn seul type qui classe, régresse, échantillonne des latents et génère des jetons. Dérivé de priors MDL, du gradient naturel et du goulot d’étranglement informationnel. Interactif : entraînez un classifieur en direct, au clic.
Ouvrir CyphaRetDec Imortek
C++ · décompilateurRécupère algorithmes, primitives cryptographiques, schémas de concurrence et formats de sérialisation — pas seulement du pseudocode. Interface Qt 6, raffinement neuronal hors ligne en option. Interactif : transformez des octets en un algorithme nommé.
Ouvrir RetDec ImortekMathScript
C++23 · calcul formelAlgèbre linéaire, fonctions spéciales, EDO/EDP/FEM/CFD, optimisation, traitement du signal et un CAS symbolique — avec LU/QR/SVD intégrés, sans Eigen ni OpenBLAS. Interactif : tracez et dérivez en direct.
Ouvrir MathScriptAEGIS
Rust · transport anonymeCache qui parle à qui, quand et combien — face à un adversaire passif global. Mixnet Sphinx à débit constant plus un plan de volume réglable. Interactif : lancez vous-même l’attaque par corrélation.
Ouvrir AEGISSENTINEL
C++23 · Qt 6 · analyse criminelleModèles de Poisson et de Hawkes, détection de séries par DBSCAN, points chauds par KDE et profilage géographique de Rossmo — chaque piste traçable jusqu’à son enregistrement d’origine. Interactif : construisez une surface de points chauds en cliquant.
Ouvrir SENTINELCell AI
Python · modèle de séquencesDynamique de partitions par réaction-diffusion avec plasticité hebbienne/BCM s’exécutant pendant la passe avant. Documenté honnêtement, échecs compris. Interactif : lancez le champ de réaction-diffusion.
Ouvrir Cell AITRACE
C++23 · suivi multicibleUne identité persistante à partir d’observations éparses — l’existence est une probabilité et non un booléen, si bien qu’une piste survit au trou où plus rien ne la voit. Interactif : le moteur lui-même, en WebAssembly.
Ouvrir TRACEL’étagère de recherche
Idées · R&DCryptographie, mémoire à long contexte, filtres de suivi, théorie des anneaux sur GF(2), modèles de gravité de champ, outillage carbure, macroéconomie de l’énergie. Une étagère, pas un catalogue produit — et elle est étiquetée comme telle.
Parcourir l’étagèreL’exigence, énoncée simplement
Le logiciel indépendant a un problème de crédibilité, et il est le plus souvent mérité. Voici les règles auxquelles les dépôts sont réellement tenus — vous pouvez vérifier chacune d’elles dans le code.
Compiler n’est pas terminer
Dans PBSD, aucun fichier porté n’est fini tant que la vérification différentielle ou par IR n’est pas passée. Dans MathScript, la correction, ce sont 816 suites CTest face à des références versionnées. Dans Cypha, la preuve est la parité avec ces références — pas un chiffre de classement.
Les modèles comblent des trous ; ils ne certifient jamais
L’IA est utilisée là où elle mérite sa place — porter les fichiers récalcitrants, affiner la sortie du décompilateur — et toujours en aval de l’outillage déterministe et en amont d’un contrôle strict. Ce sont les compilations, les sanitizers, les exécutions différentielles et la comparaison d’IR qui décident, pas le modèle.
Les limites sont publiées, pas enterrées
La perplexité de Cell AI est de plusieurs ordres de grandeur pire que celle d’un transformeur, et son README le dit. AEGIS déclare que la sortie en clair est plus faible et qu’une latence de plusieurs secondes est inhérente. Le F1 de RetDec sans noms est de 0,056, imprimé à côté du 1,000 obtenu avec les noms. C’est bien le propos.
La mesure l’emporte sur l’intuition
AEGIS a été construit selon une seule règle : rien n’est fait tant qu’une simulation d’attaque ne l’a pas confirmé. L’intuition sur l’analyse de trafic s’est trompée à plusieurs reprises pendant le développement ; le banc de simulation dans sim/ est le registre de preuves derrière chaque chiffre de la spécification.
Ce qui a bougé le plus récemment
Récupéré depuis l’API GitHub au chargement de cette page. Si c’est calme, c’est calme — il n’y a aucune couche de marketing entre vous et l’historique des commits.
Envois récents
chargementGratuit pour presque tout le monde. Payant là où ça rapporte.
Tout ce que publie Imortek est à source ouverte sous la Licence publique générale GNU Affero v3.0 ou ultérieure, avec une licence commerciale par paliers pour les organisations qui doivent garder leurs modifications privées.
- Gratuit sous AGPL-3.0+ pour l’usage personnel, les associations, l’enseignement et toute organisation gagnant moins de 50 000 dollars australiens (AUD) par an.
- Licence commerciale au-delà de ce seuil, par paliers selon la taille, sans obligation de publier vos modifications.
- Chaque dépôt du catalogue porte ces conditions aujourd’hui — ce n’est pas un projet, c’est ce que disent les fichiers LICENSE.
/* In your about box, docs, or footer: */ "Powered by Ideas, developed by Odin Loch. Licensed under AGPL-3.0+."
Sous AGPL, vous devez aussi reverser vos modifications sous la même double licence, et la recherche bâtie sur ce logiciel doit être publiée en open source. Une licence commerciale supprime ces deux obligations.
Le Kickstarter PBSD est ouvert
Le portage avance. Ce qu’il lui faut maintenant, ce sont les crédits d’IA et le calcul de vérification pour le terminer. L’objectif est de 10 000 AUD, la campagne est tout ou rien, et chaque hypothèse derrière ce chiffre est exposée et ajustable sur la page de campagne.