What if the operating system were a log?
felixd is the first step toward a distributed operating system whose state is a Felix log: programs that survive the loss of their machine, a stale copy that cannot write, and any past moment rebuilt on demand.