Recherche/innovation en logiciels (bas/haut-niveau) et en solutions transversales.
La plupart des projets échouent avant le code : sujet ambigüe, spécification floue, interfaces non contractualisées, dette de conception invisible, invention hors-contrat dans le code.
Les protocoles existants (B Method, VDM) ont résolu ce problème théoriquement, mais ils restent partiels et ont échoué à l'adoption individuelle.
Je partage une procédure légère en 4 phases (Sujet → CheckList → Architecture → Implémentation) qui force la contractualisation de chaque composant clé (fichier, système, agent) pour son debug logique, avant d'écrire son code. Chaque composant est défini par ses Behaviours, Invariants, Outputs, Processus, Garanties et Erreurs (BIOPGE).
Fondé et utilisé sur l'intégralité de mon cursus 42 (Cercle 2+). Optimise la vitesse d'apprentissage ET la qualité de production.
Cible : Étudiants 42, ingénieurs système, développeurs toutes stacks cherchant une rigueur formelle sans over-engineering.
-
Modélisation de systèmes en contrats, flux et invariants, avant le script.
-
Typage épistémique pour qualifier et intégrer isolement ce qui n'est pas maîtrisé dans un système/logiciel.
-
Architecture auto-documentée (PACT, BIOPGE) lisible par l'humain et l'artificiel.
-
Intégration de domaines hétérogènes (pensée et système transversaux permettant d'intégrer des domaines hors-spécialisation).
-
Conception d'outils cognitifs visant l'augmentation des compétences humaines et les capacités de travail par l'agentique IA.
| Domaine | Technologies | Posture |
|---|---|---|
| Bas niveau | C11, Unix, Shell |
Maîtriser les primitives pour l'abstraction logicielle |
| Infrastructure | Docker, Linux, Git, Cloudflare |
Environnements isolés, reproductibles, auditables |
| Systèmes autonomes | Python, LLM, APIs |
Automatisation des flux (banale à sensible) avec supervision humaine |
| Web & déploiement | Astro, SvelteKit, Cloudflare Pages |
Interfaces légères sur infrastructure souveraine, sans spécialisation front. |
Recherches appliquées traitées dans SaycaLabs.git/research
où les explorations suivantes appliquent les principes de PACT :
- Architectures agentiques - typifier les agents par contrats réactifs
- Inférence locale - quantification GGUF/EXL2, modèles MoE pour exécution souveraine
- Systèmes - RFC IPC haute performance, veille continue sur la sécurité mémoire C/Unix
- IA neuro-symbolique - hybridation raisonnement logique formel et modèles de langage
| Dépôt | Description |
|---|---|
PACT for Software v0.52 |
Synthèse opérationnelle structurée en 3 frames ontologiques: Abstrait <-> Formel <-> Concret. Là où les protocoles formels complets (B Method, VDM) ont échoué à l'adoption individuelle. |
PACT for Any Domain v0.50 |
Variante globale du même concept, compatible tout-domaine (ex: Business Building, Human Associations, any-domain problems definition, ...) : Abstrait <-> Formel <-> Concret. |
dotfiles |
Configurations shell modulaires WSL2, Linux, macOS |
axiom_libc |
Librairie exploratoire basée sur C23. |