待验证85% 置信事实时间未知
1979年Stephen Johnson为C语言编写了第一个lint工具
1
来源数
85%
置信度
长期有效
时效性
2026/6/1
首次发现
来源
一个Prompt文件，让AI写出真正优雅的代码
githubyegor256
涉及实体
相关事实
待验证C语言由Dennis Ritchie于1972年在B语言基础上设计发明56% 相似已验证字节对编码（BPE）由 Philip Gage 于 1994 年提出，后被 Sennrich 等人于 2016 年引入神经机器翻译领域56% 相似待验证Scheme 语言在1975年由 Guy L. Steele 和 Gerald Jay Sussman 在 MIT 发明56% 相似待验证线程化代码（Threaded Code）最早可追溯到1970年代Charles Moore的Forth语言实现56% 相似待验证程序化语义的哲学根基可追溯至George Miller与Philip Johnson-Laird在1976年提出的'心智程序'概念55% 相似
引用此条事实
Stable URI
https://kongchang.com/claim/28821API
curl https://kongchang.com/api/v1/knowledge/claims/28821MCP
get_claim(id=28821)