A next-generation programming platform?
Published
•1 min readM
Hands-on technology leader with 10+ years building scalable, mission-critical systems at Goldman Sachs, Brevan Howard and fast-growing fintechs. Expert in cloud-native architectures, distributed data pipelines and high-throughput systems; experienced in migrating legacy platforms and designing AI-enabled services. Proven track record delivering reliable platforms that process millions of transactions daily.
This startup has big claims about programming: The software world is swimming in a sea of accidental complexity caused by 40 years of accumulated technical debt.
The startup provides a set of tools and frameworks which help developers build better software systems. This includes:
- The Unison language: a powerful, typed, purely functional underlying programming language
- The Unison editor: a rich, in-browser semantic editor for editing programs
- The Unison node: the backend implementation of the Unison language, its typechecker, and the API used by the Unison editor and other remote nodes in the network
The project is MIT licensed and open source.