Penmentor 开源上线 让 Claude Code 在屏幕上批改手写数学
Penmentor 是一个 MIT 许可的开源工具，在 xournal++ 里按一个键就把它当前的手写数学页交给已登录的 AI 命令行 agent 批改。模型用彩色笔圈出第一处真实错误、给正确行打勾、对沿用错误结果的后续行划线，以提示而非答案的方式引导下一步，框选区域还能生成 manim 交互动画。
Hacker News · Show HNAI 评分5757
Hacker News · 高分新帖AI 评分4343 microG：Google 专有 Android 用户空间的开源自由重实现
microG 是 Google Play Services 的自由软件重实现，让调用 Google 专有 API 的应用可在 LineageOS 等 AOSP ROM 上运行。