TAG
# 思考
按具体问题和线索重新找到相关内容。

中式巨构:技术终于有能力回应一个古老的梦

Reuseio:为 AI 时代重新定义"软件复用"的注册中心

MicroGPT解读&思考

让 AI 像育种一样进化算法,会发生什么?

Hazard Pointers:无锁数据结构删除节点后,谁来保证它还没被读到?

AI 编程为什么需要“证据链”?

只看无声视频,AI 能自己学会重力和物体运动吗?

Metamorphic Testing:没有标准答案时,怎么判断程序错了

给 AI 一个目标,还是给它一串步骤?

对编程语言发展历程的思考:从比特到思想

BBR:网络拥塞为什么不能只看丢包?

Hybrid Logical Clock:没有可靠全球时钟,分布式系统如何记录先后?

云同步和云备份,为什么根本不是一回事

AI 编程为什么第一版很快,第二版却越来越难改

AI 编程为什么要先 Plan 再 Edit?

Gradual Typing:动态类型和静态类型怎样和平共处?

DeepSeek Harness:把"智能体"拆成乐高

手段与目的:一台没有"羞耻"的理性机器

RPKI 路由源验证:怎样确认一个网络前缀确实由某个 AS 宣告?

Abstract Interpretation:静态分析为什么不用真正运行程序?

Epoch Reclamation:并发程序为什么要等“这一代线程”都走完再释放内存?

AI 编程会让程序员消失吗

Vibe Coding 时,为什么最容易泄露 API Key 和密码

Vibe Coding 最适合做什么,最不适合做什么

“端到端加密”到底保护了什么

推荐算法为什么总能猜中你想看什么

可复现构建:同一份源代码应该得到同一份软件

给 AI 编程 Agent 关进沙箱:本机沙箱和云沙箱有什么区别?

让模型忘掉一条训练数据:机器遗忘到底能不能做到?

Fencing Token:分布式锁过期后,怎样挡住迟到的旧写入?

PSI:CPU 没跑满,系统为什么还是会卡?

Agentic Debt:重复造轮子已成系统性现象

从简单的尝试到三十万次下载

AI 编程时代,为什么 Git 和 Pull Request 更重要了

机器翻译为什么语法对了,语气却不对

AI 一次回答到底耗多少电?为什么没有固定答案

Diffusion LLM:语言模型也能从噪声里逐步生成文字吗?

短信验证码真的安全吗?不同二次验证方式的安全差异

两台设备同时改一个文件,为什么会产生冲突副本

互联网被 AI 内容淹没后,下一代 AI 会变笨吗?

Sloppy Quorum 与 Hinted Handoff:副本故障时,数据能先寄存到别处吗?

seccomp 用户态通知:系统调用怎样交给另一个进程处理?

Vector Clock:多个副本同时修改,系统怎样知道是先后还是冲突?

ECN:网络拥塞时,能不能标记数据包而不是丢掉它?

Linearizability:多线程操作如何看起来像在同一瞬间完成?

