TAG
# 技术
按具体问题和线索重新找到相关内容。
为什么可见GEO敢把原始数据交给你——相较市面 GEO 服务的核心差异
软件复杂度分配：开发者和用户各自该承担什么
DeepSeek Harness：把"智能体"拆成乐高
DeepSeek-V4-Flash：跑得快没奖励，跑得慢有惩罚
语言模型中的全局工作区
MicroGPT解读&思考
Sited 2.0 焕新上线：更现代、更安全、更优雅的静态网页部署平台
AI 生成的代码会不会复制开源项目
RISC-V PMP：处理器怎样给不同特权级划出内存禁区？
CAS：文件的身份可以由内容决定
机器翻译为什么语法对了，语气却不对
ABI：为什么源码能编译，二进制却不能互相调用？
为什么二维码破了还能扫出来？二维码的纠错秘密
EEVDF：Linux 如何判断哪个任务“最该先用 CPU”？
WAL：为什么数据库要先写日志，再写真正数据？
DPDK Poll Mode Driver：为什么有些网卡程序宁可轮询，也不等中断？
CPG：把代码变成一张可以查询的关系图
AF_XDP：Linux 怎样把高速网卡数据直接交给用户程序？
pidfd：进程号会被重用，怎样才能稳定指向一个进程？
SSA：为什么编译器喜欢让变量“只赋值一次”
NVMe ZNS：为什么有些 SSD 要求数据按区域顺序写？
Merkle DAG：为什么一处改动可以快速传遍依赖关系
MCP：AI 的「USB-C」时刻
E-graphs：AI 如何同时保留一百种等价写法，最后挑出最好的？
短信验证码真的安全吗？不同二次验证方式的安全差异
NUMA：同一台机器上的内存，为什么有的更近更快？
OpenAPI 如何让 AI 同时写前后端不“各说各话”？
RAG是什么？
userfaultfd：程序能不能自己接管缺页处理？
Refinement Types：类型不只说“这是整数”，还可以说“它大于 0”
1.58 比特大模型：参数只有 −1、0、1，为什么还能推理？
Intel TDX：云服务器管理员也看不到虚拟机里的数据吗？
Copy-on-Write：父子进程为什么可以先共享同一份内存？
一张贴纸就能骗过视觉 AI？对抗样本不是魔法
对编程语言发展历程的思考：从比特到思想
QUIC：为什么 HTTP/3 选择在 UDP 上重新造一套传输协议？
文件删除以后去了哪里？为什么有时还能恢复？
QPACK：HTTP/3 如何压缩重复的请求头，还不被队头阻塞拖住？
垃圾邮件过滤器怎么知道一封邮件像诈骗
PAC：处理器如何识破被动过手脚的指针？
Happy Eyeballs：IPv6 连不上，浏览器为什么不用干等？
LSP 是编辑器和编程语言之间的共同语言
kTLS：TLS 加密为什么有一部分可以交给 Linux 内核？
CRUSH：Ceph 怎样决定数据放在哪些磁盘和机架上？
MCP Tasks：工具调用为什么也需要“任务状态机”？
ECMP：网络设备如何把流量分到多条同样好的路径？
为什么同一张图片换个格式就小很多
Oblivious HTTP：怎样让中继不知道你请求的具体内容？
LSM-tree：为什么高写入数据库要先记下来，再慢慢整理？
DAMON：操作系统怎样低成本找出“很少被访问”的内存？
FFI：Python、Rust、C 为什么能互相调用？
CXL 内存池：一台服务器用不完的内存，能否分给另一台？
SMT Solver：让机器回答“有没有满足这些条件的输入”
为什么 AI 编程项目开始需要 AGENTS.md？
Fencing Token：分布式锁过期后，怎样挡住迟到的旧写入？
Linearizability：多线程操作如何看起来像在同一瞬间完成？
HPKE：公开密钥怎样和高速对称加密搭配工作？
CHERI Capability：如果指针自带访问范围和权限，会怎样？
φ Accrual Failure Detector：节点没回心跳，系统如何判断它是真的死了？
网页也能像 App 一样丝滑切场？浏览器在动画期间做了什么
同一个问题问三遍，AI 为什么会给出三个答案？
为什么同一家网站越逛越省流量？网页也有共同词典
布隆过滤器：系统如何快速判断一个东西肯定不存在
令牌桶限流：API 如何把流量洪峰变成可控波浪
当一个 Agent 调用另一个 Agent，权限到底应该算谁的
AI Agent 可观测性：如何知道它到底在哪一步出错
50 亿 Passkey：无密码登录最难的其实是找回账号
DNS 缓存：为什么改了域名却不能立即生效
二维码破了一块为什么还能扫？——错误纠正的秘密
模型路由：为什么 AI 应用不该每个问题都调用最强模型
边缘函数：把代码跑在全球服务器
SQLite复兴：从一个文件到边缘数据库
致命三件套：AI开发的安全红线
大模型评测（LLM Evals）：为什么你的 AI 应用上线前必须做这件事
HTTP/3 与 QUIC：为什么互联网要把传输层重造一遍
语义缓存：把 LLM 账单砍半的隐藏利器
Intelligent UI：AI正在重新定义软件交互方式
软件复用：从“造轮子”到“搭积木”的工程师思维
Agentic Debt：重复造轮子已成系统性现象
手段与目的：一台没有"羞耻"的理性机器
Bridge API
半年，从复制粘贴到Agent管项目
《我的世界》游戏模组开发指南：用AI构建你的第一个模组
让 AI 像育种一样进化算法，会发生什么？
RCU：读多写少的系统，为什么敢让读者几乎不加锁？
AI 为什么会推荐不存在的 npm 包？
DANE/TLSA：DNSSEC 能否帮助验证网站的 TLS 证书？
AST：AI 为什么不只是在“读代码文本”？
提示词也能缓存：固定前缀为什么能省钱提速？
Certificate Transparency：TLS 证书为什么要公开留日志？
ORCA：大模型服务怎样在每生成一个 token 后重排队伍？
Seqlock：读者不加锁，为什么还能读到一份一致的数据？
网站为什么越来越少让你拼图验证“我是人”
Wasm Component Model：不同语言写的模块怎样用同一套接口协作？
Futex：Linux 的锁为什么大多数时候根本不需要进内核？
只看无声视频，AI 能自己学会重力和物体运动吗？
io_uring：Linux 如何用两个环形队列批量处理异步 I/O？
PDF 里的电子签名，为什么不是贴一张手写图片
HNSW：向量数据库怎样在“小世界图”里快速找相似项？
Tree-sitter：为什么编辑器不用每次重读整个文件？
CoDel：路由器怎么知道排队太久，而不是只看队伍多长？
Hedged Requests：为什么同一个请求有时会被同时发两次？
两台设备同时改一个文件，为什么会产生冲突副本
Landlock：普通程序也能给自己加一道 Linux 沙箱吗？
RDMA：两台机器能否让网卡直接搬运注册内存？
Hermetic Build：让构建不再偷偷依赖你的电脑
如何让内容更容易被国内大模型引用
BPF CO-RE：一份 eBPF 程序怎样适配不同 Linux 内核？
Compare-and-Swap：并发程序如何用一次原子比较避免互相覆盖？
语音搜索一定先变成文字吗？AI 开始绕过转写这一步
MASQUE CONNECT-UDP：HTTP 代理怎样替你转发 UDP 流量？
MVCC：数据库如何让读写同时发生，却尽量互不阻塞？
DMA-BUF Fence：GPU 和摄像头如何知道共享画面何时处理完？
Superoptimization：普通编译器做不到的极致优化，怎么搜出来？
不做 OCR 也能搜 PDF？视觉文档检索怎么工作
ECH：TLS 怎样把连接时暴露的网站域名也藏起来？
BBR：网络拥塞为什么不能只看丢包？
图片上的“内容凭证”是什么？它能证明图片是真的吗
HyperLogLog：不保存所有访客 ID，怎样估算独立访客数？
Anycast：同一个 IP 地址，为什么可以同时存在于全球多座城市？
0.1＋0.2 为什么不等于 0.3？计算机真的算错了吗？
Dominator Tree：一条程序路径上谁是必经之地？
Foundit架构解析
seccomp 用户态通知：系统调用怎样交给另一个进程处理？
给 AI 编程 Agent 关进沙箱：本机沙箱和云沙箱有什么区别？
False Sharing：不同线程改不同变量，为什么也会互相拖慢？
污点分析：一滴输入如何穿过整个程序
ECN：网络拥塞时，能不能标记数据包而不是丢掉它？
LSIF：把“跳转定义”变成可以搬运的代码地图
PREEMPT_RT：Linux 怎样减少“重要任务被打断太久”？
KSM：虚拟机里重复的内存页，能不能只保留一份？
SLSA Provenance：软件产物的“出生证明”
HTTP 103 Early Hints：网页还没生成完，浏览器能先做什么？
PSI：CPU 没跑满，系统为什么还是会卡？
Gradual Typing：动态类型和静态类型怎样和平共处？
学会新知识，反而忘掉旧本领：AI 也会灾难性遗忘
禁用 Cookie 以后，网站为什么仍可能认出你？
AI 为什么宁愿编一个答案，也不肯说“不知道”？
CRDT：两个人同时改同一段文字，为什么不会互相覆盖
机器人怎么把“把杯子放到桌上”变成连续动作
AI 图片检测不靠谱时，C2PA 如何记录内容从哪里来
AI 搜索真正难的不是生成答案，而是维护引用链
HTTP 103 Early Hints：网页还没返回，服务器为什么先说一声
Durable Execution：如何让长任务 Agent 崩溃后接着工作
Unicode：一个 Emoji 为什么 length 不是 1
A2UI：AI Agent 为什么不应该只返回一段文字
提示注入：AI 应用最被低估的风险
Agent 记忆机制：短期、长期与情景记忆怎么配合才不「转头就忘」
Agent网关为什么成了企业标配？
A2A：当 Agent 开始互相「递名片」
流式输出：让 AI 回答像打字机一样逐字蹦出来
Jev：一款不擅长聊天的AI，为什么可能改变未来的游戏和互联网？
中式巨构：技术终于有能力回应一个古老的梦
你的品牌在AI眼里到底存不存在？这套系统说了算
Kimi K3
构建高效的智能体
如何为海量软件项目做「可追溯的分类整理」
RPKI 路由源验证：怎样确认一个网络前缀确实由某个 AS 宣告？
fscrypt：只给手机里的某个文件夹加密，系统怎么做到？
Abstract Interpretation：静态分析为什么不用真正运行程序？
AI 写 SQL 和数据库迁移，为什么必须人工确认
Hazard Pointers：无锁数据结构删除节点后，谁来保证它还没被读到？
云端 AI 编程环境和本机环境有什么区别
QUIC DATAGRAM：有些实时数据为什么不值得重传？
Epoch Reclamation：并发程序为什么要等“这一代线程”都走完再释放内存？
SR-IOV：一张实体网卡怎样变成多个可分配给虚拟机的设备？
Symbolic Execution：把输入变成未知数，程序能自己找出崩溃条件吗？
WebTransport：为什么实时 AI 应用不一定应该使用 WebSocket？
HTTP Message Signatures：经过代理转发后，怎样验证请求没被改？
Backpressure：生产者太快时，系统怎样不被数据淹没？
Skill是什么？
Type Erasure：泛型信息为什么运行时消失了？
App 为什么总要申请定位权限？精确、模糊和后台定位
mmap：文件什么时候会变成程序地址空间里的一扇窗？
Vibe Coding 时，为什么最容易泄露 API Key 和密码
DNS over QUIC：DNS 查询换成 QUIC 传输，会改变什么？
AI 编程 Agent 的循环是怎么跑起来的？
MCP Apps：让 AI 对话里的工具带上交互界面
Transparent Huge Pages：大页能省 TLB，为什么有时又会卡顿？
Zero-copy：数据从磁盘到网卡，能不能不经过用户态拷贝？
浏览器地址栏的小锁到底保证了什么
MTE：处理器怎样给内存加上“标签”，揪出越界访问？
FlashAttention：注意力计算没变，为什么显卡能少搬很多数据？
“端到端加密”到底保护了什么
互联网被 AI 内容淹没后，下一代 AI 会变笨吗？
Roaring Bitmap：如何把大量整数集合压缩起来，还能快速求交集？
WebAssembly Component Model：不同语言写的模块如何拼在一起？
IOMMU：外设为什么不能随便读写整台机器的内存？
SBOM：软件也应该有一份配料表
DNS HTTPS 记录：域名解析为什么不只回答“服务器 IP 是多少”？
Sloppy Quorum 与 Hinted Handoff：副本故障时，数据能先寄存到别处吗？
Monomorphization：泛型代码为什么会被编译成很多份？
WebMCP：网页为什么要学会给 AI Agent 提供工具？
Erasure Coding：不用存三份完整副本，也能扛硬盘故障吗？
Circuit Breaker：服务连续报错时，为什么要主动断路？
fs-verity：文件边读边验，怎样发现磁盘内容被改过？
可复现构建：同一份源代码应该得到同一份软件
ML-KEM：后量子密码里的“密钥封装”到底封装了什么？
Hybrid Logical Clock：没有可靠全球时钟，分布式系统如何记录先后？
PagedAttention：大模型推理为什么也需要“内存分页”？
Vector Clock：多个副本同时修改，系统怎样知道是先后还是冲突？
云同步和云备份，为什么根本不是一回事
SWIM：集群如何知道谁还活着，又不让心跳消息爆炸？
六位数验证码为什么会自己变化？TOTP 的时间密码
GQA：大模型怎样在注意力质量和 KV 缓存之间折中？
Consistent Hashing：新增一台缓存服务器，为什么不用搬走所有数据？
文字转语音为什么越来越像真人
MPTCP：一次网络连接能不能同时走 Wi-Fi 和蜂窝网络？
TLB Shootdown：页表改了，为什么还要通知其他 CPU？
天气预报不再一格一格算空气，AI 是怎么预测风暴的？
AI 为什么数不清 strawberry 里有几个 r？秘密藏在 Token 里
一张 JPEG 为什么会长出方块、蚊子噪点和白色光环？
蛋白质为什么要折叠，AI 又是怎么猜出它形状的？
WebGPU：浏览器为什么能跑 3D、滤镜和部分 AI
推理成本的隐形主角：KV Cache、显存和数据中心网络
Temporal：为什么程序员最怕 2 月 29 日和夏令时
AI 会点按钮了，为什么还不能放心让它操作网银
HTTPS 握手：浏览器和服务器刚连上时到底在聊什么
WebRTC：浏览器为什么不用安装软件就能视频通话
幂等键：支付按钮点两次，为什么不能扣两次钱
嵌入模型（Embeddings）：向量数据库能搜「意思」，全靠它
模型蒸馏：让小模型「偷师」大模型，把强者经验压进手机
Passkey通行密钥：为什么用指纹登录比密码更安全
长上下文 vs RAG：什么时候还需要检索，什么时候直接塞
本地大模型部署：用 Ollama 与 llama.cpp 把模型搬进你自己的机器
