Show HN 每日精选 (2025-09-20)
- Zedis – 我用Zig编写的Redis克隆版
- WeUseElixir - Elixir项目目录
- PlantDiagrams – AI驱动的PlantUML编辑器
- Blots编程语言
- 并行运行多个Codex代理的操作系统层
- Devsyringe – 自动化向静态文件注入动态值
- 在8GB GPU上以1token/2s的吞吐量运行Qwen3-Next-80B
- Lucy Edit AI-免费的文本引导AI视频编辑器
- RustNet，带有进程识别的网络监控TUI
- GPU Kill – 无需重启即可终止卡住GPU任务的CLI工具
- 用于快速推理和训练的RDMA/Infiniband分布式缓存
- 我构建了Cursor for B2B研究，通过提示生成潜在客户列表
- 带有硬件加速Lua虚拟机的微控制器
- Nallely – 受Smalltalk启发的Python信号/MIDI处理系统
- 为自行车电脑创建Monkey C应用
- 无需SSH密钥、VPN或防火墙的零信任服务器访问
Zedis – 我用Zig编写的Redis克隆版 [开发者工具]
28 points, 5 comments
用Zig从零开始编写的Redis克隆版。
- 使用Zig实现以获得性能和安全性
- 复制Redis核心功能
- 开源项目，用于学习和实验
WeUseElixir - Elixir项目目录 [开发者工具]
68 points, 9 comments
展示使用Elixir构建的项目目录。
- Elixir项目的目录
- 突出实际用例
- 社区驱动的提交
PlantDiagrams – AI驱动的PlantUML编辑器 [开发者工具]
3 points, 0 comments
AI驱动的PlantUML编辑器，将自然语言描述即时转换为图表。
- 自然语言转PlantUML，带实时预览
- 导出图表（SVG/PNG/TXT）
- 使用项目组织工作
- 通过链接分享，可选评论
- 示例库提供参考
Blots编程语言 [开发者工具]
10 points, 2 comments
Blots是一种小型、面向表达式的编程语言，专为快速数学和数据提取任务设计。
- 面向表达式的语法，代码简洁
- 适用于快速数学和JSON数据操作
- 当前运行时比初始版本快100倍
- 计划转向字节码解释器以获得更好性能
- 设计用于个人和工作中的草稿用途
并行运行多个Codex代理的操作系统层 [开发者工具]
6 points, 2 comments
用于编排多个隔离Codex代理并行工作空间的开源操作系统层。
- 支持同时运行多个Codex代理
- 为每个代理提供隔离工作空间
- 跟踪代理活动和状态可见性
- 开源解决方案，支持协作编码工作流
Devsyringe – 自动化向静态文件注入动态值 [开发者工具]
3 points, 0 comments
Devsyringe是一个Go CLI工具，使用YAML定义的规则自动化向静态文件注入动态值。
- 自动化更新静态文件中的动态值（如隧道URL或API令牌）
- 使用简单的YAML配置定义注入规则
- 支持多种用例（隧道、API密钥、文档、CI/CD配置）
- 轻量级，命令行驱动，易于集成到工作流中
在8GB GPU上以1token/2s的吞吐量运行Qwen3-Next-80B [开发者工具]
4 points, 0 comments
在8GB GPU上运行Qwen3-Next-80B，吞吐量为每2秒1个token。
- 针对低GPU内存（8GB）优化
- 高性能吞吐（1token/2s）
- 支持Qwen3-Next-80B模型
Lucy Edit AI-免费的文本引导AI视频编辑器 [视频]
3 points, 0 comments
免费的AI驱动视频编辑器，支持文本引导编辑。
- 文本引导视频编辑
- 免费使用
- AI驱动功能
RustNet，带有进程识别的网络监控TUI [开发者工具]
3 points, 0 comments
RustNet是一个基于终端的网络监控工具，用Rust编写，提供实时连接跟踪，支持进程识别和协议检测。
- 深度包检测，支持HTTP、HTTPS/TLS（带SNI）、DNS和QUIC协议检测
- 使用eBPF（Linux）和PKTAP（macOS）识别进程，捕获短暂进程
- 多线程包处理，UI使用无锁数据结构
- 跨平台支持（Linux、macOS、Windows，但进程ID仅限Linux/macOS）
- Wireshark的轻量级替代，适合快速终端网络检查
GPU Kill – 无需重启即可终止卡住GPU任务的CLI工具 [开发者工具]
5 points, 0 comments
一个CLI工具，用于终止卡住的GPU进程而无需系统重启。
- 终止卡住的GPU任务
- 避免系统重启
- 命令行界面
用于快速推理和训练的RDMA/Infiniband分布式缓存 [开发者工具]
13 points, 0 comments
使用RDMA/Infiniband的分布式缓存系统，用于高速推理和训练。
- 利用RDMA/Infiniband实现低延迟通信
- 设计用于加速推理和训练工作负载
- 分布式架构，性能可扩展
我构建了Cursor for B2B研究，通过提示生成潜在客户列表 [商业]
6 points, 1 comments
AI驱动的B2B潜在客户生成工具，自动化获取、筛选、丰富和验证潜在客户及其联系信息。
- 自动化手动潜在客户研究和数据库创建
- 升级的UI和更智能的AI代理
- 提供决策者联系信息
- 提供演示和15%折扣（代码"PHK15"）
带有硬件加速Lua虚拟机的微控制器 [开发者工具]
7 points, 0 comments
带有硬件加速Lua虚拟机的微控制器
- 硬件加速的Lua虚拟机
- 进行中（WIP）
- 欢迎反馈
Nallely – 受Smalltalk启发的Python信号/MIDI处理系统 [开发者工具]
17 points, 2 comments
受Smalltalk启发的Python信号/MIDI处理系统，专注于动态和涌现行为。
- 通过反应式神经元实现信号的路由、连接和处理
- 支持分布式系统，通过网络总线神经元实现跨技术集成
- 提供移动友好的GUI，用于可视化连接和配置
- 在Raspberry Pi 5上高效运行，CPU和内存使用低
- 优先考虑可扩展性和运行时适应性而非极致性能
- 利用Python生态系统，同时拥抱Smalltalk的"系统如生命"哲学
为自行车电脑创建Monkey C应用 [开发者工具]
4 points, 0 comments
使用Monkey C为自行车电脑开发应用。
- 专为自行车电脑应用设计
- 使用Monkey C编程语言
无需SSH密钥、VPN或防火墙的零信任服务器访问 [开发者工具]
3 points, 0 comments
Alpacon是一个零信任平台，无需SSH密钥和VPN即可安全访问服务器。
- 基于角色的即时接入
- 可审计的访问，详细日志记录
- 精细的最小权限访问策略