跳到正文
10月10日周六
  1. GitHub22

    AI Workflow Navigator:面向非技术人员的 AI 入门指南

    GitHub 项目 AI Workflow Navigator 发布,定位为非技术人员的 AI 使用蓝图,按无代码工具与提示词、API 接入(OpenAI、Claude)、自动化工作流三个难度层组织内容。项目提供零代码 API 配置、提示词模板、模型选择决策树,并建议用 Claude Haiku 或 GPT-4o-mini 等更便宜的模型处理 90% 的任务。

  2. Hacker News32

    用 AI 实现规格驱动开发:一种新方法及其对历史的回望

    一种以需求为唯一事实来源的规格驱动开发方法被提出,将 RUP 思路与现代 AI 工具结合,用 Claude Code 等自动生成并同步下游产物。所有规格以 Markdown 和 PlantUML 存入 Git,与代码一同版本化,业务方需评审实体模型和系统用例。作者称该流程带来更好的业务对齐、可维护代码和从需求到实现的完整可追溯性。

  3. Hacker News12

    为隐私迁移照片:用风扇给 iPhone 散热跑 ente 自托管图库

    为把约 70,000 张照片(700 GB)从 iCloud 迁到自托管图库,作者选用端到端加密的 ente,并利用其支持任意 S3 兼容存储的特性,把加密文件放在云端 S3 上。由于 ente iOS 应用会反复扫描媒体库并触发 iCloud 下载,迁移在 iPhone 15 Pro 上严重降频甚至崩溃,作者用 Shortcut 每分钟唤起 ente、关闭自动锁屏并外接风扇散热来硬扛。

  4. Hacker News22

    Isabelle/HOL、Lean、HOL4 与 Agda 四大定理证明器对比评测

    一位作者在 Isabelle/HOL、Lean、HOL4 和 Agda 中分别形式化验证了素数无穷性的欧几里得证明,并据此比较四款定理证明器的使用体验。Lean 与 Agda 属依赖类型系统,Isabelle/HOL 与 HOL4 为 LCF 风格;Isabelle/HOL 的 sledgehammer 自动化最强,Agda 几乎无自动化,Lean 的 simp 与 grind 表现不及前者。

  5. GitHub22

    人升(LifeUp)自定义界面方案:用 AI + MCP 在 App 外搭看板与助手

    社区项目 lifeup-custom-frontend 给出在《人升》(LifeUp)App 之外搭建第三方界面的实现方案,数据与规则仍跑在手机端人升里,网页只做展示与转发。方案要求人升 v1.106.0+ 与云人升 3.0.0+,通过局域网默认端口 13276 的 HTTP 服务接入,可做自定义看板、AI 助手和群机器人,并支持官方 MCP。文档可整段交给本地 AI 工具,无需自己写代码。

10月9日周五
  1. RadarAI28

    Ai2 如何用 GPU 时间预算和分层公平分享调度器优化集群分配

    Ai2 AI Infrastructure 团队将基于优先级的 GPU 调度器替换为包含 GPU 时间预算、分层公平分享分配和时间切片合约的系统,管理数千张 NVIDIA H100、B200 和 B300,服务约 150 名内部研究员。此前需求超出容量 2-3 倍,出现 GPU "占坑"、优先级通胀等问题,新系统把 GPU 时间分配从逐案运营任务转为透明的行政预算流程。

  2. Hacker News36

    Eval Engineering:AI 评估工程如何成为生产级 AI 的治理层

    Eval engineering 是构建生产级评估系统、规模化治理 AI 行为的学科,把评估从部署前的一次性检查变成持续运行的基础设施。它要求对 100% 流量做领域特定评估,而非只抽样 10%,输出未通过评估就不上线。文章以 Air Canada 聊天机器人误答 bereavement 票价、被判赔 $812 为例,说明企业缺的不是政策而是让 AI 真正执行政策的系统。

  3. Hacker News28

    如何阅读代码:为什么代码不能像书一样从头读到尾

    软件工程师大部分时间在读代码改动(diff)而非全新程序,但代码的执行顺序由计算机决定、结构复杂度远超英文文本,因此像读书一样顺序阅读往往失效。作者主张采用源自数学论文阅读的"dyadic scanning":先多轮跳跃式追踪调用链把握整体结构,最后才逐行通读以捕捉遗漏的异常细节。

  4. RadarAI34

    宋代江南小巷 10 秒视频生成 Prompt 展示

    一份生成宋代江南小巷 10 秒视频的详细 Prompt 被展示,包含电影级工程化细节。Prompt 覆盖服装设计(月白色交领窄袖短衫、淡藕粉色褙子、浅青色长裙)、一镜到底稳定器跟拍、白灰墙灰黑瓦与梨花树场景,以及鸟鸣、流水、宋式箫声的音频设计。

  5. Hacker News22

    无需工作室,用 ZELF 修复老照片

    ZELF 推出基于 FLUX.2 [pro] 的 Image Restore 工具,可修复老照片的划痕、折痕、污渍和褪色,锐化人脸并为黑白照片上色。用户上传最高 10 MB 的 JPG 或 PNG 扫描件,按张以 credits 付费,处理通常 30 秒内完成,失败则退还 credits;如需打印大尺寸可再用 Upscale 放大。

  6. RadarAI36

    详细的九宫格自拍写真提示词

    一份面向国内自媒体账号的九宫格自拍写真提示词,用于生成 9 张风格一致的女性肖像。提示词指定模特为 25 岁左右亚洲女性,保持脸部特征与身材比例一致,身穿轻熟休闲服装,场景涵盖卧室、地铁、电梯和室内摄影角,整体风格自然干净,带 iPhone 拍摄感,避免过度美化或性感姿势。

  7. Hacker News31

    Voxlocal:用 Rust 编写的极简本地语音智能体

    开发者开源了 Voxlocal,一个用 Rust 编写、完全本地运行的低延迟语音智能体 CLI 工具,面向 macOS,仅聚焦英语汽车维修场景。它串联 Whisper 语音识别、嵌入向量检索、LLM 决策与 Piper 语音合成,并刻意避开复杂异步流式与 VAD 以保持流程可检查,作者明确提醒不要用于生产环境。