curl "https://api.thingstodoapi.com/v1/search?q=comedy+in+san+francisco+this+weekend" { "标题": "变装喜剧", "类别": "艺术", "开始时间": "2026-10-19T02:00:00.000Z", "本地": { "日期": "2026-10-18", "时间": "晚上7:00" }, "场地": { "名称": "Cobb's Comedy Club", "城市": "旧金山" }, "链接": { "来源": "https://www.ticketmaster.com/dragup-comedy-san-francisco-california-10-18-2026/event/1C0064D823FC0B87", "门票": "https://ticketmaster.evyy.net/c/253185/264167/4272?SharedId=DoStuff&u=https%3A%2F%2Fwww.ticketmaster.com%2Fdragup-comedy-san-francisco-california-10-18-2026%2Fevent%2F1C0064D823FC0B87" } }
AI 编码代理提高了开发速度,但高 AI 采用率与更多 bug、更长的 PR 审查时间以及更多事故相关。自动化软件验证被提出作为解决方案。方法范围从有纪律的代理式工作流(如 Superpowers)和通过 RoboRev 进行的本地持续审查,到 Claude、Codex、Copilot 和 Cursor Bugbot 的托管式 AI PR 审查器。一个全面的流水线增加了确定性检查——linting、类型检查、构建、测试、SAST、密钥和依赖扫描——加上代理式审查、基础设施与迁移检查,以及架构评估,覆盖 pre-commit、push、PR、预生产和生产阶段。大型科技公司的 AI 软件工厂自动化了大量实现工作,而人类仍然是守门人。作者的工作流结合了 spec 迭代、计划性实现、模型交叉审查、分层测试、人工审查和有针对性的手动检查。核心信息是:随着 AI 使代码生成变得廉价,验证必须成为软件工程的核心,人类对最终决策负责,尤其是在高风险变更上。
Parin 是一款面向 D 语言的轻量、代码驱动的 2D 游戏引擎,介于 raylib 这样的小型库与 Godot 这样的大型引擎之间。它提供灵活的内存管理(GC 可选)、基于 Joka 构建的模块化基础,以及开箱即用的功能,如像素级物理、灵活的对话系统、图集动画、瓦片地图和 UI 库(开发中),还有 Box2D、Steamworks、ENet 和 microui 等额外组件。它支持 Web、Windows、Linux 和 macOS。
通过 DUB 安装:`dub init -t parin`,然后 `dub run`;模板包括 basic 和 entity。Linux 需要若干用于声音、图形和输入的开发库。Web 构建需要 LDC 和 Emscripten。文档可通过示例、速查表、导览和 DDOX 获取。
FAQ 说明:没有内置场景/实体或脚本系统(提供示例),不支持热重载,资源可自由使用,raylib 仅作为后端(自定义后端为实验性),支持高清游戏。可通过附带的绑定实现 Steam 和多人游戏发布。