Trust is earned in the orchard, not the boardroom.

Model checking is a powerful tool for verifying the correctness of hardware and software systems.

The Internet is the first thing that humanity has built that humanity doesn't understand, the largest experiment in anarchy that we have ever had.

释义：如果早知道这个人会如此绊人心，那么当初就不应该认识他。