系统设计的未来在于将形式化方法与传统工程实践相结合。
全球南方在艺术实践方面有很多可以教给北方的东西。
"The quest for efficient algorithms is a journey through the landscape of mathematical possibility."
给你敬佩的人写信或打电话,请他们提供建议或与其会面的机会。你永远不知道谁愿意跟你见面。最后你会从这些人身上学到很多重要的东西,建立你在余生都可以享用的人际关系。在生命早期结交的人,会与你缔结非同寻常的感情纽带。
Don't let them see you bleed.
I truly believe that women should be financially independent from their men. And let’s face it, money gives men the power to run the show. It gives men the power to define value. They define what’s sexy. And men define what’s feminine. It’s ridiculous.
Being and time belong together.