我觉得如果中小学开一门《形式逻辑》，以此取代《思想品德》，“中华民族复兴”能提前不少年。

据说明年计划生育政策要松口，允许“单独两孩”了。凑巧，明年也是田建民事件20周年。

构想一个场景：现在各地运营商明里暗里搞的劫持系统，本身安全性就堪忧，被控制一点不奇怪（wooyun上有案例）。如果有人搞定了劫持系统，然后劫持各种软件的云端指令，如果这些云端指令的设计上没有签名校验机制，那么整个地区的机器就会在短时间内被批量控制。而且无声无息，难以防御，难以发现。

对客户端+云端指令这种结构，应对云端下发的指令进行数字签名，并由客户端在执行指令前校验签名。否则可能导致类似自动升级程序不校验升级包签名一样的风险。自动升级包的问题，有韩国农协银行被入侵的事件在那里，大家都见过了。劫持云端指令的攻击案例，目前还没见到，希望将来也不要有。

这如果是一段程序，大概会因为自指涉而陷入死循环。这就是为什么我喜欢计算机而不喜欢你们地球人。