跳到正文

全部动态

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

    Penmentor 让 Claude 和 Codex 像老师一样批改手写数学过程

    Penmentor 是开源的 Linux 桌面工具,在 xournal++ 里按一个键即可让已登录的 Claude Code、Codex 或 Antigravity 批改手写数学过程。它在出错处圈画、给正确行打勾,只给提示不给答案,圈出公式还能生成 manim 交互动画。工具复用你已有的 AI 命令行订阅,需要 X11 环境并装好 rofi、slop、xdotool 和 PyQt6。

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 以内。

  4. Hacker News · 高分新帖46

    OpenBSD 8.0 发布

    OpenBSD 8.0 发布,为该项目第 61 个版本。amd64 内核虚拟地址空间从 4G 提升至 512G,arm64 新增休眠支持,sparc64 切换到 LLVM 工具链并停止支持 loongson 架构。drm(4) 更新至 Linux 6.18.53 并支持 Intel Arc A-Series 显卡,vmm(4) 单台虚拟机最多可支持 64 个 VCPU。

  5. Hacker News · Show HN46

    Show HN:Death Plan Switch,面向独立开发者的自托管失联通知开关

    Death Plan Switch 是面向独立开发者的自托管失联通知开关:每周发邮件要求按下按钮签到,未响应则依次询问近亲并通知相关联系人。所有步骤从每周签到邮件起算:24 小时提醒、48 小时最后提醒、72 小时询问近亲、144 小时通知联系人。项目在 GitHub 免费下载,MIT 许可,需 PHP 8.1+,无数据库。