We're still under construction!

And you just found out where. We're still working on this page. How did you get in here, anyway?

Luna OS

A distributed operating system built on the λ-chain concept.

Welcome to Luna OS, an operating system for the future!

Something's wrong in computing - every day there is another hack, or glitch, or bug, or just plain incompetence. These faults put your data, security, and privacy at risk. We're still building computing on the back of outdated skeuomorphic concepts like filesystems, folders, and untyped blobs of binary data. We're so invested in how we represent the data that it is getting in the way of actually using it. Unix smells, and yet we cannot rid ourselves of its corpse.

We're trying to do something about it.

Our computers should be fault-tolerant - they should be there to catch us when we fall. Luna OS is built on the lambdachain, which is a higher-order theory of computation that uses advanced type-theory to ensure that your data is provably secure, private, and flaw-free.

Computing doesn't have to be scary, and scaling doesn't have to be complicated.

Luna OS seeks to replace the turing-machine-oriented concepts of files, storage, networking, and access control by backing them with lambda-calculus-oriented equivalent of strongly-typed, strongly-originated facts on the lambdachain, allowing for easy distribution of computation over a network. Every OS needs a compiler; Lambdachain and Luna OS are two peas in a pod.

We still find methods of organizing data such as filesystems to be useful. We just think that how we present the data shouldn't get in the way of using that data. Luna OS works behind the scenes, replacing layers of technology all doing the same thing with a single ideal provable layer, while still allowing compilation for speed when it is allowable. Instead of multiple layers built from the ground up, Luna OS starts at the top, and compiles down.

What does the future hold for computing?

The compute of the future will come in many forms, and the computer of the future must handle them all.

Are you ready for the future of computing? Luna OS is, and we're here to help!

How do we Luna OS?

Luna OS is not yet available - we're still working on the lambdachain compiler, and lifting that to a full OS will some time after.

We're working on web and native interfaces for Luna OS. We're expecting to have a proper demonstration of at least one implementation available by early 2023. Come back before then, though - we'll get something for you to try out sooner rather than later.