本文探讨了程序“bug”的本质，指出其根源在于计算不可约性，即程序行为无法被完全预测。文章通过图灵机和元胞自动机等简单示例，说明即使简单程序也可能出现意外行为。作者认为，bug 是计算本质的体现，无法完全避免，但可通过设计良好的语言和可视化理解来减少其影响。

注解是嵌入源文件的补充信息，不影响程序行为，通常以@符号开头，如@Deprecated和@Override，便于代码开发和文档化。JDK 8新增了@Repeatable和@Native等注解。