Frank He
@AtticbeeFundador / Arquitecto de sistemas concurrentes
Frank es arquitecto de sistemas concurrentes. Antes de ALUX, pasó casi 20 años en Lehman Brothers, Barclays Capital y Bloomberg como ingeniero sénior de derivados y cuantitativo, desarrollando sistemas de riesgo de nivel Wall Street que debían mantener la corrección bajo concurrencia, a través de zonas horarias, organizaciones y milisegundos.
Esa trayectoria le dejó una convicción: el modelo de ejecución síncrona ha llegado a su fin. ALUX es su respuesta. Lideró el diseño de su pila central:
Máquina virtual de espacio de tuplas (TVM)
Los procesos interactúan concurrentemente mediante canales; la correspondencia de patrones es la planificación; las credenciales de capacidad son la autorización.
Lenguaje de programación concurrente Tolang
Tolang codifica descriptores de canal y tipos de comportamiento para detectar algunos usos indebidos con antelación, mientras el runtime aplica restricciones del ciclo de vida.
Modelo de seguridad OCAP basado en capacidades de objetos
Una referencia de canal es imposible de falsificar y transferible; las reglas de ámbito y ciclo de vida limitan la autoridad sin depender únicamente del acceso basado en direcciones.
Protocolo de consenso DAG BlockGit
Los validadores producen bloques DAG concurrentemente. BlockGit usa una selección rotatoria de líder para la finalización, mientras Block Merge resuelve el trabajo superpuesto.
Capa de transacciones ACID descentralizada
Los segmentos, la reversión, las reglas de aislamiento y los puntos de confirmación preservan la semántica ACID para el trabajo de larga duración y entre bloques.
La máquina virtual, el lenguaje y el consenso se entrelazan en un sistema donde la ejecución concurrente y la componibilidad por fin se sostienen juntas: una capa de protocolo para una economía abierta y componible de agentes de IA.