Show HN 每日精选 (2025-07-14)
- 兼容Raycast的Linux启动器
- LeetCode式学习大语言模型
- 面向非Lisp语言的代码生成与元编程Lisp方言
- 纯浏览器梦境解析工具（基于符号逻辑与JavaScript）
- 我为和丹麦女友交流开发的语言工具——支持任意语言
- Kysely的类型安全PostgreSQL扩展（数组/JSONB/向量操作）
- c0admin——Linux系统管理员的终端AI助手
- 免费同步Strava运动记录至日历的工具
- 仅用100行JS实现类CMS的Markdown内容编辑
- 最简单本地优先的MCP使用方案（100%开源）
- 开源Android应用：发现尊重隐私的软件
- Clu3——与GPT组队玩2v2密码战游戏
- HNping：通过网页推送实现HN"稍后提醒"
- 我在个人网站加入生命游戏后效果超酷
- Sohri——将短篇故事变成沉浸式音频剧集
- 我们开发的AI汽车故障诊断工具
- 拒绝10个AI订阅！我开发了统一LLM聊天应用
- Magnetar——高性能BitTorrent解析操作库
- 0xDEAD//Type——复古风快节奏打字射击游戏
- FluidAudio——基于CoreML的Swift说话人日志系统
兼容Raycast的Linux启动器 [开发者工具]
128 points, 28 comments
基于Tauri/Rust/Svelte构建的Raycast兼容Linux启动器。
- 支持多数Raycast扩展
- 为扩展开发定制React渲染器与API
- 开源早期版本期待社区反馈
LeetCode式学习大语言模型 [教育]
111 points, 18 comments
以LeetCode风格练习解决LLM相关问题。
- 交互式解题学习法
- 专注LLM相关挑战
- 结构化学习框架
面向非Lisp语言的代码生成与元编程Lisp方言 [开发者工具]
3 points, 0 comments
专为非Lisp语言设计的代码生成与元编程Lisp方言。
- 采用RPython编写兼顾性能与兼容性
- 面向非Lisp开发者降低学习曲线
- 早期项目暂缺模块/模式匹配等功能
- 因可持续性考虑尚未公开源码
纯浏览器梦境解析工具（基于符号逻辑与JavaScript） [生活助手]
12 points, 4 comments
无需AI或后端的浏览器端梦境解析工具，基于符号逻辑与原生JavaScript。
- 纯浏览器环境运行
- 手工映射300+关键词符号系统
- 应用确定性逻辑进行解析
- 数据本地存储于localStorage
- 探索潜意识模式的无机器学习方案
我为和丹麦女友交流开发的语言工具——支持任意语言 [教育]
18 points, 7 comments
实时纠正解释写作错误的语言学习应用。
- 用花括号标记并解释不清晰内容
- 无中断的即时反馈机制
- 错误历史回顾功能
- 计划推出薄弱环节总结
- 摆脱翻译依赖的自信写作训练
Kysely的类型安全PostgreSQL扩展（数组/JSONB/向量操作） [开发者工具]
3 points, 0 comments
为Kysely提供的类型安全PostgreSQL扩展，支持数组/JSONB/向量操作。
- 类型安全集成
- 数组与JSONB支持
- 向量运算功能
- 专为Kysely设计
c0admin——Linux系统管理员的终端AI助手 [开发者工具]
7 points, 1 comments
使用自有Gemini API密钥的本地化Linux系统管理AI助手。
- 本地运行无需注册
- 零服务器与追踪
- 终端直接交互建议
免费同步Strava运动记录至日历的工具 [效率工具]
7 points, 3 comments
免费将Strava活动同步至日历的自动化工具。
- 完全免费
- 自动同步运动记录
- 主流日历兼容
仅用100行JS实现类CMS的Markdown内容编辑 [效率工具]
4 points, 1 comments
利用contenteditable特性实现类CMS的极简Markdown编辑器。
- CMS式富文本编辑
- contenteditable驱动
- 百行代码极简实现
最简单本地优先的MCP使用方案（100%开源） [开发者工具]
10 points, 2 comments
本地优先架构的全开源MCP简易实施方案。
- 本地优先设计
- 完全开源
- 极简MCP实现
开源Android应用：发现尊重隐私的软件 [消费科技]
5 points, 0 comments
帮助发现隐私友好软件的开源Android应用。
- 隐私软件发现引擎
- 开源透明架构
- 安卓平台专属
Clu3——与GPT组队玩2v2密码战游戏 [娱乐]
3 points, 0 comments
人类与LLM组队进行的2v2密码战游戏，测试AI对人类提示的理解能力。
- 人机协作团队玩法
- 检验LLM的提示预测能力
- 支持好友多人互动
- 灵感源自经典桌游密码战
HNping：通过网页推送实现HN"稍后提醒" [效率工具]
8 points, 2 comments
通过网页推送设置HN帖子重访提醒的工具。
- 支持5分钟至1周的灵活提醒
- 匿名UUID账户零隐私收集
- 书签工具一键安装
- 基于Cloudflare Worker与FCM推送
我在个人网站加入生命游戏后效果超酷 [设计]
4 points, 0 comments
终端风格个人网站集成可交互的生命游戏命令行。
- 终端式作品集导航
- 支持gameoflife互动命令
- 开发者主题创意设计
- 鼓励用户反馈交流
Sohri——将短篇故事变成沉浸式音频剧集 [音频]
8 points, 2 comments
AI叙事的短篇故事音频化平台，专注创作者友好体验。
- 自然语音合成无机械感
- 自动处理节奏语调等制作细节
- 规避主流平台限制政策
- 核心功能永久免费
- 支持实验性与商业化创作
我们开发的AI汽车故障诊断工具 [消费科技]
5 points, 1 comments
基于车型/故障码/症状的AI汽车诊断工具，提供通俗易懂的维修建议。
- 解析OBD2故障码与用户症状
- 提供可能问题与验证步骤
- 面向车主/DIY爱好者/专业人士
- 基于真实维修数据的AI训练
- 旨在提升用户送修前的知情权
拒绝10个AI订阅！我开发了统一LLM聊天应用 [聊天机器人]
46 points, 51 comments
按量付费的多模型统一AI聊天应用，终结订阅制碎片化。
- 按使用量计费避免重复订阅
- 支持ChatGPT/Claude/Gemini等主流模型
- 跨模型统一管理提示与知识库
- 告别多应用切换烦恼
Magnetar——高性能BitTorrent解析操作库 [开发者工具]
5 points, 0 comments
零依赖的高性能BitTorrent解析与操作库。
- 无第三方依赖
- 内存安全操作
- 支持种子文件/bencode数据/磁力链接
0xDEAD//Type——复古风快节奏打字射击游戏 [娱乐]
5 points, 0 comments
融合打字与射击机制的复古风快节奏游戏。
- 打字射击复合玩法
- 复古视听风格设计
- 帖子未提供额外说明
FluidAudio——基于CoreML的Swift说话人日志系统 [音频]
6 points, 0 comments
为iOS/macOS优化的开源Swift说话人日志解决方案。
- 与转录任务并行的高效日志
- 支持GPU/ANE硬件加速
- PyTorch模型直转CoreML
- 计划集成VAD与Parakeet转录
- 专注M1芯片实时性能优化