官方活动OPC
9月2日星期三 · 12 条
Grasper:开源硬核科学书籍阅读伴侣
Grasper 是一个开源阅读工具,专为物理、工程、数学和计算机科学等硬核科学书籍设计。它逐页展示内容,用户阅读后可通过“解释此页”获得基于第一性原理的讲解,包括页面主旨、重要性、示例、工作原理、常见误解和学习卡片。随后有五个问题,需首次答对四题才能解锁下一页,答错会提示重读部分。该工具旨在对抗遗忘曲线,弥补自定进度学习缺乏支持的问题,避免传统 AI 工具仅提供摘要的浅层理解。支持 PDF、EPUB 和纯文本,进度本地保存。
我用Agent修复坏测试,发现自家尺子有八个Bug
作者构建了一个Agent来修复质量差的测试,并在此过程中发现自己的测试工具存在八个Bug。文章以Python函数withdraw及其测试为例,指出行覆盖率47%但变异杀死率仅9.5%,说明行覆盖率无法检测代码逻辑错误。作者认为变异测试虽能真实衡量测试质量,但未普及是因为它只指出问题而不提供修复方案。因此,他开发了一个Agent,通过生成测试来杀死存活的变异体,并以子进程退出码作为硬性标准。在12个流行Python库上运行,生成455个变异体,其中133个存活,53个位于测试实际执行的行上。作者强调,工具虽不完善,但测量工具本身存在系统性偏差,这比工具本身更有趣。
LuxurAI Design beta:模块化UI合成引擎与艺术比例学习
LuxurAI Design beta 旨在解决AI配对编程和对话式UI生成中的上下文膨胀与级联语法错误问题。其核心方法包括:将UI合成分解为隔离的AST验证模块;构建包含艺术与黄金比例理论的DESIGN.md提示规范;采用双模型引擎,包括自研Neo v0.1视觉模型(双GPU)和外部推理API;实现零存储认证,使用384位一次性令牌,无密码数据库;定价透明,按使用付费,每信用点₹0.25,无月订阅。实验版本可在luxurai.in测试,由创始人Achyut Srivastava(14岁)和联合创始人Shubham Dangi(15岁)开发。
Featherboard多租户改造:GitHub OAuth与路径路由
Featherboard开发进入新阶段,开始支持多团队和多产品托管。目前用户认证通过GitHub OAuth实现,未来将增加其他提供商和邮箱登录。已移除临时的硬编码令牌认证。多租户路由通过app.featherboard.net/{slug}/...路径实现,slug为组织名。Axum提取器可优雅地从路径中提取组织数据。此前管理员角色通过环境变量中的硬编码令牌授予,现已替换为用户表、GitHub OAuth登录和is_admin标志。项目将所有静态文件(包括sqlx迁移文件和HTML模板)嵌入单一二进制文件,便于部署。sqlx迁移仅支持追加,修改模式需新增迁移文件。添加了GitHub账户的唯一索引以防止重复注册,但发现这阻止了用户加入多个组织,因此改为复合索引。
独立模拟验证电子表格公式,发现3个隐藏错误
开发者构建了一个个人理财电子表格,包含债务清偿级联功能,支持最多5笔债务、自定义优先级和60个月的逐月预测。他通过编写独立的Python模拟程序,逐单元格对比验证公式正确性,发现了三个常规重算无法发现的错误:汇总公式范围差一错误导致引用错误行;打印区域遗漏整个60行计划表导致打印空白;列宽截断标签文字。最终,5笔债务、60个月、1200个数据点的级联结果与参考模拟的误差在5e-12以内。作者指出,零错误的重算日志并不代表计算正确,独立检查是必要的。
免费终端管理器umux:跨平台并支持导入cmux配置
umux是一款免费终端管理器,支持三大平台。v1.0.2于8月27日发布,四天后迭代至v1.0.4,包含26次提交。其核心功能是导入cmux配置,cmux仅支持macOS,而umux通过只读解析cmux状态,生成工作区、分组等计划,支持预览和冲突重命名。v1.0.3增加应用内更新,使用minisign签名验证,但安装包未签名。v1.0.4将CLI加入PATH,支持离线操作和导出备份。最新提供install.sh一键安装脚本,无需jq依赖,通过sed解析GitHub API。项目预算为零,更新服务器使用GitHub Releases。
浏览器工具将照片转为十字绣图案
开发者构建了免费浏览器工具PhotoToPattern,可将照片转换为可打印的十字绣图案。用户上传JPG、PNG或WebP图片,可调整网格宽度、颜色数、布料规格、亮度等参数,并支持裁剪、背景移除和杂点清理。工具生成彩色预览、符号图、DMC绣线代码、针数、线量估算、成品尺寸、难度和预计时间,并支持PDF、PNG、CSV导出。图像在本地处理,无需上传服务器,保护隐私。颜色匹配采用LAB色彩空间和CIEDE2000算法,以提高准确性。
免费工具将照片转为拼豆图案
开发者分享了构建免费浏览器工具 PerlerBeads.net 的过程,该工具可将照片和插图转换为可打印的拼豆图案。工具在浏览器中使用 Canvas API 处理图像,无需上传到服务器。核心步骤包括加载图像、调整大小、按网格采样像素、将颜色匹配到真实拼豆颜色、生成网格并统计所需颜色数量,最后导出为 PNG 或 PDF。为提升颜色匹配的准确性,工具采用感知颜色匹配,将颜色转换到 LAB 色彩空间并使用 CIEDE2000 色差公式,以更接近人眼感知,尤其对肤色、阴影和柔和色调效果更佳。
Show HN: Newton's Orchard——浏览器太空/重力游乐场
一位开发者因儿子在五年级时使用PhET重力/太空模拟器,但找不到更进阶的替代品,于是开发了Newton's Orchard。这是一个基于浏览器的太空/重力游乐场,支持确定性时间擦洗、所有天体可编辑、多种预设系统和实验、任务(完成3个可解锁黑洞对象类型和任务),以及用户提交画廊。源代码已发布在GitHub上。作者希望获得反馈,特别是从学生参与度和启发性的角度。该帖子在Hacker News上获得21分。
在48GB Mac上运行104GB Qwen3.8-Flash-Next,约12 tok/s
开发者carloslfu在Hacker News上发布了slotstream项目,旨在让低内存Mac(从16GB起)运行Qwen3.8-Flash-Next 4-bit模型。该模型拥有1250亿参数,通常需要100GB以上内存,但通过专家卸载和SSD流式传输技术,可在48GB Mac上以约12 tok/s的速度运行。项目基于MLX和Swift,易于安装和更新,并提供自动模式以平衡内存使用和速度。开发者计划下一步实现并移植MTP模块用于推测解码。该帖子在Hacker News上获得26分,讨论链接已附。
为什么值得看我认为这条对 Mac 用户和本地大模型玩家直接有用:它展示了如何用专家卸载+SSD 流式在 48GB 内存跑 125B 模型,速度约 12 tok/s,相当于把硬件门槛砍半。对想低成本跑大模型的独立开发者,值得直接抄思路。
循环2分30秒自愈线上服务,无人启动
2026年8月29日,一个自愈循环在无人干预的情况下,用2分30秒修复了线上HTTP服务的回归问题。该循环包括查找、签名工单、生成补丁、创建分支、构建、MOMUS门控、部署和健康检查。容器ID已更改,先前镜像已记录,新探针返回0个发现。首次端到端部署发生在两天前,耗时5分02秒,由人工触发。该循环并非完全自主,不会自动合并到主分支,且目标为momus-canary测试服务,该服务故意违反自身契约以触发循环。修复过程使用真实探针和签名,但未涉及真实资金支付。MOMUS作为容忍的对手方,负责签名发现,但不能自行支付。
浏览器CPU占用远超录音软件:capkiku实测
开发者测试了其录音应用capkiku在65分钟通话中的性能。结果显示,capkiku平均占用单核17%的CPU和85MB内存,而浏览器Brave(用于Google Meet)整体占用约73%单核CPU。此前使用的Audio Highjack曾导致Mac几乎崩溃,占用4GB内存。capkiku录制双音轨,文件大小约67.5MiB和72.0MiB,以AAC 48kHz立体声编码,写入速度约37KB/s,未在RAM中缓冲。应用空闲时约97MB,录制时约85MB,峰值111MB。停止录制后,12秒内完成转录,期间CPU和内存波动较小。该应用无需账户,不上传录音,但支持系统更新和语音模型下载。
9月1日星期二 · 8 条
被弃客户项目如何成为我最自豪的作品
本文是系列第二部分,讲述一个被放弃的客户项目如何成为作者最自豪的作品。作者与团队曾免费为一位独立音乐人重建网站,投入超320小时修复遗留WordPress代码,并用Node.js和FFmpeg编写自定义CLI工具,构建轻量级Vanilla JS SPA路由器。起初客户对UI/UX原型满意,但网站上线后需求不断膨胀:从更改专辑封面到要求重写文案和字体。当团队礼貌拒绝超出志愿协议范围的改动时,客户竟要求自行修改文件。作者指出,流体排版和响应式SCSS断点并非像Word中选字体那样简单,而客户此前连Bandcamp基本设置都困难。最终团队关闭客户章节,但项目成为作者最自豪的展示。
为高铁出行打造地点到车站查找工具
开发者针对外国游客在中国乘坐高铁时难以确定正确车站的问题,构建了一个地点到车站的查找工具。该工具允许用户输入出发地和目的地(如酒店、机场、景点),然后并排显示候选的出发和到达车站,同时提供中英文站名。用户选择后,工具会为官方铁路12306查询准备准确的站名。开发者强调,该工具仅帮助将实际地点转化为候选车站,不提供路线或票务信息,最终需通过12306验证和购票。若地点搜索或路线估算不可用,页面会明确说明,而非给出虚假答案。该工具将旅行者地点、候选车站和官方铁路身份分开处理,确保准确性。
DigitalOcean推理六模型竞速,最便宜者胜出
作者在DigitalOcean推理端点对六个模型进行实时对比测试,发现最便宜的模型胜出。他构建了一个约390行Python的流式对比工具,通过OpenAI兼容接口同时向Llama、DeepSeek、Mistral、Qwen及OpenAI的gpt-oss等模型发送相同提示,并展示首字延迟和每次运行成本。测试中,他遇到gunicorn同步worker的连接限制问题,但最终通过多EventSource连接实现并行流式输出。作者强调,该工具代码已开源(MIT许可),并指出DigitalOcean推理端点使用模型访问密钥而非API令牌。测试结果出乎意料,最便宜模型在性能上表现最佳。
开源UseAgent:为Claude Code等配备云电脑
开发者本周开源了UseAgent,这是一个为Claude Code、Codex或OpenCode等编码代理提供真实云电脑的工具,使其能自主完成PR、电子表格、演示文稿、PDF及浏览器操作录屏等实际工作,而非仅返回聊天记录。用户可通过Web应用或Slack发送任务,代理在沙箱中运行,包含终端、文件和可见桌面,可实时观看或事后回放。UseAgent通过适配器将各代理的原生协议转换为统一事件流,使下游组件无需关心具体引擎,切换引擎仅需下拉选择。运行记录以追加日志形式存储在Postgres中,支持中断恢复和审计。演示站点demo.useagent.org为静态网站,无后端,通过回放真实事件日志展示功能。
Sovereign Voice 0.5.2:Apple Silicon 端侧语音合成
Sovereign Voice 0.5.2 是一款 Mac 应用,利用 Apple 的 MLX 框架在 Metal GPU 上完全端侧运行 Qwen3-TTS 语音合成,无需账户、云往返或 API 密钥。模型权重约 1.9 GB,首次启动时下载一次,之后可离线使用。该应用采用 Qwen3-TTS 0.6B 8-bit 量化模型(Apache-2.0 许可),在 M4 上首段音频约 1 秒,完整短句约 5-6 秒。提供菜单栏守护进程和工作室窗口,支持 25 次语音生成(使用一个库语音配置文件)、从短样本克隆声音,且无硬性付费墙,可无限生成。所有语音配置文件和自定义克隆均可用,工作室模式保真度更高,支持长文本合成。除一次性权重下载外,不发送任何音频、文本或个人数据,遥测可选且匿名。开发者选择 DMG 而非 App Store,因沙盒限制守护进程所需的文件 I/O。
剩余燃料排名胜过终身付费
付费排名网站从结账页面看都差不多,但排名规则才是核心。终身付费模式让付费最多者永久第一,导致市场冻结。而剩余燃料模式中,排名随时间消耗,停止付费就会下滑。Outbid.lol证明了有观众时能赚钱,但复制品缺乏观众。作者推出了RankBurns,采用剩余燃料规则,燃料每天燃烧约8%,第一名是租来的而非拥有,最低1美元,步进1美元。这是付费展示,非质量排名。作者强调,付费不能保证产品好,只是购买一天的曝光。如果没人关注,花1美元和1.7万美元效果相同。作者建议复制衰减机制,而非仅复制出价按钮。
本周你在发布什么?
本文是开发者社区的一篇讨论帖,邀请开发者分享本周正在发布的应用、功能、实验或更新,并指出最需要诚实反馈的部分。作者提到正在改进其社交辩论应用Callout,该应用的核心实验是:当观点获得真实的社区评判而非普通点赞时会发生什么。在Callout上,每个观点可被评判为“有根据”或“热门观点”,旨在让反应更清晰、讨论更有趣、观点更有分量。作者提供了应用链接,并邀请读者分享自己的发布项目。
构建5层AST自愈循环,实现多文件Python补丁
LuxurAI Coder 增强了其5层验证流水线,以安全修改 Python 代码库。改进包括:SelfHealingValidator 在沙箱中隔离测试执行并自动反馈失败至修复循环;StructureCheck 加强防止误删关键函数/类;AST Validator 增强语法树遍历以避免缩进和作用域问题。该工具通过混合编排外部模型 API 和本地验证工具,解决多文件上下文维护、安全执行测试驱动修复及重构时保持代码结构等难题。流水线包括解析 AST 映射依赖、规划更改、5层验证、隔离测试并自动修复。定价为每积分0.25卢比,注册赠送45免费积分,无订阅或风投。开发者可试用测试版并提供反馈。
