Show HN 每日精选 (2025-05-22)
- 面向高可信RISC-V嵌入式系统的机密计算
- 我开发了一款在线视频编辑器
- Evolved.lua——Lua的进化版实体组件系统
- 将智能体表示为MCP服务器
- Trendly AI——支持42种语言的趋势检测
- 我制作了《大脑健康蓝图》助你实现每日巅峰生产力
- 我开发了免费AI工具：通过文本描述生成像素画
- 测试你的车牌识别能力
- Super (YC W18)——将公司数据转化为团队答案与智能体
- BemiDB——零ETL的开源数据仓库
- 我用氛围编程打造了一款复杂交易应用
- 我用GPT和Metabase实现了"招聘信息"可搜索化
- Kraa.io——支持笔记、博客、聊天的Markdown编辑器
- AI婴儿监视器——当安全规则被打破时会发出提示音的本地视频LLM
- OpenHands——Devin、Codex和Jules的开源替代品
- 我开发了ColorSnap：从图片生成Tailwind配色方案
- TitleBridge——FinalCut工作流插件
- 因Stripe问题频发，我们开发了替代方案
- Phare：大语言模型的安全探针
- 原生日语沉浸式阅读应用+Anki集成(Manabi Reader)
- CodeBoarding——用于新人培训的代码库交互式地图
- 免费OSINT API：Reddit用户画像分析
- apply.coop——根据价值观和热情匹配理想工作
- 体验Meta的"无分词器"补丁工具
面向高可信RISC-V嵌入式系统的机密计算 [开发者工具]
64 points, 3 comments
为高可信RISC-V嵌入式系统提供机密计算支持，配备形式化验证固件。
- 为嵌入式RISC-V实现基于虚拟机的可信执行环境(TEE)
- 专注于形式化验证和可审计固件
- 针对具有硬件隔离功能的高可信系统
- 安全监控固件采用Rust编写
- 形式化规范通过RefinedRust转换为Coq
- 属于RISC-V机密虚拟机扩展(CoVE)规范的一部分
我开发了一款在线视频编辑器 [视频]
78 points, 37 comments
专为网页端简易编辑打造的在线视频编辑器。
- 基于网页的视频编辑
- 简洁易用的界面
Evolved.lua——Lua的进化版实体组件系统 [开发者工具]
46 points, 11 comments
专为Lua设计的高性能实体组件系统库，兼顾简洁性与高效能。
- 简单易用
- 支持复杂系统
- 极致性能表现
将智能体表示为MCP服务器 [开发者工具]
35 points, 16 comments
轻量级框架，使智能体能够作为MCP服务器运行，实现无缝调用与编排。
- 智能体组合：通过MCP协议构建多智能体系统
- 平台无关：兼容所有MCP客户端调用
- 可扩展性：在专用基础设施上运行工作流
- 可定制化：开发跨客户端可复用的工作流
- 持久化执行：通过Temporal支持暂停/恢复/重试
- 工作流API：包含列表/运行/状态检查/恢复/终止等端点
Trendly AI——支持42种语言的趋势检测 [研究]
28 points, 14 comments
Trendly AI实现跨42种语言的趋势分析。
- 多语言趋势分析
- 支持42种语言
- 实时趋势检测
我制作了《大脑健康蓝图》助你实现每日巅峰生产力 [健康]
3 points, 0 comments
通过个性化大脑健康分析与行动计划优化每日效率。
- 整合手机数据、日历和可穿戴设备生物指标
- 心理学家评估大脑健康状况
- 提供个性化巅峰表现方案
- 早期版本面向运动员和创始团队
- 由前柔道国家队运动员开发，专注1%顶尖身心表现
我开发了免费AI工具：通过文本描述生成像素画 [图像]
13 points, 2 comments
通过文本描述生成像素画的AI工具。
- 文生像素画：将文字提示转换为像素风格图像
- 像素艺术风格：专注打造独特像素美学
- 简洁界面：直观易用的提示输入
- 应用场景：独立游戏开发者/数字艺术家/像素画爱好者
测试你的车牌识别能力 [娱乐]
20 points, 12 comments
通过互动游戏测试你识别加州车牌是否合规的能力。
- 使用加州车牌审核数据集
- 互动形式测试识别技能
- 灵感来自近期Hacker News讨论
Super (YC W18)——将公司数据转化为团队答案与智能体 [商业]
13 points, 3 comments
Super通过AI连接企业数据源，为团队提供快速准确的答案与自动化工作流。
- 无缝集成现有工具实现统一知识检索
- 多数据源并行搜索实现近即时响应
- 支持并行LLM任务提升信息聚合效率
- 提供企业级权限管控功能
- 包含可定制AI助手与嵌入式扩展
- 内置MCP能力支持智能体工作流
BemiDB——零ETL的开源数据仓库 [开发者工具]
6 points, 2 comments
BemiDB是开源零ETL数据仓库，通过无缝集成Postgres等数据源简化分析流程。
- 零ETL整合Postgres及HubSpot/Stripe等外部数据
- 采用Apache Iceberg架构，Parquet文件存储于S3实现高性价比扩展
- 嵌入DuckDB实现内存列式存储的快速分析
- 兼容Postgres协议与语法便于采用
- 开源非专有(Apache Iceberg)避免供应商锁定
我用氛围编程打造了一款复杂交易应用 [金融]
5 points, 6 comments
Tradofire加密货币交易应用，通过滑动预置策略开仓，采用AI辅助开发。
- 滑动交易UI快速建立多空仓位
- 实时精选加密交易信号
- 内置自动止损止盈控制
- 模拟交易模式测试策略
- 便捷交易所集成实盘交易
我用GPT和Metabase实现了"招聘信息"可搜索化 [开发者工具]
4 points, 0 comments
将Hacker News"招聘信息"帖子转化为可搜索职位数据的工具，采用GPT+PostgreSQL+Metabase技术栈。
- 使用GPT提取职位详情(公司/角色/地点/薪资/联系方式)
- 数据存储于PostgreSQL实现结构化访问
- 提供Metabase看板进行探索搜索
- 当前本地运行，未来可能开放公共看板
Kraa.io——支持笔记、博客、聊天的Markdown编辑器 [文本]
57 points, 26 comments
专注无干扰写作与样式定制的网页端Markdown编辑器。
- 无干扰Markdown编辑环境
- 严格区分文档样式与写作体验
- 支持丰富定制选项
- 公开测试版，计划年内正式发布
AI婴儿监视器——当安全规则被打破时会发出提示音的本地视频LLM [消费科技]
6 points, 5 comments
采用本地视频LLM技术，当违反安全规则时通过蜂鸣声提醒家长。
- 使用Redis+vLLM+Streamlit监控视频流
- 基于YAML定义的安全规则检查
- 本地运行Qwen 2.5 VL模型输出结构化JSON
- 蜂鸣声警报(无手机通知)
- Streamlit界面显示摄像头画面与LLM日志
OpenHands——Devin、Codex和Jules的开源替代品 [开发者工具]
11 points, 1 comments
AI辅助编程的商业工具开源替代方案。
- 开源
- AI辅助编程
- 商业工具替代品
我开发了ColorSnap：从图片生成Tailwind配色方案 [设计]
3 points, 1 comments
ColorSnap通过提取主色并匹配Tailwind工具类，从上传图片生成CSS配色方案。
- 从图像提取主色
- 通过LAB色彩空间匹配最近Tailwind类
- 提供色值及即用类名(如bg-indigo-500)
- 基于Next.js+Tailwind构建，纯浏览器运行
- 加速色彩决策，确保样式一致性
TitleBridge——FinalCut工作流插件 [视频]
8 points, 1 comments
通过拖拽操作简化FinalCut字幕跨项目转移流程。
- 消除繁琐的导出/导入步骤
- 采用直观拖拽功能
- 简化字幕集成到时间线
- 专为短视频编辑需求设计
因Stripe问题频发，我们开发了替代方案 [金融]
10 points, 2 comments
Dodo支付作为商户记录平台，为数字创业者提供全球支付解决方案，规避Stripe限制与合规复杂性。
- 覆盖Stripe受限地区的全球支付通道
- 一键税务合规(VAT/GST/销售税等)
- 无需本地法律实体注册
- 本地货币营收结算
- 针对全球转化优化的支付流程
Phare：大语言模型的安全探针 [研究]
4 points, 0 comments
Phare基准测试与论文挑战传统LLM评估方式，聚焦事实可靠性、提示敏感性与多语言支持。
- 质疑排行榜驱动的评估模式
- 测试事实可靠性与提示敏感性
- 包含多语言支持分析
- 检验错误前提处理能力
- 揭示偏好分数与事实准确性差异
- 凸显框架效应及谄媚/刻板印象等安全指标
原生日语沉浸式阅读应用+Anki集成(Manabi Reader) [教育]
5 points, 2 comments
集成Anki的日语沉浸式阅读应用。
- 原生日语沉浸阅读
- Anki词汇学习集成
CodeBoarding——用于新人培训的代码库交互式地图 [开发者工具]
23 points, 8 comments
CodeBoarding通过可视化代码库简化开发者入职流程。
- 结合静态分析与LLM智能体生成精确图表
- 创建可点击的抽象组件与摘要便于导航
- 当前支持Python代码库并提供演示
- 即将发布免费的VSCode扩展版本
免费OSINT API：Reddit用户画像分析 [开发者工具]
6 points, 2 comments
利用公开数据生成Reddit用户画像的免费OSINT API。
- 将用户名转化为包含风险/兴趣/行为模式的详细画像
- 基础API免费使用
- 仅使用公开数据且符合GDPR规范
apply.coop——根据价值观和热情匹配理想工作 [商业]
54 points, 6 comments
连接求职者与价值观和热情相符职位的平台。
- 基于个人价值观与热情进行匹配
- 专注有意义的工作机会
- 为合作社和价值驱动型就业设计
体验Meta的"无分词器"补丁工具 [开发者工具]
3 points, 0 comments
实验性工具，用于理解Meta"无分词器"补丁方法的优势与局限。
- 鲁棒性：高熵计算聚焦困难字节，适用于低资源语言和拼写任务
- 计算效率：低熵减少简单字节的计算消耗
- 上下文学习：自适应分词减少后续序列的计算浪费