https://406a042a.blog-yq6.pages.dev/zh/paper/ Recent content in 论文 on Lucida Blog Hugo zh Sat, 02 May 2026 12:15:00 -0700 https://406a042a.blog-yq6.pages.dev/zh/paper/computing-machinery-and-intelligence/ Sat, 02 May 2026 12:15:00 -0700 https://406a042a.blog-yq6.pages.dev/zh/paper/computing-machinery-and-intelligence/ Turing 用模仿游戏重写“机器能否思考”的问题，并系统回应常见反对意见，最终把关键转向可学习机器。 https://406a042a.blog-yq6.pages.dev/zh/paper/the-use-of-knowledge-in-society/ Sat, 02 May 2026 11:30:00 -0700 https://406a042a.blog-yq6.pages.dev/zh/paper/the-use-of-knowledge-in-society/ Hayek 论证经济问题的核心不在于集中计算给定数据，而在于如何利用分散在无数个体手中的局部知识；价格体系正是处理这件事的社会机制。 https://406a042a.blog-yq6.pages.dev/zh/paper/time-clocks-and-ordering-of-events/ Thu, 30 Apr 2026 22:00:00 -0700 https://406a042a.blog-yq6.pages.dev/zh/paper/time-clocks-and-ordering-of-events/ Lamport 经典论文：用 happened-before 偏序刻画分布式系统中的事件顺序，并由此引出逻辑时钟、全序排序、互斥算法和物理时钟同步。 https://406a042a.blog-yq6.pages.dev/zh/paper/end-to-end-arguments-in-system-design/ Thu, 30 Apr 2026 13:00:00 -0700 https://406a042a.blog-yq6.pages.dev/zh/paper/end-to-end-arguments-in-system-design/ Saltzer、Reed 和 Clark 提出端到端论证：许多功能只有在系统端点处才能被完整正确地实现，低层提供它们通常只应被视为性能优化。 https://406a042a.blog-yq6.pages.dev/zh/paper/the-strength-of-weak-ties/ Thu, 30 Apr 2026 12:30:00 -0700 https://406a042a.blog-yq6.pages.dev/zh/paper/the-strength-of-weak-ties/ Granovetter 论证，真正把不同群体连接起来、让信息、机会与组织能力跨圈层流动的，往往不是强关系，而是弱关系。 https://406a042a.blog-yq6.pages.dev/zh/paper/on-the-criteria-to-be-used-in-decomposing-systems-into-modules/ Thu, 30 Apr 2026 12:00:00 -0700 https://406a042a.blog-yq6.pages.dev/zh/paper/on-the-criteria-to-be-used-in-decomposing-systems-into-modules/ Parnas 用 KWIC 示例说明，好的模块划分标准不是流程步骤，而是隐藏那些最可能变化、最值得隔离的设计决策。 https://406a042a.blog-yq6.pages.dev/zh/paper/unix-time-sharing-system/ Tue, 28 Apr 2026 21:54:00 -0700 https://406a042a.blog-yq6.pages.dev/zh/paper/unix-time-sharing-system/ Ritchie 和 Thompson 介绍早期 UNIX 的文件系统、进程模型、Shell、I/O 统一抽象，以及这个小型分时系统为何能保持简洁而有力。 https://406a042a.blog-yq6.pages.dev/zh/paper/axiomatic-basis-for-computer-programming/ Mon, 27 Apr 2026 12:00:00 -0700 https://406a042a.blog-yq6.pages.dev/zh/paper/axiomatic-basis-for-computer-programming/ Hoare 以公理和推理规则为核心，提出一种证明程序部分正确性的框架，并据此讨论程序证明、语言定义、文档和可移植性。 https://406a042a.blog-yq6.pages.dev/zh/paper/unreasonable-effectiveness-of-data/ Sun, 26 Apr 2026 23:29:00 -0700 https://406a042a.blog-yq6.pages.dev/zh/paper/unreasonable-effectiveness-of-data/ Halevy、Norvig 和 Pereira 认为，在自然语言和 Web 数据问题上，海量真实数据与简单可扩展模型往往比精巧但小规模的理论更有效。 https://406a042a.blog-yq6.pages.dev/zh/paper/you-and-your-research/ Sun, 26 Apr 2026 23:28:00 -0700 https://406a042a.blog-yq6.pages.dev/zh/paper/you-and-your-research/ Hamming 从 Bell Labs 和科学史经验出发，讨论如何选择重要问题、管理自己、积累勇气与工作习惯，从而做出有长期价值的研究。 https://406a042a.blog-yq6.pages.dev/zh/paper/programming-as-theory-building/ Sun, 26 Apr 2026 22:51:00 -0700 https://406a042a.blog-yq6.pages.dev/zh/paper/programming-as-theory-building/ Naur 认为编程的核心不是生产程序文本，而是程序员围绕问题和解法建立可解释、可延续、可修改的理论。 https://406a042a.blog-yq6.pages.dev/zh/paper/the-bitter-lesson/ Sun, 26 Apr 2026 22:50:00 -0700 https://406a042a.blog-yq6.pages.dev/zh/paper/the-bitter-lesson/ Sutton 总结 AI 研究反复得到的教训：长期胜出的不是手工注入人类知识，而是能随计算规模增长而扩展的搜索和学习方法。 https://406a042a.blog-yq6.pages.dev/zh/paper/reflections-on-trusting-trust/ Sun, 26 Apr 2026 22:11:00 -0700 https://406a042a.blog-yq6.pages.dev/zh/paper/reflections-on-trusting-trust/ Thompson 通过自复制程序和被植入后门的编译器，展示为什么源码审计也无法完全证明工具链和软件供应链可信。 https://406a042a.blog-yq6.pages.dev/zh/paper/computer-programming-as-an-art/ Sun, 26 Apr 2026 22:10:00 -0700 https://406a042a.blog-yq6.pages.dev/zh/paper/computer-programming-as-an-art/ Knuth 从 art 与 science 的历史含义谈起，说明程序设计既需要可形式化的科学基础，也需要品味、风格和审美判断。 https://406a042a.blog-yq6.pages.dev/zh/paper/no-silver-bullet-essence-and-accidents-of-software-engineering/ Sun, 26 Apr 2026 12:40:00 -0700 https://406a042a.blog-yq6.pages.dev/zh/paper/no-silver-bullet-essence-and-accidents-of-software-engineering/ 区分软件工程中的本质困难与偶然困难，并解释为什么没有单一技术能带来数量级级别的生产率提升。 https://406a042a.blog-yq6.pages.dev/zh/paper/the-rise-of-worse-is-better/ Sun, 26 Apr 2026 12:30:00 -0700 https://406a042a.blog-yq6.pages.dev/zh/paper/the-rise-of-worse-is-better/ 解释“越差越好”为何能在真实世界胜出：简单实现、快速传播和可演化性常常压过完美设计。 https://406a042a.blog-yq6.pages.dev/zh/paper/hints-for-computer-system-design/ Sun, 26 Apr 2026 12:00:00 -0700 https://406a042a.blog-yq6.pages.dev/zh/paper/hints-for-computer-system-design/ 关于系统设计的一组经验法则：如何保持接口简单、让系统更快，并在容错性与复杂度之间做取舍。