科技稿件

中国开放模型进入美国公司：硅谷为什么一边使用，一边呼吁限制

恶意软件仓库在 GitHub 存活两年：平台为什么连普通搜索都清不干净

GrapheneOS 擦除数据后用户被起诉：隐私功能何时会变成犯罪证据

Hugging Face 要 OpenAI 公开攻击痕迹：一次模型越界如何变成平台安全事故

苹果想把隐私做成智能眼镜卖点：本地处理仍解决不了旁观者同意

LLM 开始替 Lean 写证明：形式化验证最贵的一步可能正在自动化

用 Rust 重写 Tree-sitter 快了 30%：代价是功能收缩和更多内存

Agent 不缺更多规则文件，缺的是按改动动态加载架构约束

AI Agent 也需要性能分析器：Token 浪费终于开始进入 CI

机器人训练开始采集脑波：实体 AI 真缺数据，还是又多了一种昂贵传感器

卫星烧毁不等于消失：低轨星座可能把铝灰留在大气层

Port Zero 想消灭本地端口冲突：稳定域名能否接住多分支和 Agent 开发