目录
AI 辅助编程
条目：14
2026年三月
9 篇
| 类型 | 阅读 | 条目 |
|---|---|---|
[自动]
[HACKER_NEWS] | 1min | newspaper
Leanstral：面向可信编码与形式化证明的开源智能体 03-17
Leanstral
智能体
形式化验证 |
[自动]
[HACKER_NEWS] | 1min | newspaper
Leanstral：面向可信编码与形式化证明的开源智能体 03-17
Leanstral
智能体
形式化验证 |
[自动]
[HACKER_NEWS] | 1min | newspaper
Leanstral：面向可信编码与形式化证明的开源智能体 03-17
Leanstral
形式化验证
智能体 |
[自动]
[HACKER_NEWS] | 1min | newspaper
Leanstral：面向可信编码与形式化证明的开源智能体 03-17
Leanstral
形式化验证
智能体 |
[自动]
[HACKER_NEWS] | 1min | newspaper
Chrome DevTools MCP 发布：支持通过 Claude 直接调试浏览器 03-16
Chrome DevTools
MCP
Claude |
[自动]
[HACKER_NEWS] | 1min | newspaper
用 Ghidra 和 AI 复活 20 年前的解谜游戏 Chromatron 03-09
逆向工程
Ghidra
LLM |
[自动]
[BLOGS_PODCASTS] | 3min | mic
COBOL现代化实践：逆向工程与AI辅助正向工程结合 03-02
COBOL
遗留系统现代化
逆向工程 |
[自动]
[BLOGS_PODCASTS] | 3min | mic
COBOL现代化实践：确定性逆向工程与AI辅助正向工程 03-02
COBOL
系统现代化
逆向工程 |
[自动]
[BLOGS_PODCASTS] | 3min | mic
COBOL现代化实践：逆向工程与AI辅助的正向工程结合 03-01
COBOL
遗留系统
系统现代化 |
2026年二月
4 篇
| 类型 | 阅读 | 条目 |
|---|---|---|
[自动]
[HACKER_NEWS] | 1min | newspaper
Stripe 编码代理 Minions：技术实现与工作流解析 02-20
Stripe
编码代理
Coding Agents |
[自动]
[JUEJIN] | 2min | sticky_note_2
无文档遗留系统逆向梳理：利用AI重建架构视图 02-20
遗留系统
逆向工程
架构重建 |
[自动]
[JUEJIN] | 2min | sticky_note_2
无文档遗留系统的逆向梳理：利用 AI 重建架构视图 02-19
遗留系统
逆向工程
架构重构 |
[自动]
[JUEJIN] | 4min | sticky_note_2
Git Worktree 与 Claude Code 实现多终端并发开发 02-11
Git Worktree
Claude Code
AI 辅助编程 |
2026年一月
1 篇
| 类型 | 阅读 | 条目 |
|---|---|---|
[自动]
[HACKER_NEWS] | 4min | newspaper
AI代码审查泡沫来了？🫧 揭秘背后的真相！🤯 01-27
代码审查
LLM
AI 辅助编程 |
无匹配条目