Reinventing the Internet at the systems level. Tlon is one of the companies building Urbit (urbit.org). Urbit is a clean-slate OS and network for the 21st century. 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.