Urbit

urbit.org

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.