Embryo Systems
Reconstruire le système HBDS de François Bouillé à partir du polycopié original de 1995. En Rust.
Dans les années 1990, le L.I.S.T., un laboratoire de Jussieu, enseignait un système informatique complet conçu par son directeur : un modèle de données, un langage, une couche de stockage et un moteur d’inférence, tous bâtis sur les six mêmes types abstraits. Il n’en reste presque rien en ligne.
J’ai toujours le polycopié. Ce projet s’en sert comme source pour reconstruire le système, avec des grands modèles de langage comme binôme pour la transcription et le code, et chaque décision ramenée à une page.
État
- Source
- Le polycopié de 1995 est en main et numérisé.
- Scan
- Fait : 165 pages à 320 dpi, avec une couche de texte OCR. Sa publication dépend de son statut juridique, à l’étude.
- Code
- Pas commencé. Rust.
- Site
- En cours d’écriture. Les pages historiques sont des brouillons.
Une première tentative, 2007-2011, en C puis en Erlang, écrite de mémoire, survit sous le nom orange.
Feuille de route
- Numériser le polycopié en résolution d’archive.
- Le transcrire, texte et schémas, avec l’aide de LLM, vérifié page par page.
- Écrire le noyau HBDS en Rust : les types abstraits, l’hypergraphe, le squelette. Des tests tirés des exemples du polycopié.
- Reconstruire les couches qui le méritent. Le moteur ADT, sans aucun doute. Pas tous les sous-systèmes : SFSI, le système de fichiers du polycopié, est un travail qu’une base de données fait aujourd’hui. Chaque choix est écrit.
- Documenter les écarts entre le code et le texte.