Softanza
La plateforme logicielle gouvernée de l'ère de l'IA.
Déclarez ce que vous savez. Un tribunal le garde. Le modèle d'IA vient en dernier.
Accueil1 / 13
L'architecture depuis 2020 · relue bande par bande face à ce qui existe, septembre 2026
L'étoile polaire2 / 13
L'approche de Softanza pour programmer à l'ère agentique
Déclarez une langue
Avec Softanza, on n'écrit plus des logiciels.
On déclare des mondes dans des langues faites pour leur domaine, et on gouverne la manière dont ces mondes changent.
Ce n'est pas la pratique d'aujourd'hui. C'est la proposition de Softanza : une plateforme qui connaît votre monde.
Vision3 / 13
Un moteur, vingt-huit domaines
Un moteur en Zig, une langue pour visage
401fichiers source Zig, 179 000 lignes
531 000lignes de bibliothèque, 306 000 de tests
334couloirs notés dans l'Atlas
5 824commits depuis le 12 mars 2022
Un moteur en Zig · une langue, Haro, en construction · vingt-huit domaines, chacun noté honnêtement contre .NET, Python, Wolfram et la JVM.
Plateforme4 / 13
La langue des langues, et la plateforme des plateformes · la construction tourne dans la bibliothèque
Vingt-huit domaines, un seul moteur · chaque image produite par la plateforme elle-même
Chaînes de caractèresUne chaîne est une suite de caractères qu'une personne lit, comptés en points de code Unicode, jamais en octets stockés par la machine.12 couloirs : 6 Strong · 4 Solid · 1 Partial · 1 Emerging
Recherche de motifsLa recherche de motifs est une même façon de penser pour toutes les données. L'expression régulière en est la porte d'entrée ; Softanza porte la même idée aux listes, aux nombres, au temps, aux tables, aux matrices et aux graphes, et permet de construire un motif avec des mots ou de l'appeler par son nom.12 couloirs : 4 Strong · 5 Solid · 3 Partial
Collections et objetsLes mêmes questions — contient-elle, combien, où — et les mêmes verbes valent pour toute structure ; seule l'unité de position change.12 couloirs : 6 Strong · 5 Solid · 1 Partial
Numérique et optimisationUn nombre doit savoir s'il est exact et dire pourquoi quand il ne l'est pas ; le cadre qui infléchit un résultat doit être visible là où l'on s'en sert.12 couloirs : 5 Strong · 5 Solid · 2 Partial
Tables et donnéesUne table est une grille qu'on lit comme un tableur — colonnes nommées, lignes et cellules — et chaque colonne est une liste qu'on peut interroger.12 couloirs : 2 Strong · 7 Solid · 3 Partial
InternationalisationUne locale dit comment une valeur s'écrit ; une culture dit comment elle sera lue, et aucun sens ne peut se déduire d'un seul code de locale.12 couloirs : 4 Solid · 4 Partial · 4 Emerging
Traitement du langage et linguistiqueUne chaîne est faite de caractères ; un texte est une chaîne élevée au sens, et toute capacité linguistique doit fonctionner en local, sans rien installer ni télécharger.12 couloirs : 3 Strong · 5 Solid · 3 Partial · 1 Emerging
Palier neuronalChaque capacité fonctionne sans aucun modèle, gagne en finesse quand un modèle local est présent, et ne dépend jamais d'un service payant ou distant.12 couloirs : 4 Strong · 4 Solid · 3 Partial · 1 Emerging
Agents et conversationSoftanza ne cherche pas à fabriquer un agent sûr ; il bâtit un monde sûr et y laisse travailler des agents ordinaires.12 couloirs : 4 Strong · 4 Solid · 3 Partial · 1 Emerging
GraphismeLe graphisme n'est pas un nouveau moteur : c'est la couche GPU que Softanza possède déjà, à laquelle on apprend à dessiner en plus de calculer.12 couloirs : 6 Strong · 3 Solid · 2 Partial · 1 Emerging
Géographie et cartographieUne carte affirme des choses sur le monde : elle doit donc dire comment elle a été faite et ne rien affirmer qu'elle ne puisse vérifier.12 couloirs : 5 Strong · 2 Solid · 4 Partial · 1 Emerging
Diagrammes et graphesUn diagramme est un langage visuel, pas une peinture : toute relation que le lecteur y perçoit doit exister dans le graphe.12 couloirs : 4 Strong · 5 Solid · 3 Partial
GPULe GPU n'est utilisé que là où une mesure prouve qu'il gagne, et le chemin CPU reste toujours la réponse de référence.12 couloirs : 5 Strong · 4 Solid · 3 Partial
Interface et réactifLes déclarations Softanza font contrat ; le balisage que lit le moteur d'interface n'en est qu'une projection, générée et jamais écrite à la main.12 couloirs : 2 Strong · 6 Solid · 4 Partial
Statistiques et visualisationExplorer avant de modéliser : les données sont un ajustement plus un résidu, calculés pour qu'une valeur extrême ne les fausse pas, et les données indiquent elles-mêmes leur échelle de lecture.12 couloirs : 2 Strong · 4 Solid · 3 Partial · 3 Emerging
Programmation systèmeSeul le moteur touche le système réel ; tout ce qui est au-dessus n'en est qu'une vue ou une répétition, et la réalité ne change que lorsqu'un plan autorisé franchit l'unique porte.12 couloirs : 1 Strong · 7 Solid · 3 Partial · 1 Emerging
Concurrence et distributionLe processus est l'unité naturelle de la concurrence : les nœuds ne partagent rien, ne communiquent que par messages, et chaque passage a un coût mesuré qui décide s'il vaut la peine.12 couloirs : 6 Strong · 4 Solid · 1 Partial · 1 Emerging
Web et serveur d'applicationsLe serveur est un hôte, pas une bibliothèque appelée à chaque requête : le moteur est déjà chargé et prêt, et le serveur ne fait qu'y amener les requêtes et en rapporter les résultats.12 couloirs : 4 Strong · 5 Solid · 2 Partial · 1 Emerging
PerformanceLa performance est une chose qu'un programme sait de lui-même : le moteur mesure, le code déclare le budget, et toute action corrective passe par la gouvernance.12 couloirs : 6 Strong · 5 Solid · 1 Partial
Métaprogrammation et règles de codeUne règle maison n'est ni du folklore ni un motif de texte : c'est un objet vérifié sur un modèle du code, que tout programmeur, humain ou machine, peut exécuter.12 couloirs : 1 Strong · 7 Solid · 4 Partial
Fichiers et formatsOn aborde un fichier selon ce qu'on veut en faire, et chaque format est analysé une seule fois, dans le moteur, par un analyseur dont les refus font partie de la sécurité.12 couloirs : 1 Strong · 6 Solid · 4 Partial · 1 Emerging
Formats binairesUn fichier binaire est un tableau que les octets ont oublié de montrer : on décrit sa structure une fois, sous forme de données, et les octets deviennent lignes et colonnes.10 couloirs : 1 Partial · 9 Emerging
Sécurité et gouvernanceS'exprimer est libre, être admis est gouverné : chacun peut composer et proposer, mais seul un acteur habilité à produire des effets peut valider.12 couloirs : 3 Strong · 6 Solid · 2 Partial · 1 Emerging
Extensibilité et code étrangerUn plugin est une capacité étrangère gouvernée : du code que l'hôte ne possède pas, exécuté selon un contrat que l'hôte fait respecter.12 couloirs : 1 Strong · 2 Solid · 3 Partial · 6 Emerging
SonUn son se décrit, il ne se fabrique pas à la main : on déclare un graphe ou un sens, le moteur le produit, et une oreille humaine juge en dernier.12 couloirs : 5 Strong · 5 Solid · 1 Partial · 1 Emerging
Système de test et de qualitéChaque valeur attendue écrite est une promesse, et elle ne compte que lorsqu'une exécution qui aurait pu échouer l'a tenue.12 couloirs : 4 Strong · 6 Solid · 2 Partial
Système de documentationLa documentation s'exécute, elle ne se contente pas d'être écrite : chaque exemple montre une vraie sortie, et la bibliothèque s'explique à partir de son propre code.12 couloirs : 3 Strong · 6 Solid · 2 Partial · 1 Emerging
Doctrine de gouvernanceNe pas chercher à construire des agents sûrs, mais un monde sûr dans lequel des agents ordinaires peuvent travailler.12 couloirs : 5 Strong · 5 Solid · 2 Partial
Les domaines6 / 13
Le code, à côté de JavaScript · chaque côté exécuté
Softanza
? Q(2).Power(64)
? Q("مرحبا بالعالم").Script()
? @@( Naturally("Create a list with [ 5, 3, 5, 1 ]
and remove its duplicates").Result() )Sortie
18446744073709551616 arabic [ 5, 3, 1 ]
JavaScript répond 18446744073709552000 à la première ligne. La troisième n'a pas d'équivalent sans un modèle d'IA externe.
Le code7 / 13
Des agents qui ne peuvent pas vous nuire
L'agent propose. Il ne commet pas.
Une étudiante lâche un agent qui « range » le cours
Update plan (610 of 610 operations to commit): * 1. delete file '…/course.zknw' * 2. delete file '…/curriculum.zknw' ...
Le tribunal répond
actor 'amina-helper-llm' cannot commit -- it lacks the 'effectful' capability PROVED the course folder still holds all 610 files
38garanties, chacune avec son garde
395 mspour détecter une attaque, mesuré
50 mspour la confiner, vérifié de l'extérieur
Agentique8 / 13
Wise coding, contre vibe coding · prouvé par deux gardes, 13 sur 13 et 52 sur 52
Wise coding9 / 13
Où se tient la plateforme · stades lus dans les dépôts aujourd'hui
Le domaine10 / 13
Le système d'apprentissage · 15 chapitres × 4 langues, chaque cellule a tourné · fr, ar, ha : brouillons · bureau seulement · aucun adoptant
Trois étapes : introduction, livre, documentation
Haoussa · Nemo, sannan ka aiwatar
Kowane wurin aiki yana karɓar buƙatu: gidan abinci yana karɓar oda, banki yana karɓar tikiti.
o1 = new stzList([ "tea", "rice", "tea", "fish", "rice", "tea" ]) ? o1.NumberOfItems() #--> 6
Français · Trouver, puis agir
Tout lieu de travail reçoit des demandes : un restaurant reçoit des commandes, une banque reçoit des tickets.
o1 = new stzList([ "tea", "rice", "tea", "fish", "rice", "tea" ]) ? o1.NumberOfItems() #--> 6
Ouvrir le lecteur · en · fr · ar · ha · construit en 3 minutes 22 secondes, chaque cellule verte
Apprendre11 / 13
Née en Afrique
Afrique12 / 13
Démarrer, en une heure
Un dépôt public. Un dossier, copié.
git clone https://github.com/mayouni/stzlib.git cd stzlib/libraries/stzlib
premier
? Q("Softanza").Boxed()Sortie
┌──────────┐ │ Softanza │ └──────────┘
github.com/mayouni/stzlib · ouverte, MIT : toute la plateforme, rien de retenu
Démarrer13 / 13