跳到正文

全部动态

今日 12 条
今天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,用同一套会话代码在本地模型和托管模型间切换。

  3. Hacker News · Show HN40

    Show HN:Amber-8 把本地语言模型当传感器,用 80 年代栈机保持确定性执行

    Amber-8 是一个小型确定性栈机,把本地语言模型当作模数转换器,将杂乱主观文本转成栈上的数字、选项与 0-1 置信度,分支仍由确定性代码执行。它只提供 ask、pck、scl 三条模型指令,模型不写代码也不决定分支,示例程序编译后的字节码均在 2 KB 以内。