跳到正文

#软件/工具

今日 18 条
今天10月21日周三
  1. Hacker News · Show HN57

    Penmentor 开源上线 让 Claude Code 在屏幕上批改手写数学

    Penmentor 是一个 MIT 许可的开源工具,在 xournal++ 里按一个键就把它当前的手写数学页交给已登录的 AI 命令行 agent 批改。模型用彩色笔圈出第一处真实错误、给正确行打勾、对沿用错误结果的后续行划线,以提示而非答案的方式引导下一步,框选区域还能生成 manim 交互动画。

10月20日周二
  1. Hacker News · Show HN57

    Sorcerer 发布开源 macOS 应用,围绕假设问题模拟 AI 智能体社区

    Sorcerer 是一款开源、原生 SwiftUI 的 macOS 应用,围绕一个 what if 假设生成由 AI 智能体组成的社区并逐轮推演。每个角色带有人设、目标、关系和记忆,会发帖、表态、采取行动并参与投票,还能在任意轮次分叉对比不同走向,输出每个结论都可点击跳转到原帖的报告。

  2. Hugging Face Blog73

    Hugging Face 发布 AnyLanguageModel 1.0,Apple 平台可选本地或托管模型

    AnyLanguageModel 1.0 发布,这是 Apple Foundation Models 框架的可直接替换实现,改一行 import 即可用同一套会话代码调用系统模型、llama.cpp、MLX、Core ML 的开放权重模型,以及 OpenAI、Anthropic、Gemini、Ollama 等托管服务。

    推荐理由:做 iOS 应用的开发者改一行 import 就能替换 Foundation Models,用同一套会话代码在本地模型和托管模型间切换。