Show HN 每日精选 (2025-10-23)
- Cuq – Rust GPU内核的形式化验证工具
- 创建带弹窗内容的交互式图表
- 终端版地铁跑酷游戏
- 基于Qt6 CMake重生的伊斯兰图书馆ELKIRTASS
- ProxyBridge将任意Windows TCP/UDP流量重定向至HTTP/SOCKS5代理
- SerenDB – 专为AI工作负载优化的Neon PostgreSQL分支
- 终于实现！通过Cron任务本地运行任意GitHub Action
- 《停止极端退缩》——针对极端焦虑的免费AI指南
- 自进化智能体的自动学习技能
- Cont3xt.dev —— AI编程工具的通用团队知识库
- RuleHunt —— 细胞自动机界的TikTok
- Ruby版流式LLM工具调用增量JSON解析器
- UHOP —— 用开放硬件优化层摆脱Nvidia锁定
- UHOP —— GPU开放硬件优化平台
- Timeplus Proton 3.0 —— 首个向量化流式SQL引擎
- caniscrape —— 爬取前分析反爬机制（CLI和网页版）
- 乒乓战争放置游戏
- Buzzd聊天室 —— Yahoo Messenger复兴计划
- 13岁少年开发的跨对话记忆AI
Cuq – Rust GPU内核的形式化验证工具 [开发者工具]
31 points, 23 comments
Rust GPU内核的形式化验证工具。
- 确保Rust GPU内核的正确性
- 采用形式化验证方法
- 专注于GPU编程安全性
创建带弹窗内容的交互式图表 [设计]
30 points, 0 comments
支持弹窗交互的图表工具，便于分享和文档编写。
- 创建可点击/悬停触发弹窗的图表
- 无需登录即可通过网页链接分享
- 适用于系统文档、新人培训和演示场景
- 免注册试用地址：app.vexlio.com
终端版地铁跑酷游戏 [娱乐]
3 points, 1 comments
直接在终端运行的地铁跑酷游戏。
- 通过Homebrew安装
- 专为工作间隙提升专注力设计
- 简单命令行即可启动
基于Qt6 CMake重生的伊斯兰图书馆ELKIRTASS [开发者工具]
3 points, 0 comments
伊斯兰综合图书馆ELKIRTASSE的重生版，现已升级至Qt6和CMake构建系统。
- 采用Qt6框架现代化重构
- 使用CMake构建系统
- 开放社区贡献和改进
ProxyBridge将任意Windows TCP/UDP流量重定向至HTTP/SOCKS5代理 [开发者工具]
3 points, 0 comments
ProxyBridge可将Windows系统的任意TCP/UDP流量重定向至HTTP/SOCKS5代理。
- 支持Windows平台TCP/UDP流量重定向
- 兼容HTTP和SOCKS5代理协议
- 无附加说明文本
SerenDB – 专为AI工作负载优化的Neon PostgreSQL分支 [开发者工具]
6 points, 1 comments
为AI工作负载优化的PostgreSQL分支，增强安全与性能特性。
- 时光回溯查询功能，用于调试和审计AI决策
- 支持pgvector的零成本休眠数据库扩展
- 提示注入检测预防AI特定攻击
- 100毫秒级分支创建实现快速测试回滚
- 开源项目，托管服务开发中
终于实现！通过Cron任务本地运行任意GitHub Action [开发者工具]
21 points, 0 comments
通过Cron任务在本地运行GitHub Actions工作流。
- 本地执行GitHub Actions
- 通过Cron任务调度
- 无需依赖GitHub云运行器
《停止极端退缩》——针对极端焦虑的免费AI指南 [健康]
3 points, 1 comments
免费AI指南帮助管理极端焦虑和戒断症状。
- 提供基于AI的极端焦虑管理方案
- 专注缓解戒断反应症状
- 完全免费的用户资源
自进化智能体的自动学习技能 [生活助手]
27 points, 11 comments
自进化智能体的自动学习技能框架。
- 实现自主技能获取能力
- 专为自进化智能体设计
Cont3xt.dev —— AI编程工具的通用团队知识库 [开发者工具]
3 points, 3 comments
AI编程工具的通用团队知识库。
- 集中化管理AI编程工具知识
- 专为团队协作设计
- 通过共享上下文提升AI工具效率
RuleHunt —— 细胞自动机界的TikTok [娱乐]
13 points, 8 comments
TikTok风格平台，用于发现和排名有趣的细胞自动机规则。
- 探索2^512种可能的细胞自动机规则空间
- 移动端TikTok式滚动界面随机发现规则
- 桌面端支持定向规则搜索
- 用户可收藏规则并贡献全球排行榜
- 开源项目提供GitHub仓库
Ruby版流式LLM工具调用增量JSON解析器 [开发者工具]
11 points, 0 comments
Ruby实现的流式LLM工具调用增量JSON解析器，优化实时性能。
- 逐字符处理JSON实现流式AI工具调用
- 保持解析状态避免O(n²)复杂度，确保O(n)性能
- 仅处理新字符减少UI延迟
- MIT协议Ruby gem包
UHOP —— 用开放硬件优化层摆脱Nvidia锁定 [开发者工具]
3 points, 0 comments
UHOP是开源硬件优化层，通过自动内核选择与生成实现跨厂商GPU代码执行，打破Nvidia技术垄断。
- 自动检测硬件并选择最佳后端（CUDA/ROCm/OpenCL等）
- 采用AI辅助生成CUDA/OpenCL/Triton内核
- 支持融合操作如conv2d+ReLU和矩阵乘法
- 基准测试并缓存最优内核
- 包含CLI和早期浏览器监控面板
- 开放架构支持社区驱动改进
UHOP —— GPU开放硬件优化平台 [开发者工具]
3 points, 0 comments
UHOP是跨架构优化GPU工作负载的开源框架，无厂商锁定，具备AI辅助内核生成和硬件检测功能。
- 自动检测硬件后端并选择最优内核
- 基准测试融合操作如卷积+ReLU
- 缓存复用调优内核提升效率
- 动态生成CUDA/OpenCL/Python/Triton内核
- 支持通过OpenAI API进行AI辅助内核生成
- 提供简易CLI演示和基准测试工具
- 未来计划：深度后端集成、分布式优化和网页仪表盘
Timeplus Proton 3.0 —— 首个向量化流式SQL引擎 [开发者工具]
10 points, 10 comments
Timeplus Proton 3.0是采用现代C++编写的向量化流式SQL引擎，单二进制文件零依赖提供企业级流处理能力。
- 首个支持JIT编译的现代C++向量化流式SQL引擎
- 高吞吐、低延迟、高基数处理能力
- 端到端流处理支持（ETL/连接/聚合/警报/任务）
- 原生连接Kafka/Redpanda/Pulsar/ClickHouse等
- 原生Python UDF/UDAF支持AI/ML工作负载
- 社区版即具备企业级性能
caniscrape —— 爬取前分析反爬机制（CLI和网页版） [开发者工具]
3 points, 2 comments
爬虫前反爬检测工具，提供CLI和网页版本。
- 检测WAF、验证码、速率限制、TLS指纹识别和蜜罐等防护
- 提供0-10分爬取难度评分
- 推荐成功爬取所需工具/方法
- CLI版通过pip安装（
pip install caniscrape） - 网页版访问caniscrape.org
- 目前对亚马逊/YouTube等超强防护站点支持有限
- 网页版使用可能被大站封禁的云IP（计划增加代理轮换）
乒乓战争放置游戏 [娱乐]
5 points, 1 comments
灵感来自乒乓战争的简易放置游戏，3小时快速开发完成。
- 3小时趣味编程项目
- 灵感源自乒乓战争概念
- 体现轻松随性的开发风格
Buzzd聊天室 —— Yahoo Messenger复兴计划 [聊天机器人]
3 points, 0 comments
Buzzd聊天室是Yahoo Messenger(Y!M)的复兴项目，专注V9版本开发，拥有活跃社区和丰富功能。
- 支持Y!M V9并计划扩展其他版本
- 包含认证、头像和状态管理功能
- 提供好友管理（添加/删除/分组/屏蔽）和可见性控制
- 支持好友列表共享和联系人管理
- 实现照片/文件/音效/表情符号传输
- 具备消息送达回执的可靠通讯
13岁少年开发的跨对话记忆AI [生活助手]
8 points, 8 comments
具备上下文记忆和集成服务的AI助手，支持个人与商业应用。
- 由13岁少女与父亲在多次创业失败后开发
- 整合邮件/编程帮助/研究/规划于单一界面
- 特色功能：Thesys生成式UI图表/苏格拉底教学模式
- 通过Nityasha Connect支持商业集成
- 500+活跃用户