Show HN 每日精选 (2025-10-08)
- Timelinize —— 本地化私有管理全平台个人数据
- MARS —— 面向创作者的平价个人AI机器人 (< 2千美元)
- 在Playdate上阅读Kagi新闻
- Arc —— 基于DuckDB分析的高吞吐时序数据仓库
- Gotask —— 用Golang构建的极简任务管理器CLI
- Greenonion.ai —— AI驱动的设计助手
- 重构Django审计追踪方案（结构化且无需数据库）
- 我们训练了专为开发者任务设计的MoE大语言模型
- Kalendis —— 调度API（保留你的UI，我们处理时区/夏令时）
- 从任意来源调试和检查TLS加密流量
- FizzBee —— 基于形式化模型的自动化测试
- Strikethrough —— 通过删减字母构词的字谜游戏
- Mix —— 开源多模态智能体SDK
- 1比特像素字体编辑器
- NewsGoat —— 用Go编写的终端RSS阅读器
Timelinize —— 本地化私有管理全平台个人数据 [效率工具]
301 points, 64 comments
一款本地化隐私工具，用于整合管理来自各类云服务的个人数据。
- 数据本地存储，避免依赖云服务
- 保持导出数据的活跃性而非闲置
- 专为长期个人使用与控制设计
- 开放协作及潜在品牌重塑可能
MARS —— 面向创作者的平价个人AI机器人 (< 2千美元) [消费科技]
54 points, 44 comments
MARS是搭载开放式自主操作系统的平价通用AI机器人，专为爱好者和开发者设计。
- 预装校准完毕，内置Jetson Orin Nano 8GB算力芯片
- 配备5自由度机械臂（含腕部摄像头）、RGBD广角镜头、2D激光雷达及扬声器
- 可通过专属APP或兼容iPhone/Android的引导臂控制
- 提供USB接口与GPIO引脚以连接额外传感器/执行器
- 创新BASIC SDK支持具备视觉、语音、规划与实时行动能力的AI代理行为
- 兼容ROS2实现底层控制，轻松分享自定义行为
- 计划开源硬件与软件供社区贡献
- 定价低于2千美元，限时优惠码HACKERNEWS-INNATE-MARS
在Playdate上阅读Kagi新闻 [消费科技]
3 points, 0 comments
在Playdate设备上阅读Kagi新闻。
- 通过Playdate设备访问Kagi新闻
- 无额外文字说明
Arc —— 基于DuckDB分析的高吞吐时序数据仓库 [开发者工具]
17 points, 11 comments
Arc是结合DuckDB强分析能力的高吞吐时序数据仓库。
- 支持MessagePack二进制API或Line Protocol兼容格式写入
- 按小时分区存储Parquet格式数据
- 通过DuckDB引擎执行SQL查询
- 高写入吞吐（未优化状态下约188万条/秒）
- ClickBench性能优异（冷查询35.18秒，热查询约0.81秒）
- 已开源供社区审查与贡献
Gotask —— 用Golang构建的极简任务管理器CLI [效率工具]
3 points, 0 comments
Gotask是为探索Golang特性而开发的简易命令行任务管理器。
- 基于Golang构建
- 命令行界面(CLI)
- 追求极简主义
- 专为学习目的设计
Greenonion.ai —— AI驱动的设计助手 [设计]
19 points, 16 comments
通过用户提供的图像与描述生成可编辑版式的AI设计助手。
- 根据输入生成统一的设计方案（布局、构图、色彩、字体）
- 全元素可编辑（文字、间距、色彩、层级）
- 不依赖AI生图，需用户自备图片素材
- 支持浏览器内编辑并导出网页/印刷/ campaign物料
- 无需模板或复杂工具即可完成设计
重构Django审计追踪方案（结构化且无需数据库） [开发者工具]
5 points, 0 comments
Django-activity-audit用结构化JSON日志替代数据库密集型审计方案，提升性能与分析效率。
- 扩展Django日志系统，新增AUDIT与API级别
- 以结构化JSON格式记录CRUD与API事件
- 通过Vector将日志传输至ClickHouse高效存储
- 支持Grafana查询与可视化
- 消除额外数据库写入，降低成本并提升性能
我们训练了专为开发者任务设计的MoE大语言模型 [开发者工具]
3 points, 0 comments
专为开发者任务优化的混合专家架构大语言模型。
- 采用MoE（混合专家）架构
- 针对开发者相关任务优化
- 帖子中未提供额外细节
Kalendis —— 调度API（保留你的UI，我们处理时区/夏令时） [开发者工具]
4 points, 1 comments
Kalendis是API优先的调度后端，在保留用户自有UI的同时处理时区、夏令时等复杂调度逻辑。
- 为Next.js/Express/Fastify/Nest生成类型化客户端与API路由
- 管理可查询的循环规则、临时例外与黑名单时段
- 提供防冲突的预约创建/更新/取消接口
- 使用REST API配合ISO-8601时间戳与IANA时区
- 集成MCP工具生成前后端客户端与API路由
- 提供免费测试账户及API密钥
从任意来源调试和检查TLS加密流量 [开发者工具]
3 points, 1 comments
支持对任意来源的TLS加密流量进行调试与检查。
- 调试TLS加密流量
- 兼容所有网络来源
- 提供流量检查能力
FizzBee —— 基于形式化模型的自动化测试 [开发者工具]
9 points, 6 comments
FizzBee是通过行为规范自动生成测试用例的模型驱动测试工具。
- 使用类Python规范语言描述预期行为
- 支持针对设计缺陷的穷举验证（类似形式化方法）
- 自动将模型映射到实际系统生成测试用例
- 无需手工编写测试，降低维护成本
- 同步测试并发与顺序行为，避免级联修改
- 当前支持Go语言，未来计划扩展至Java/Rust
Strikethrough —— 通过删减字母构词的字谜游戏 [娱乐]
5 points, 2 comments
每日字谜游戏：通过从种子词中删除字母来构成有效短词。
- 从长种子词（如"LONGBOARD"）开始，删除字母构成有效短词
- 找出10个词完成挑战，或探索所有可能组合
- 每日更新谜题，无需注册
- 灵感源自逆向拼字游戏机制
Mix —— 开源多模态智能体SDK [开发者工具]
5 points, 1 comments
Mix是支持视频、音频与PDF分析的开源多模态智能体开发套件。
- 原生集成Gemini视觉与Claude推理能力处理视频/音频/PDF
- 多模型路由避免供应商锁定
- 一键部署Supabase实现云端托管
- HTTP架构配合可视化DevTools调试智能体工作流
- Go后端内存占用比Node.js低50-80%
- 提供Python与TypeScript客户端
- 典型用例包括投资组合分析与YouTube搜索代理
1比特像素字体编辑器 [设计]
5 points, 1 comments
为Arduino/ESP32的OLED屏幕设计1比特像素字体的浏览器工具。
- 支持等宽与变宽字体设计
- 内置实时预览功能
- 多格式字体导出
- 预置示例字体库
- 纯客户端运行，支持离线使用
- 灵感源自开发者先前微型字体项目
NewsGoat —— 用Go编写的终端RSS阅读器 [开发者工具]
8 points, 1 comments
基于Go语言开发的轻量级终端RSS阅读器。
- 轻量高效
- 命令行界面
- 采用Go语言实现性能优化