TAG
# 编程
按具体问题和线索重新找到相关内容。
DeepSeek-V4-Flash：跑得快没奖励，跑得慢有惩罚
《我的世界》游戏模组开发指南：用AI构建你的第一个模组
CAS：文件的身份可以由内容决定
AST：AI 为什么不只是在“读代码文本”？
CPG：把代码变成一张可以查询的关系图
AI 编程会让程序员消失吗
Merkle DAG：为什么一处改动可以快速传遍依赖关系
AI 写出来的测试靠谱吗？测试通过就代表没问题吗
Metamorphic Testing：没有标准答案时，怎么判断程序错了
科研人员用 AI 写软件，为什么“科学正确”比“代码能跑”更难？
对编程语言发展历程的思考：从比特到思想
文件删除以后去了哪里？为什么有时还能恢复？
LSP 是编辑器和编程语言之间的共同语言
0.1＋0.2 为什么不等于 0.3？计算机真的算错了吗？
Source Map：线上代码出错时，为什么还能找到源文件
AI 编程为什么第一版很快，第二版却越来越难改
SLSA Provenance：软件产物的“出生证明”
Consumer-driven Contract：前端真正依赖的是什么
HTTP 103 Early Hints：网页还没返回，服务器为什么先说一声
SQLite复兴：从一个文件到边缘数据库
Animejs - 前端动画库
Kimi K3
AI 生成的代码会不会复制开源项目
AI 代码审查能不能替代人类 Code Review
云端 AI 编程环境和本机环境有什么区别
AI 怎么读懂一个大型代码仓库？
SSA：为什么编译器喜欢让变量“只赋值一次”
一个 SKILL.md 如何让 AI 学会一套可复用工作流？
Vibe Coding 时，为什么最容易泄露 API Key 和密码
Vibe Coding 最适合做什么，最不适合做什么
CFG：程序不是一条线，而是一张路网
Semantic Diff：代码改了多少行，不等于逻辑改了多少
使用 AI 为项目接入 Supabase 数据库
氛围编程入门
氛围编程避坑
污点分析：一滴输入如何穿过整个程序
为什么 AI 编程项目开始需要 AGENTS.md？
Vibe Coding 是什么？从一句话到可运行应用
Temporal：为什么程序员最怕 2 月 29 日和夏令时
Unicode：一个 Emoji 为什么 length 不是 1
Passkey通行密钥：为什么用指纹登录比密码更安全
MicroGPT解读&思考
AI 编程时代，为什么 Git 和 Pull Request 更重要了
AI 写 SQL 和数据库迁移，为什么必须人工确认
Property-based Testing：不要只测试几个例子
AI 编程为什么需要“证据链”？
Skill是什么？
Tree-sitter：为什么编辑器不用每次重读整个文件？
OpenAPI 如何让 AI 同时写前后端不“各说各话”？
Hermetic Build：让构建不再偷偷依赖你的电脑
语音搜索一定先变成文字吗？AI 开始绕过转写这一步
WebAssembly Component Model：不同语言写的模块如何拼在一起？
SBOM：软件也应该有一份配料表
Coverage-guided Fuzzing：让测试输入朝“新路径”前进
可复现构建：同一份源代码应该得到同一份软件
LSIF：把“跳转定义”变成可以搬运的代码地图
AI 编程为什么要先 Plan 再 Edit？
AI 编程该用聊天框、编辑器，还是终端 Agent
HTTPS 握手：浏览器和服务器刚连上时到底在聊什么
幂等键：支付按钮点两次，为什么不能扣两次钱
