豆瓣🔗: 英文版：Effective C++: 55 Specific Ways to Improve Your Programs and Designs 中文版：Effective C++: 改善程序与设计的55个具体做法 Effective C++ Scott Meyers 55 Specific Ways to Improve Your Programs and Designs C++

Decision Procedures An Algorithmic Point of View Foreword to the first edition 刚开始阅读的时候没注意，第二遍阅读的时候发现foreword是Randal E. Bryant写的，就觉得这个名字很熟悉，

🔗: Use of Formal Methods at Amazon Web Services Use of Formal Methods at Amazon Web Services To safeguard that data, the core of each service relies on fault-tolerant distributed algorithms for replication, consistency, concurrency control, auto-scaling, load balancing, and other coordination tasks. We use deep design reviews, code reviews, static code analysis, stress testing, fault-injection testing, and many other techniques, but we still find that subtle bugs can