Reinventing the Internet at the systems level.
Tlon is the corporate vehicle of the open-source Urbit software stack (urbit.org).
Urbit is a clean-slate reimplementation of the whole system software stack. On the bottom it's a replacement of the lambda calculus, in the middle it's a new functional programming language, on top it's a purely functional network operating system in which address space is property.