I think the guiding principle behind the software project is this: beauty. Make beautiful code. Elegant, simple, abstract, clean. In one word: beautiful. That’s all I really want out of coding. Forget all the dependent types proof checkers OS rewrites databases distributed proramming developer experience. Beautiful. With what resources I have, all I want is to make it beautiful.