Show HN:一款《人生切割术》风格的终端,把任务打成小票
开发者用两个周末把"抽纸条做任务"的方法做成了《人生切割术》风格的实体终端:任务从 Trello 看板经 API 汇总,触摸屏可领取、完成或推迟,再由热敏打印机打出纸质小票。
开发者用两个周末把"抽纸条做任务"的方法做成了《人生切割术》风格的实体终端:任务从 Trello 看板经 API 汇总,触摸屏可领取、完成或推迟,再由热敏打印机打出纸质小票。
notslack 发布,这是用 Rust 和 GPUI 框架原生重写的 Slack 客户端,支持 macOS、Linux 和 Windows,内存占用 165 MB,而原版为 1.16 GB。项目采用 AGPL 协议在 GitHub 开源,作者称界面与功能与原版一致,并可直接登录已有账号。后续计划重写 Notion(notnotion)和 Superhuman(notsuperhuman)。
独立开发者 mqx 在 V2EX 分享自主学习网站「问书」,可将任意电子书蒸馏为 skills,再通过对话提问学习。该工具支持自行配置模型信息、导出导入蒸馏后的 skills,并带本地书架功能,作者同时在寻找免费电子书地址。
RemoveMacAI 是一款开源工具,可在 macOS 27 上关闭 Apple Intelligence 并删除已下载的模型,同时阻止系统重新下载。它通过配置描述文件应用 Apple 的限制键,模型经 Apple 的 asset service 移除,系统完整性保护保持开启,所有改动均可通过 `removemacai revert` 还原。
Squeegee 是一款原生 macOS 应用,可按应用设置规则自动关闭闲置窗口,例如「Finder 窗口闲置 6 小时后关闭」,且按窗口而非按应用生效,关闭陈旧窗口不影响当前活跃窗口。
作者开源了 Precedent Loop,一个让 Codex 和 Claude Code 跨会话记住项目经验的本地工具:Agent 提出候选经验,由用户确认后入库,之后按需检索,每次最多取 8 条、总计不超过 5000 字。
一款开源 OCR 应用新增 Prompt Builder 模块,用户可通过快捷键把选中的文本发送给 GPT 免费处理,适用于整个操作系统。该应用免费开源,v1.5 已可下载,适合把快捷键绑定到 Logitech 智能鼠标上。此前 Logitech 软件移除了 prompt builder,影响了作者的工作流。
AHVM 发布,为编码 Agent 提供运行在自控 Linux 服务器上的有状态 microVM,带交互 shell、文件、网络和快照,客户端支持 Apple Silicon Mac 与 Linux x86_64。
Fennec 是一款 MIT 协议开源的 Mac 工具,通过监听音频错失截止时间与系统过载记录来检测爆音,重复出现时自动重启 coreaudiod 修复,约 1 秒静音后恢复播放。它会在麦克风占用、通话中、蓝牙输出等场景跳过重启,连续三次修复失败则暂停一小时。需 macOS 14.2 及以上 Apple silicon,无账号与遥测,仅更新时联网。
独立开发者做了个浏览器扩展 devterm,在任意页面按 Ctrl+J 就能像 VS Code 一样滑出终端面板,跑的是真实 shell 和真实 pty,nvim 与 job control 都能用。
开发者 AnaaySampat 在 GitHub 开源了 Android 语音助手 Jarvis,用一条语音指令即可打开 Spotify 搜索并播放歌曲,无需手动点击。
SweetPad 发布了一款命令行工具,无需打开 Xcode 即可构建、运行、调试和测试 iOS、macOS 等应用,支持 Xcode 项目与 workspace、Tuist、XcodeGen 和 Swift 包,可通过 brew install sweetpad-dev/tap/sweetpad 安装。
Metis Workflow 发布 0.1.0,一个基于 TypeSafe AI 的 Jev 模型的 Python 工作流框架,支持 Python 3.10+ 且无运行时依赖,可定义 workflow 类并组合命名步骤。它内置 GitHub 与 Jev 集成,附带 issue 分类、PR 筛选、支持路由三个示例,通过 CLI 或 GitHub Action 顺序执行。
Obelisk 0.42 为 Agent 工作负载加入可审查的代码安全边界、原生 V8 加速 JavaScript 重放,以及实验性的 Linux VM activities。
Magic Switch 是一款免費、開源的 macOS 應用,可在兩台 Mac 之間共享 Apple Magic Keyboard、Trackpad 或 Mouse,無需 Apple ID,也不用插 USB 重新配對。
独立开发者发布 macOS 文件搜索应用 LocalSearch,按 ⌥Space 即可搜索文件名与内容(文本、代码、PDF、Word/RTF),在 M3、8 GB、约 6 万文件的 Mac 上典型搜索耗时 6.6 ms,同样查询在 Spotlight 约 150 ms。
untyped.ai 发布 Untyped,用 TLA+ 规范校验 AI Agent 运行记录:harness.tla(155 行)建模 harness 与带副作用工具间的协议,检查 AtMostOnce、ApprovalBeforeEffect、BudgetHeld 三条不变量,并含 vacuity 检查。
独立开发者正在打造 devtool Talyn,用于自动盯守 Agent 生成的 PR:CI 失败或出现合并冲突时,它会派出沙箱 Agent 修复,全部通过后可自动合并。作者用 Claude 时发现,即使 PR 已开,仍要手动确认 CI、lint、冲突与能否合并,于是做了这个工具。目前已有少量用户,作者仍在摸索"有用的自动化"与"绝不能让 Agent 自动碰"之间的边界,并开放了完全开源版本。
独立开发者发布自托管 uptime 监控后端 StatusNest v0.1.0,基于 FastAPI、MySQL、Redis、Celery 和 Docker 构建。该版本具备 JWT 认证、自动检查、故障检测、SSRF 防护和测试,代码已托管在 GitHub,作者公开征求反馈。
独立开发者推出 OpenApplyr,一款求职 Agent,用户自带 AI 提供商或本地模型运行。简历每一行都必须引用真实档案中的内容,一旦编造数字、工具、雇主或日期,文档就会被拦截。作者放弃了托管按月收费的常规模式,选择开源,GitHub 可查。
Verceltics 是一款面向 iPhone 和 iPad 的开源原生应用,提供 27 项直连集成,覆盖 10 个托管平台、8 个域名注册商和 9 项站点服务,凭据仅存于设备端 iOS Keychain,不设凭据代理服务器。
作者开源了个人 AI 工作空间 Bibo,采用 MIT 协议,把对话、任务、日程、笔记和文件放在同一个网页里。Agent 运行在 Cloudflare Worker / Durable Object 上,普通聊天、建任务、读写文件不启动容器,只有跑 Python、Shell 等系统工具时才按需使用隔离的 Linux 沙箱,默认空闲五分钟后休眠。
作者发布开源桌面应用 BurnGuard,把设计文件保存在本地,并调用你已有的 Claude Code 或 Codex CLI 生成网站、幻灯片和图形,采用 Apache-2.0 协议且免费。
开发者推出 VoxSpica,一款 Windows 离线语音转文字应用,基于 VOSK(Kaldi)在 CPU 上运行,无需云端、账号、订阅和广告,音频不离开本机。
Nightwatch 是一款静默的 macOS 菜单栏应用,用 Apple Weather(WeatherKit)或 Open-Meteo 加 7Timer 的数据判断今晚是否有连续 3 小时以上、云量不超过 25% 的暗夜观测窗口,并给出该时段内按最佳时间排序的拍摄目标。
Solvi 1.0 发布,让 LLM 只负责提议、由 checks 决定,每个答案附带置信度、可核查理由和可重新执行的哈希链式 trace。它提供 solvi.build、solvi.Agent、solvi.Guard、solvi.Knowledge 四个可配置系统,核心构建块在 solvi.core,未验证收益的功能隔离在 solvi.experimental。
Northstar Web Browser 发布 1.0.28 版本,改用 GPL 3+ 或 NSL 双许可。该版本中 Google 搜索和 YouTube 已可正常使用。
QuotaView 0.7.5 发布,这是该项目迄今规模最大的一次重构与更新,核心是全新的 Codex 多任务灵动岛,把任务进展、协作状态和额度用量集中呈现。新版本支持同时关注多个会话、子任务与主任务关联展示的多 Agent 协作,以及集中处理确认请求的任务确认功能。用量面板也重新组织,额度、重置时间与 Token 统计更清晰,项目已在 GitHub 开源。
独立开发者发布 Eigenwise Toolshed,一套六个免费 Claude Code 插件,分别覆盖 repo maps、scoped rules、本地任务看板、模型访问、用量监控和工作区设置,每个插件可单独安装,代码以 MIT 协议开源。
Cloudflare 将内部使用的 AI 生产力环境 Cloudflare OS 开源,供其他公司复制并改造成自己的版本。它由 agent 聊天界面、沙箱化的 Gadget 应用开发和名为 Gatekeepers 的安全框架三部分组成,每个 Gadget 运行在独立沙箱中,agent 默认不拥有任何外部资源访问权限。
pingdotgg 发布开源项目 T3 Code,定位为 agent harness control surface,可通过 iOS、Android、Web 和 Electron 桌面端控制本机已配置的 Agent。
一位求职者开源了一款 CV 定制工具,粘贴 JD 和个人资料后,它会为岗位排序并改写要点,输出 Jake's 风格的一页 ATS PDF,并设有护栏防止编造未具备的指标、工具或 JD 关键词。技术栈为 Python 引擎加 Next.js UI,后续计划从数据库匹配岗位、生成定制简历与求职信,并邮件通知招聘联系人,每步发送由用户控制。
独立开发者发布 CLI 工具 Squelchy,运行时只显示精简的终端视图,同时保存完整的 stdout 和 stderr 字节,并返回原始退出码。其确定性测试写入 5,000 条记录并以退出码 7 结束,Squelchy 只输出 10 行最终报告,98,901 字节输出全部可恢复。该工具无运行时依赖,可通过一条 npm 命令从 GitHub 安装,PTY 与全屏应用不在支持范围内。
独立开发者开源了链上论坛 Chain Talk,内容全部写入以太坊事件日志,合约仅 22 行代码,没有管理员、删除按钮和升级机制。发一篇几百字主题约 $0.04、回复约 $0.02,部署合约一次性约 $0.06,无服务器与数据库成本,用 The Graph 索引事件,前端无需钱包即可浏览。
独立开发者推出 Surka,把两位创始人互相推广的口头约定集中管理:各自承诺什么、何时到期、每位合作方一个私密链接,交付后提交证明链接,由运营方核验后该承诺才算完成,信誉记录的是交付而非点击。目前是早期人工试点,尚无完成的交换或客户数据,提醒邮件的调度逻辑已写进代码但线上部署尚未配置发信。项目已开源。
开发者 Ozzy M. 发布 45 行 C 代码的无损图像编解码器 TCOM,在 3,167 张图片的基准测试中总体积 1,954.35 MB,编码 284.09 MP/s、解码 368.18 MP/s,均快于 QOI 的 2,125.45 MB、238.71 MP/s 和 298.07 MP/s。
独立开发者发布 RHP(Reactive Html Plots)2.0,从 3 年前的 React 图表库重写为开源 SolidJS 响应式组件库,改用 HTML 元素、CSS 和 JavaScript 而非 Canvas 或 SVG 绘制图表,体积不到 20kB(不含特殊导入为 16kB)。
独立开发者发布 ContextPort,一个同时给人和 Agent 用的网络剪切板:不用登录,创建临时 Context 后凭口令访问,人可在网页打开,Agent 用 curl 调 REST 接口读写。项目已开源,部署在 Neon、Render 和 Vercel 上,因用免费 Render 资源,久未访问冷启动可能需 1 分钟。
独立开发者 xaelion 用 Claude Code 辅助开发了一款名为 Chalkboard 的 Electron 应用,内置终端与黑板联动,让 agent 把文字输出转成更易审阅的图形。作者称使用可能略微增加 token 消耗或订阅额度,但在 Claude Code 上未察觉明显差异,提示音可调。项目已开源,可自行试用或修改。
jpm 是一个用 Rust 编写的 JavaScript 包管理器,作者称其每一行代码都由 Claude Code(运行 Claude Opus 5.5)完成,由一位有 27 年经验的工程师 JT Turner 做决策。