Pragmatic Engineer· Gergely Orosz·· 2 天前AI 评分49
软件正确性与供应链安全：对话 Antithesis 杰出工程师 Sean Allen
Software correctness & supply chain security, with Sean Allen
AI 导读
Pragmatic Engineer 发布对 Antithesis 杰出工程师、Pony 语言核心贡献者 Sean Allen 的深度访谈，主题是软件正确性与供应链安全。
来源：Pragmatic Engineer · newsletter.pragmaticengineer.com