Frank He
@AtticbeeFondateur / Architecte de systèmes concurrents
Frank est architecte de systèmes concurrents. Avant ALUX, il a passé près de 20 ans chez Lehman Brothers, Barclays Capital et Bloomberg comme analyste quantitatif senior et ingénieur en produits dérivés, à construire des systèmes de gestion des risques aux standards de Wall Street, qui devaient rester corrects en présence de concurrence — entre fuseaux horaires, organisations et millisecondes.
Cette carrière lui a laissé une conviction : le modèle d’exécution synchrone est arrivé au bout de ses possibilités. ALUX est sa réponse. Il a dirigé la conception de sa pile centrale :
TVM, machine virtuelle à espace de tuples
Les processus interagissent de manière concurrente par des canaux ; le filtrage par motifs fait office d’ordonnancement ; les titres d’accès fondés sur les capacités font office d’autorisation.
Tolang, langage de programmation concurrente
Tolang encode les descripteurs de canaux et les types comportementaux pour détecter certains usages incorrects en amont, tandis que l’environnement d’exécution applique les contraintes de cycle de vie.
OCAP, modèle de sécurité par capacités objet
Une référence de canal est infalsifiable et transférable ; les règles de portée et de cycle de vie limitent l’autorité sans s’appuyer uniquement sur l’accès fondé sur les adresses.
BlockGit, protocole de consensus à DAG
Les validateurs produisent des blocs DAG de manière concurrente. BlockGit utilise une sélection tournante du leader pour la finalité, tandis que Block Merge résout les tâches qui se chevauchent.
Couche décentralisée de transactions ACID
Les segments, l’annulation, les règles d’isolation et les points de validation préservent la sémantique ACID pour les tâches de longue durée et sur plusieurs blocs.
Machine virtuelle, langage et consensus s’articulent en un système où exécution concurrente et composabilité tiennent enfin ensemble — une couche de protocole conçue pour une économie ouverte et composable d’agents IA.