Roy Gonzalez
I build distributed systems that have to stay provably correct — and the languages, compilers and neuro-symbolic tools that make that the default.
Eighteen years of systems that could not be wrong. One research programme about making that ordinary.
For eighteen years I have built systems that have to stay correct under load — a mission-critical trading platform, logistics integration across DHL, enterprise analytics, 3D geospatial tooling — mostly in C# and Go, on Kubernetes, at companies from Accenture to TradeStation.
Alongside that I run MLambda, an independent research programme. I designed and implemented Aleph, a functional language with a native foreign-function interface; Genesis, a compiler workbench that model-checks a specification before it builds anything from it; an actor-native distributed database; and Hilbert, a neuro-symbolic transformer architecture that reasons across five systems of logic and learns from each input without retraining.
My degrees are in software engineering and in the philosophy of formal science, taken together. That pairing is the whole of my work: I am interested in what a system provably does, not in what it appears to do.
- 18+years building software
- 8companies, US and Latin America
- 4documentation sites at mlambda.net
- 5published essays