Show HN 每日精选 (2025-04-26)
- 我用OpenAI新图像API做了个性化填色书服务
- 用Lean形式化《数学原理》
- Magnitude——面向Web应用的AI原生开源测试框架
- 集成Python的现代电子表格工具
- BugStalker——现代Rust调试器
- RSS查找器——免费开源获取任意网址的RSS订阅源
- Faasta——基于Rust的自托管WASM-wasi-HTTP无服务器平台
- StackHound——秒级分析代码库技术栈
- SnipFast——从实体书提取高亮文本
- QR码纠错功能交互演示
- Claude代码编辑器——带GUI和积木式提示编辑（MIT协议）
- Loat——用自动化邮件增长月度经常性收入
- 理解AWS成本的MCP服务器
- OpenWrt配置器——简化路由器管理
- 将Rails REST API转为模型上下文协议服务器
- Pomo——无代码管理Stripe优惠券
- Mailfrom.dev——更经济的MailTrap替代方案
- 我的Python文字地牢探险游戏引擎
- TSCE——LLM双步上下文增强技术
- Mermaid开源编辑器2.0
- Turbine——类Markdown语法的C/C++脚本语言
我用OpenAI新图像API做了个性化填色书服务 [图像处理]
46分, 26评论
通过OpenAI图像API将家庭照片转化为个性化填色书的服务。
- 利用OpenAI图像API自动生成填色书页
- 集成印刷服务递送实体填色书
- 满足成人和儿童的创意减压需求
- 为早期用户提供10%折扣
用Lean形式化《数学原理》[研究]
84分, 21评论
使用Lean定理证明器严格形式化罗素《数学原理》的项目，忠实还原原始证明过程。
- 基于Lean4形式化《数学原理》第一卷
- 最小化附加陈述，严格遵循罗素证明
- 追求高准确性并欢迎纠错反馈
- 区别于现有Coq版本实现
- 开源GitHub仓库接受协作贡献
Magnitude——面向Web应用的AI原生开源测试框架 [开发者工具]
113分, 30评论
基于视觉LLM智能体的开源测试框架，为Web应用提供更快、更便宜、更可靠的AI原生测试方案。
- 采用纯视觉分析替代易错的"标记集"系统
- 使用微型视觉语言模型(Moondream)提升速度并降低成本
- 双智能体架构：规划器动态调整测试用例，执行器快速稳定运行
- 支持测试方案保存复用，异常时自动回退至规划器
- 完全开源且专为Web测试优化
集成Python的现代电子表格工具 [效率提升]
44分, 6评论
支持Python集成的现代电子表格工具，可高效处理海量数据集。
- 秒级加载4GB+/3200万行超大型文件
- 支持500GB内存稳定运行不崩溃
- 提供CSV/文本文件的编辑拆分合并功能
- Python函数可作为公式返回图像或CSV
- 无变量限制的统计透视与求解功能
- 百万级数据点即时图表生成
- 持续吸收用户反馈改进产品
BugStalker - 现代Rust调试器 [开发者工具]
103分, 15评论
用Rust编写的现代Rust语言调试器。
- 专为Rust应用调试设计
- 采用Rust语言自身开发
- 现代化调试体验
RSS查找器——免费开源获取任意网址的RSS订阅源 [开发者工具]
4分, 3评论
通过分析元标签、备用路径和硬编码订阅源，免费查找任意网址的RSS订阅。
- 自动探测网站RSS订阅源
- 支持主流站点特殊处理
- 完全开源无广告无追踪
- 集成Cloudflare Turnstile防滥用系统
Faasta——基于Rust的自托管WASM-wasi-HTTP无服务器平台 [开发者工具]
86分, 30评论
采用Rust编写的自托管无服务器平台，支持WASM-wasi-HTTP函数的高效多租户并发执行。
- 符合WASI-HTTP标准的开源托管方案
- 单进程支持数千函数并发调用
- 可通过
cargo install cargo-faasta安装CLI工具 - 提供GitHub OAuth部署的免费托管实例
- 比AWS Lambda等传统方案更高效
StackHound——秒级分析代码库技术栈 [开发者工具]
5分, 1评论
通过扫描依赖文件快速解析GitHub仓库实际技术构成。
- 自动识别React/Next.js/Tailwind等技术栈
- 输入GitHub用户名和仓库即时分析
- 提供API端点供自定义工具集成
- 完全开源含在线演示
SnipFast——从实体书提取高亮文本 [教育]
9分, 0评论
通过拍照自动提取实体书高亮文本的工具。
- 智能识别书页照片中的高亮内容
- 支持手动选择句子精准复制
- 采用定制ML模型检测高亮区域
- 免费试用后小额付费防滥用
- 专为读者/学生/研究者设计
- Kotlin后端+Postgres数据库架构
- 早期版本寻求UI改进建议
QR码纠错功能交互演示 [消费科技]
10分, 2评论
通过涂鸦QR码实时观察纠错能力的交互式演示。
- 健康条和损伤计数器直观展示容错能力
- 绘制模式与检查模式自由切换
- WebAssembly编译的C++解码器确保准确性
- 鼓励手机扫码验证临界点
- 展示QR码最小数据区损坏挑战
Claude代码编辑器——带GUI和积木式提示编辑（MIT协议）[开发者工具]
3分, 1评论
为Claude代码交互提供图形界面和积木式提示编辑的解决方案。
- 可视化用户操作界面
- 模块化提示编辑器
- MIT开源协议
Loat——用自动化邮件增长月度经常性收入 [市场营销]
4分, 2评论
为创业者提供的无CRM依赖的邮件自动化增长平台。
- 多产品线邮件序列自动化
- 支持教育引导型邮件和新闻简报
- 为精干团队最大化邮件渠道价值
- 脱胎于高信任度税务产品的内部工具
理解AWS成本的MCP服务器 [金融]
14分, 3评论
通过Vantage API连接LLM与AWS成本数据的智能云成本管理服务器。
- 支持Claude/Cursor等LLM(即将接入ChatGPT/Gemini)
- 覆盖AWS/Datadog/MongoDB等20+云服务商
- 实现成本即席查询与多工具工作流
- 需配合Vantage账户使用
- 开源GitHub仓库可用
OpenWrt配置器——简化路由器管理 [开发者工具]
3分, 0评论
OpenWrt设备的CLI配置工具，未来将推出网页UI及开源UniFi替代方案。
- 批量配置多台OpenWrt设备
- CLI界面支持快速脚本化操作
- 规划开发网页管理界面
- 目标成为UniFi Controller开源替代品
将Rails REST API转为模型上下文协议服务器 [开发者工具]
3分, 0评论
将Rails REST API转换为模型上下文协议(MCP)服务器。
- REST API到MCP服务器的转换
- 通过模型上下文协议增强API功能
Pomo——无代码管理Stripe优惠券 [商业]
4分, 6评论
无需编程批量创建管理Stripe优惠券的免费工具。
- 可视化生成Stripe唯一优惠码
- 支持批量创建与自定义前缀
- 通过Stripe API密钥快速接入
- 优惠码导出支持营销活动
Mailfrom.dev——更经济的MailTrap替代方案 [开发者工具]
3分, 2评论
用于开发/测试环境的简易经济型SMTP沙箱服务器。
- 比MailTrap更经济的替代方案
- 便捷的团队协作测试功能
- 支持各类邮件流测试场景
- Laravel+Vue3技术栈，部署于Hetzner k3s
- 采用AWS S3/SES处理存储与邮件
我的Python文字地牢探险游戏引擎 [娱乐]
3分, 0评论
术后康复期间开发的Python文字冒险游戏引擎。
- 游戏世界通过JSON定义
- 包含房间/战利品/怪物系统
- GitHub开源仓库
TSCE——LLM双步上下文增强技术 [开发者工具]
3分, 0评论
无需微调即可提升小模型指令遵循精度的Python库，采用"先思考后回答"双阶段架构。
- 兼容GPT-3.5/4等现有模型
- 思考阶段(Phase1)与回答阶段(Phase2)分离
- 仅约2次API调用的延迟开销
- 可定制系统提示获取针对性响应
Mermaid开源编辑器2.0 [开发者工具]
3分, 1评论
开源Mermaid图表编辑器的2.0升级版。
- 完全开源
- Mermaid图表创作支持
- 2.0版本功能增强
Turbine——类Markdown语法的C/C++脚本语言 [开发者工具]
3分, 0评论
为C/C++项目设计的易读易嵌入脚本语言，采用类Markdown语法。
- 为嵌入式场景优化设计
- Markdown风格提升可读性
- 内置容器类型(vec/set/map)
- 提供简洁C语言集成接口