Roy Gonzalez
Software architect · distributed systems · language and compiler research
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
-
Work →
Eighteen years, eight companies, and what I actually did at each.
-
Research →
A language, a compiler workbench, a distributed database, a microkernel, and neuro-symbolic AI.
-
Writing →
Essays on consciousness, attention and formal systems.