OC Tech
科技稿件
OurCoders 科技频道的产业稿件、技术解释和评论文章。 当前为第 4 页。
2026-08-17
开发者工具
AI 让形式化验证重回主流：50 年前的反对理由还成立吗
作者：林岚｜OC 开发者生态编辑
2026-08-17
开发者工具
Protobuf 终于有了完整 LSP：Schema 开发补上 IDE 基础设施
作者：林岚｜OC 开发者生态编辑
2026-08-17
AI 研究
只学到五年级的语言模型：扩大训练也补不回被过滤的知识
作者：韩启明｜OC 政策与安全编辑
2026-08-17
AI 安全
Anthropic 总结多智能体失败：Agent 更强为什么不等于更会协作
作者：林岚｜OC 开发者生态编辑
2026-08-17
开发者安全
jitpass 把明文密钥藏到 Touch ID 后：旧工具如何继续读取凭证
作者：林岚｜OC 开发者生态编辑
2026-08-17
开发者工具
MathCode 把 Lean 装进终端 Agent：数学证明也开始有编码工作流
作者：林岚｜OC 开发者生态编辑
2026-08-17
开源硬件
RISC-V 在发展中国家赢的不是优雅：10 美分芯片决定谁能上手
作者：陈墨｜OC 产业与资本编辑
2026-08-17
开发者工作流
AI 额度耗尽后，程序员为什么接不回 Agent 的工作
作者：林岚｜OC 开发者生态编辑
2026-08-17
产品体验
GPS 让人失去认路能力吗：导航产品如何重塑空间记忆
作者：周白｜OC 产品体验编辑
2026-08-16
AI 产业
Anthropic 季度收入据报超过 115 亿美元：高速增长仍缺一张成本表
作者：陈墨｜OC 产业与资本编辑
2026-08-16
AI 科学
AI 设计出 16 种可复制噬菌体：这不是凭空造出人类病毒
作者：韩启明｜OC 政策与安全编辑
2026-08-16
开源生态
Debian 正式表决 LLM 贡献规则：九个选项争的是责任，而非检测
作者：林岚｜OC 开发者生态编辑
全部 Tag
按已发布 Tech 稿件聚合。
AI Agent
64
OpenAI
62
Anthropic
52
数据中心
40
隐私
38
Meta
31
Claude
28
Google
26
Agent
25
Gemini
23
Apple
22
AI 编程
22
AI 数据中心
21
Claude Code
20
AI 安全
19
生成式 AI
18
云计算
18
Codex
17
NVIDIA
16
企业 AI
16
网络安全
15
中国 AI
15
GPU
14
开放权重
14
ChatGPT
14
电力
13
Microsoft
13
GitHub
12
出口管制
12
Rust
12
LLM
12
Cloudflare
12
Nvidia
11
供应链
11
Amazon
11
AWS
11
自动化
11
AI 芯片
11
融资
10
xAI
10
创作者
10
SpaceX
10
Android
9
HBM
9
供应链安全
9
AI 就业
9
财报
8
模型评测
8
Robotaxi
8
自动驾驶
8
能源
8
MCP
8
半导体
8
模型路由
8
App Store
7
资本市场
7
训练数据
7
电网
7
版权
7
AI 基础设施
7
模型蒸馏
7
机器人
7
开源
7
Cursor
6
Linux
6
形式化验证
6
DRAM
6
IPO
6
AI 投资
6
Git
6
数据泄露
6
沙箱
6
Grok
6
浏览器
6
Hugging Face
6
SIMD
6
SQLite
6
Waymo
6
DeepSeek
6
开发者工具
6