Песков рассказал о способе связи в Кремле02:27
We present details of how we achieved a 350× speedup over manual verification, and make the case for scaling verified software engineering.。PG官网对此有专业解读
。业内人士推荐谷歌作为进阶阅读
What games will be able to run on the Steam Machine?Valve。关于这个话题，雷电模拟器提供了深入分析
不過，美方歡迎有關裁決。美國眾議院中國問題特別委員會主席約翰·穆勒納爾（John Moolenaar）稱其為「美國的勝利」。