Show HN 每日精选 (2025-04-20)

• 我开发了一个将GitHub代码库转化为简易教程的AI工具
• 哥德巴赫猜想验证突破至410^18+710^13
• Undercutf1——带车手追踪和可变延迟的F1实时终端应用
• 网页版视频编辑器，完全本地运行，AI字幕，音量自动剪辑
• Parqv——交互式终端Parquet文件可视化工具
• LettuceDetect——RAG流程的轻量级幻觉检测器
• DeadDrop——匿名文件分享小工具
• 我开发了从问题痛点生成SaaS创意的工具
• 用AI让你的书签更智能
• 我为GitHub开发了AI代码审查工具（开发过程中就用它自检）
• CR4SH3R——WordPress插件漏洞快速扫描器
• 我做了个获取巴拉圭居留权和公民身份的应用
• 能显示飞机和航空公司安全记录的航班搜索工具

我开发了一个将GitHub代码库转化为简易教程的AI工具 [教育]

42分, 13评论

将GitHub代码库转化为新手友好教程的AI工具。

• 将复杂代码库转化为易懂教程
• 自动生成文档和学习材料
• 直接与GitHub仓库集成

讨论链接, 原文链接

哥德巴赫猜想验证突破至410^18+710^13 [研究]

221分, 122评论

使用云端分布式计算系统将哥德巴赫猜想验证推进至4×10¹⁸ + 7×10¹³。

• 创下哥德巴赫猜想验证新纪录
• 采用Gridbach云端分布式计算系统
• 无需登录或安装应用，任何设备均可参与
• 在浏览器中运行高性能WASM二进制代码
• 直接利用用户浏览器进行计算

讨论链接, 原文链接

Undercutf1——带车手追踪和可变延迟的F1实时终端应用 [娱乐]

255分, 63评论

终端版F1实时数据应用，含详细比赛数据和可调延迟功能，可与电视转播同步。

• 提供包括车手追踪、计时塔和赛事控制在内的实时数据
• 支持回放历史比赛并模拟赛程
• 可调整数据延迟以匹配电视转播
• 在110x30终端窗口显示效果最佳
• 包含圈速差距等详细分析功能

讨论链接, 原文链接

网页版视频编辑器，完全本地运行，AI字幕，音量自动剪辑 [视频]

8分, 0评论

完全本地运行的网页视频编辑器，自动剪辑静音片段并生成字幕，加速内容创作和课程复习。

• 100%本地处理，无需云端
• 自动切除静音片段缩短视频
• AI生成字幕
• 无需渲染即时播放
• 适合课程、会议记录和内容创作
• 可导出至DaVinci Resolve进一步编辑

讨论链接, 原文链接

Parqv——交互式终端Parquet文件可视化工具 [开发者工具]

13分, 6评论

Parquet文件的交互式终端可视化工具。

• 终端用户界面
• 可视化Parquet文件内容
• 交互式数据探索
• 支持Parquet文件格式

讨论链接, 原文链接

LettuceDetect——RAG流程的轻量级幻觉检测器 [开发者工具]

5分, 0评论

LettuceDetect是开源的编码器专用框架，无需完整LLM推理即可检测生成答案中的幻觉内容。

• 基于检索证据的token级幻觉检测
• 基于ModernBERT架构，支持4K token上下文
• 在RAGTruth基准测试中达到79.22% F1值
• MIT许可，提供Python包、预训练模型和Hugging Face演示
• 比基于LLM的检测器更高效

讨论链接, 原文链接

DeadDrop——匿名文件分享小工具 [生产力]

17分, 19评论

DeadDrop是极简的匿名文件分享工具。

• 匿名文件共享
• 极简轻量设计
• 无需注册或设置

讨论链接, 原文链接

我开发了从问题痛点生成SaaS创意的工具 [商业]

5分, 2评论

通过分析问题痛点生成SaaS创意的工具。

• 分析问题识别痛点
• 基于痛点生成SaaS商业创意

讨论链接, 原文链接

用AI让你的书签更智能 [生产力]

7分, 7评论

AI驱动的书签增强工具。

• 使用AI整理优化书签
• 帮助用户更高效管理收藏内容

讨论链接, 原文链接

我为GitHub开发了AI代码审查工具（开发过程中就用它自检） [开发者工具]

3分, 4评论

面向独立开发者的AI代码审查工具，通过OpenAI提供结构化反馈。

• 自动用LLM生成评论审查PR
• 专为缺少人工审查的独立开发者设计
• 计划集成多模型（Claude、Gemini等）
• 未来将支持自带模型、仓库记忆和自定义规则
• 开发过程中自测优化功能

讨论链接, 原文链接

CR4SH3R——WordPress插件漏洞快速扫描器 [开发者工具]

3分, 0评论

检测任意文件下载漏洞的WordPress插件快速扫描器。

• 多线程闪电扫描
• 从暴露文件（如wp-config.php）提取凭证
• 生成可操作的Excel报告
• 一键式简易图形界面

讨论链接, 原文链接

我做了个获取巴拉圭居留权和公民身份的应用 [旅行]

5分, 0评论

CitizenPY通过指导用户完成资格审核和节省成本方案，简化获取巴拉圭居留权和公民身份的流程。

• 系统化简化入籍流程
• 判断资格并提供定制路径
• 提供插队技巧和降本建议
• 对接可信合作方

讨论链接, 原文链接

能显示飞机和航空公司安全记录的航班搜索工具 [旅行]

3分, 0评论

航班安全搜索工具，帮助用户在预订前查询航空公司和机型的详细安全记录。

• 提供特定航空公司和机型的安全记录
• 帮助用户做出明智的航班选择
• 未来计划添加带经验和安全记录的认证飞行员资料

讨论链接, 原文链接