Notes
Courts essais, publications croisées et notes techniques.
-
PurRDF 1.0 : un seul moteur RDF, un seul comportement, tous les langages
PurRDF 1.0 est disponible : une boîte à outils RDF 1.2 écrite une seule fois en Rust et portée octet pour octet vers Python, WebAssembly/JavaScript et C. La recherche plein texte classée, les prédicats spatiaux et la similarité vectorielle sont répondus depuis SPARQL, dans le même processus et sur le même jeu de données — les trois tâches pour lesquelles un projet RDF faisait tourner PostgreSQL à côté de son triple store.
-
Logit Loom : faire de la frontière des tokens une surface programmable
Logit Loom fait de la frontière des tokens une surface Rust programmable : composez des transformations ordonnées des logits, observez les octets exacts des tokens, arrêtez-vous à des frontières définies, créez des checkpoints de sessions llama.cpp et conservez des reçus sérialisables des mécanismes exécutés.
-
GMEOW : une super-ontologie centrée sur le raisonnement pour l'existence numérique
Un nouveau projet d'ontologie : GMEOW, la Global Metadata and Entity Ontology for the Web — une super-ontologie centrée sur le raisonnement, en OWL 2 DL, ancrée dans gUFO, pour l'existence numérique d'une personne ou d'une organisation. Elle forge des termes canoniques et s'aligne vers FOAF, REL, DOAP, GEDCOM, PROV-O, ORG, schema.org, vCard et Wikidata, en traitant provenance, confiance, validité temporelle et coréférence comme des préoccupations de premier ordre.
-
Gmeow : votre boîte aux lettres est la mémoire de l'agent, gardez-la locale
Le problème récurrent des agents personnels utiles tient à ceci : le contexte dont ils ont besoin existe déjà, mais non dans le lieu bien rangé qu'une démonstration aimerait exhiber. Il est dans le courrier. gmeow rend ce substrat postal utile en local grâce à REST en loopback, MCP, PostgreSQL, la recherche sémantique, les sidecars de pièces jointes, le stockage objet et un graphe de connaissances local.
-
Le codage agentique requiert une validation humaine arrimée au réel physique
À mesure que les agents de codage IA passent d'outils d'autocomplétion passive à des contributeurs autonomes exécutant des branches fonctionnelles entières, nous fonçons vers un angle mort majeur de sécurité : comment prouver qu'un véritable humain a revu et vérifié le code généré par agent avant la production ?
-
Les principes d'ingénierie se doivent d'être une politique exécutable, non point une nostalgie de diaporama
Si les normes de votre équipe demeurent ensevelies dans un diaporama, vos agents d'IA les enfreindront assurément. coding-ethos compile un unique fichier YAML en configurations de linters, crochets git, consignes pour agents et serveur MCP, de sorte que les règles ne puissent dériver entre lecteurs humains et lecteurs machines.
-
Les Graph Neural Networks canoniques requièrent des variétés sémantiques courbes
Les GNN canoniques se trouvent structurellement contraints lorsqu'il s'agit de cartographier l'attribution textuelle complexe ; l'agrégation linéaire en espace euclidien plat entraîne inévitablement une dérive sémantique. Je cherche à nouer des liens avec des chercheurs en TDA, en apprentissage géométrique profond et en théorie spectrale des graphes.