知识动态实体播客深度开发者关于

[控场AI]

AI 领域实时知识。所有信息可溯源验证，数据 24 小时内持续更新。

Powered by 240+ first-hand AI sources

知识库

知识动态
热门实体
播客

开发者

CLI
MCP Server
REST API
关于

© 2026 KongchangAI. 控场AI，获取最新、最准的 AI 领域知识

待验证50% 置信事实精确时间

Lazy Evaluation（延迟计算）最早由计算机科学家Peter Henderson和James H. Morris于1976年在论文中系统阐述

1

来源数

50%

置信度

中期 (~90 天)

时效性

2026/7/3

首次发现

有效期至：2026/10/1

来源

Vibecoding实战：如何让AI精准借鉴开源项目而不跑偏

bilibili破妄-胖2026/7/2

相关事实

待验证Alpha-Beta剪枝的完整理论分析直到1975年才由Donald Knuth和Ronald Moore正式完成，但塞缪尔在1950年代就已在实践中使用了这一思想57% 相似待验证有限状态机的理论基础由沃伦·麦卡洛克和沃尔特·皮茨在1943年的神经网络研究中奠定，后经摩尔和米利在20世纪50年代形式化为完整的自动机理论56% 相似待验证"过早优化是万恶之源"出自计算机科学家高德纳（Donald Knuth）1974年的论文56% 相似待验证Linter概念最早可追溯到1978年贝尔实验室Stephen C. Johnson为C语言编写的lint静态分析工具55% 相似待验证SM-2算法由波兰研究者彼得·沃兹尼亚克于1987年开发，根据用户对每次复习的自评难度动态调整下次复习间隔，Anki、SuperMemo等工具已将其产品化55% 相似

引用此条事实

Stable URI

https://kongchang.com/claim/62046

API

curl https://kongchang.com/api/v1/knowledge/claims/62046

MCP

get_claim(id=62046)