跳到正文

#软件/工具

今日 5 条
今天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 HN53

    Show HN:浏览器逻辑模拟器可搭出 Apple II+ 与 106k 晶体管 Mandelbrot

    作者 daniilkhanin 在 Hacker News 展示了一个浏览器逻辑模拟器,用户可从晶体管和逻辑门起步,按图片说明一步步搭出各种设备。套件按顺序推进,从用两个 MUX8 拼出 MUX16,到用逻辑门做手表并延伸到自建处理器和内存,还包含 Mandelbrot 与 Julia 分形机器等硬件基础主题。作者强调 MUX16 那次是真实搭建过程,含出错与重建,视频加速 6 倍。

  2. Hacker News · Show HN50

    Show HN:Tripps.io——不替你规划行程的旅行规划工具

    Tripps.io 推出了一款不替用户生成行程的旅行规划工具,添加交通与住宿后按天自动排序,并可分享免账号的查看、编辑或个人专属链接。其 Smart import 用 AI 从转发的邮件或截图中提取日期、时间与预订编号并填入对应日期,原邮件和截图立即删除。服务免费且无需账号即可完成整趟规划,登录后每天可用 20 次 Smart import。

  3. Hacker News · Show HN36

    Show HN:Habenna——用宽限日替代连续打卡的习惯追踪应用

    Habenna 是一款用宽限日替代连续打卡的习惯追踪应用,按每周达成率而非连续天数记录进度。它为每个习惯设置每月宽限日额度,周目标未达成时从额度扣除、记录不清零,并支持 4/7 等每周目标。应用免费且习惯数量不限、无广告,可选订阅或一次性买断解锁自动备份、跨设备同步等功能。

  4. Hacker News · Show HN57

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

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

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

  6. Hacker News · Show HN53

    CronPulser 上线托管 cron 服务,可调度防火墙内的 HTTP 请求与私有命令

    CronPulser 以公开测试形式推出托管 cron 调度服务,可按 cron 表达式定时触发 HTTP 请求和防火墙内的私有命令,每次执行都记入同一份执行历史。任务可选邮件和 Webhook 告警,方便在需要关注时通知同事。免费额度含 5 个活跃任务且无需信用卡,Pro 9 美元/月、Scale 29 美元/月,不按执行次数计费。