Hasty Briefsbeta

双语

Simple 3D Packing
2 months ago
- 将Thingi10K数据集的348个物体以60.8%的密度装入240×123×100毫米托盘中
- 采用基于快速傅里叶变换(FFT)碰撞检测的GPU加速三维装箱算法
- 实现了SIGGRAPH 2023会议提出的频谱装箱算法
- 主要特性包括GPU加速、Python API接口和Blender导出功能
- 运行环境要求Python 3.8+、CUDA 11.0+及计算能力6.0+的NVIDIA显卡
- 安装步骤包含克隆代码库并配置依赖环境
- 提供简易Python API支持体素化物品或STL文件的装箱操作
- 算法流程：体素化→碰撞检测→评分→贪心摆放
- 示例包含基础装箱、性能测试及宣传图生成
- 项目结构包含C++/CUDA底层实现与Python绑定
- 采用MIT开源协议并要求引用原始SIGGRAPH 2023论文
Show HN: Mysti – Claude, Codex, and Gemini debate your code, then synthesize
2 months ago
- Mysti 是一款 VS Code 扩展，集成了多种AI编程工具（Claude Code、Codex、Gemini），提供更强大的编程辅助功能。
- 具备「头脑风暴模式」，两个AI代理通过辩论与观点融合，协同生成更全面的解决方案。
- 支持16种专业角色预设（如架构师、调试专家、安全顾问），可针对特定需求定制AI响应风格。
- 兼容现有AI订阅服务（Claude/ChatGPT/Gemini），无需额外付费即可使用。
- 提供现代化聊天界面，支持语法高亮、Markdown渲染和Mermaid流程图展示。
- 可配置AI服务商、访问权限和头脑风暴模式等个性化设置。
- 支持通过VS Code命令面板快速启动，或通过应用市场直接安装。
- 遵循VSCode遥测设置，仅收集匿名使用数据以优化产品。
- 采用BSL 1.1商业源代码许可证，允许个人/教育用途，商业使用需单独授权。
Show HN: Vibe code from phone template repo
2 months ago
- 专为移动端设计的Vibe代码项目初始仓库
- 核心原则包括低门槛提示、自动化工具和移动友好型工作流程
- 使用TypeScript、Vite构建，Netlify提供托管和函数服务
- 包含src/www静态站点目录、funcs函数目录及prompt_history提示历史存档
- 开发服务器运行于localhost:5173，函数接口位于localhost:8888/api/*
- 推送至main分支自动部署，或手动连接仓库至Netlify
- 两种构建模式：标准Netlify部署和离线单HTML文件模式（支持file://协议）
- make itch-zip命令生成可上传Itch.io的game.zip包
- Netlify预览部署时自动加载Eruda移动端调试控制台
- 函数通过/api/[函数名称]路径访问
- 欢迎提交PR，重点关注移动端氛围编程体验
- 采用MIT许可证
Mruby: Ruby for Embedded Systems
2 months ago
- mruby是Ruby的轻量级实现，兼容Ruby 3.x语法（模式匹配除外）。
- 您可以将mruby嵌入应用程序，使用其解释器（mruby）、交互式shell（mirb）和编译器（mrbc）。
- 下载mruby稳定版3.4.0或从GitHub克隆源代码。
- 通过ruby-install、ruby-build或rvm安装。
- 使用`rake doc`构建文档，在浏览器中查看API文档。
- 通过mrbgems用C/Ruby扩展自定义mruby功能。
- mruby采用MIT许可证，需保留版权声明。
- 通过GitHub提交Pull Request贡献代码，即视为同意按MIT许可证授予非独占权利。
Publishing your work increases your luck
2 months ago
- 运气就是意外发生的好事降临在你身上。
- 通过行动并与人分享来扩大你的'幸运表面积'。
- 公开发表作品能增加好运找到你的概率。
- 付诸实践是关键，如果遇到困难就从简单开始。
- 公开分享作品可以建立声誉并激励他人。
- 发表能力会随着练习不断提升。
- 分享带来的好处包括认可、机遇和新的人际关系。
- 幸运公式：付诸实践 + 主动分享 = 更多好运。
Show HN: Hybrid-Transpiler – A tool to convert C++ to Rust and Go
2 months ago
- 一个将C++代码转换为现代安全语言（如Rust和Go）的源码到源码编译器（转译器），具有高准确性和性能。
- 利用LLVM/Clang完整的C++解析器实现精确的类型系统映射和语义保留。
- 将C++的RAII模式转换为Rust的所有权系统，并将智能指针转换为Rust/Go中的适当形式。
- 支持STL容器转换、模板转泛型，以及将异常处理转换为Rust的Result/Option类型或Go的错误值。
- 包含为Rust和Go生成的FFI接口，允许通过C ABI直接调用C++库。
- 提供C++特性（如线程、协程和虚函数）到Rust和Go对应功能的详细映射方案。
- 提供转译到Rust或Go时不同项目规模的性能指标和执行时间统计。
- 包含完整的转译器项目目录结构，涵盖解析器、中间表示、代码生成和FFI组件。
- 列出当前限制，如对宏展开、复杂模板元编程和内联汇编的支持尚不完善。
- 在MIT许可证下鼓励通过提交错误报告、功能请求和拉取请求进行社区贡献。
Gaussian Splatting 3 Ways
2 months ago
- 使用Tkinter和OpenGL开发的桌面应用程序，用于训练和查看从日常拍摄中获取的3D高斯泼溅效果。
- 采用COLMAP计算相机位姿，PyTorch+gsplat进行训练，所有数据存储在可复现的缓存目录树中。
- 支持三种方法：传统COLMAP+gsplat流程、Depth Anything 3的3D高斯估计技术、以及SHARP单视图合成方案。
- 应用围绕核心状态对象(AppState)、四个功能标签页(输入/COLMAP/训练/导出)和后端流水线构建。
- 缓存目录结构包含每个场景的输入/输出数据，确保工作流可重复执行。
- 训练耗时：gsplat约5分钟，Depth Anything 3需3-4分钟，SHARP约2.5分钟。
- 提供便携式打包脚本(build.bat)实现开箱即用的部署。
- 系统要求：Windows/Linux系统、Python 3.10+、支持CUDA的GPU、ffmpeg和COLMAP可执行文件。
- 已知问题：缩略图加载、泼溅渲染效果、摄像机控制及CUDA SDK路径配置需求。
Show HN: Witr – Explain why a process is running on your Linux system
2 months ago
- witr是一款旨在回答‘为什么这个在运行？’的工具，通过解释进程、服务或端口背后的因果关系来提供答案。
- 它能输出人类可读的信息，展示进程如何被启动、其祖先链以及主要负责它的主系统。
- witr支持多种入口点，如进程名、PID或端口，并最终收敛到PID分析。
- 关键特性包括零配置、只读操作、清晰性优先于完整性，且并非监控或修复工具。
- 它可以通过映射到PID并构建因果链，来解释进程、服务、容器和命令。
- witr提供多种标志用于定制，如--short用于单行摘要，--tree显示完整祖先树，--json输出JSON格式。
- 安装简单，支持脚本或手动步骤，兼容amd64和arm64架构。
- witr需在Linux系统运行，获取详细进程信息时可能需要sudo权限。
- 其成功标准是快速理解、减少工具依赖和事故中的信任建立。
- 该项目在人类监督下借助AI/LLM技术开发完成。
Sandbox: Run untrusted AI code safely, fast
2 months ago
- Concave 是一个可自托管的代码执行沙箱平台，基于 Firecracker 微虚拟机技术。
- 通过基于快照的热池技术实现 200 毫秒内的快速虚拟机启动。
- 提供通过 gRPC 编排的安全隔离环境，用于运行不可信代码。
- 内置流式数据平面，支持文件传输和实时输出功能。
- 提供带认证的 HTTP API 网关和 Python SDK 以便轻松集成。
- 配备用户仪表盘和文档站点提供操作指引。
- 部署流程包含 GCP 项目配置、Terraform、Ansible 和 Python SDK 安装。
- 欢迎社区贡献，开发指南详见 CONTRIBUTING.md 文件。
- 安全漏洞可通过 issue 渠道报告，团队将及时响应处理。
- 项目采用 MIT 开源许可证发布。
Tinykit: Self-hosted Lovable/v0 alternative. Realtime database, storage included
2 months ago
- Tinykit是一个用于构建和部署AI网络应用的开源平台。
- 功能包括AI生成代码的智能构建器、基于PocketBase的自托管服务以及实时数据库。
- 内置代码编辑器、文本编辑内容字段和视觉定制设计系统。
- 支持时间回溯撤销操作、图片上传，并能集成OpenAI/Anthropic等多种大语言模型。
- 即将推出的功能包括后端服务、身份验证、社区应用展示中心和更多AI驱动的工作流。
- 单台服务器可运行数百个应用，并为每个应用提供独立域名映射。
- 目前处于早期alpha开发阶段，欢迎通过Discord或GitHub提交反馈。
- 提供Railway一键部署、Docker或Node.js等多种简易部署方案。
- 本地安装只需克隆仓库并通过Docker/Node运行，完成后访问localhost即可。
- 支持单服务器多域名配置，不同域名对应不同应用及独立编辑界面。
- 提供12+个跨领域启动模板，涵盖效率、金融、内容、社交和新闻等类别。
Show HN: Xcc700: Self-hosting mini C compiler for ESP32 (Xtensa) in 700 lines
2 months ago
- xcc700 是一个适用于现代平台的小型可调优编译器。
- 它支持基本的 C 语言特性，足以满足编译器开发需求。
- 输出与 ESP-IDF elf_loader 兼容的 REL ELF 文件。
- 功能有限：不支持结构体、浮点数或完整类型检查。
- 为简化性而非性能优化（基于堆栈机模型）。
- 自举能力：可编译自身（输出 33kB，执行速度较慢）。
- 采用 MIT 许可证，适用于教育/黑客马拉松场景。
- 主要针对 ESP32 但具有可移植性（已在 Mac x86_64/arm64 测试）。
- 设计理念：极简主义、能效优先和高度可 hack 性。
Show HN: Domain Search MCP – AI-powered domain availability checker
2 months ago
- AI助手快速域名可用性聚合工具，支持Porkbun、Namecheap、RDAP和WHOIS多平台查询
- 基于模型上下文协议(MCP)构建，可与Claude Desktop、Cursor、Cline等AI工具集成
- 功能包括：域名搜索、批量查询、注册商对比、域名建议、TLD信息查询及社交媒体用户名检测
- 支持多顶级域名(.com/.io/.dev等)比价及可用性分析
- 基础功能无需API密钥，高级功能推荐配置密钥
- 包含开发设置指南及AI工具集成说明
- 提供用户友好型错误提示和结构化日志记录，保障安全性与调试便利
- MIT协议开源项目，欢迎社区贡献
Vulcain: HTTP/2 server push for fast and idiomatic client-driven REST APIs
2 months ago
- Vulcain是一种新协议，通过使用Preload提示和103 Early Hints状态码实现快速、客户端驱动的REST API
- 提供开源网关服务器（Caddy模块），可将任何Web API转换为兼容Vulcain的API
- 支持超媒体API（如API Platform）和通过OpenAPI文档集成的传统API
- 已作为互联网草案发布，并提供Go语言参考实现（AGPL许可证）
- 解决了API常见问题：数据过量获取、获取不足以及n+1查询问题
- 利用HTTP/2特性通过Preload头部和103 Early Hints实现高效资源推送
- Fields头部允许客户端请求特定字段，有效减小响应体积
- Vulcain网关服务器提供商业许可证（AGPL替代方案）
- Treeware计划：鼓励生产环境使用时种植树木
Show HN: Coderive – Iterating through 1 Quintillion Inside a Loop in just 50ms
2 months ago
- Coderive v0.4.0 是一款移动优先的通用编程语言，专为安全、快速和清晰的编码而设计。
- 具有双重编译管道（字节码 + 原生代码生成）特性，并支持 ARM64 和 x86_64 架构。
- 完全在移动设备上使用 Java NIDE、Quickedit、Termux 和 AI 调试助手开发完成。
- 引入量词优先的逻辑设计，用富有表现力的量词取代传统布尔运算符。
- 包含多返回槽系统和支持复杂步进模式的智能 for 循环。
- 示例语言用法展示了条件检查和多返回功能。
- 系统要求包括 Java 7 或更高版本及 Linux 环境（移动端推荐 Termux）。
- 快速入门命令包含运行解释器和编译原生代码的操作指南。
- 当前状态：解释器与原生代码生成已完成；TAC 编译器正在开发中。
- 采用 MIT 许可证，欢迎通过 GitHub 和邮件参与社区讨论与贡献。
TurboDiffusion: 100–200× Acceleration for Video Diffusion Models
2 months ago
- TurboDiffusion通过SageAttention、SLA和rCM技术将视频扩散模型加速100-200倍
- 支持TurboWan2.1和TurboWan2.2等模型，最高支持720p分辨率
- 可通过pip安装或源码编译，要求Python 3.9+和torch 2.7.0+环境
- 提供不同检查点适配显存容量（RTX 5090用量化版/H100用非量化版）
- 包含T2V和I2V模型的详细推理脚本，参数可自定义
- 提供训练代码，支持FSDP2、Ulysses CP和SAC框架
- 欢迎社区贡献，持续优化和功能集成正在进行中
- 附相关研究论文与软件的引用说明
Ultimate-Linux: Userspace for Linux in Pure JavaScript
2 months ago
- 一个有趣的用JavaScript和少量C语言构建微型Linux发行版的项目。
- 该项目包含一个'终极Linux Shell'，支持ls、cd、cat、mkdir、mount和exit等命令。
- 探讨Linux作为独立于操作系统分发的内核的独特地位，与BSD系统形成对比。
- 分析Linux稳定的系统调用ABI如何作为与软件的契约，与macOS的做法形成反差。
- 深入讲解纯Go二进制文件如何通过系统调用直接对接Linux内核，绕过系统库。
- 提及u-root项目及其与静态二进制文件的关联性。
- 回应关于C、Go、Rust语言讨论及Linux内核本质的批评意见。
- 用JavaScript创建无libc的微型Linux发行版，通过C语言进行转译。
- 提供下载和配置QuickJS与musl libc的详细指南。
- 分步说明如何将JavaScript转译为C语言，链接系统操作并生成独立ELF文件。
- 指导构建initramfs并使用QEMU虚拟机运行终极Shell的完整流程。
- 展示该Shell的实际功能，包括挂载proc文件系统和查看系统信息等操作。
WiFi DensePose: WiFi-based dense human pose estimation system through walls
2 months ago
- 基于WiFi信道状态信息(CSI)和机器学习的人体姿态估计系统
- 隐私优先方案 - 无需摄像头，仅使用WiFi信号进行姿态检测
- 实时处理能力 - 低于50毫秒延迟，30帧/秒的姿态估计
- 多人追踪功能 - 可同时追踪多达10个目标
- 针对医疗健康、健身、智能家居和安全等场景的领域优化
- 企业级解决方案 - 提供含身份验证、速率限制和监控的生产级API
- 硬件无关性 - 兼容标准WiFi路由器和接入点
- 综合分析功能 - 包含跌倒检测、活动识别和空间占用监测
- WebSocket实时流 - 支持动态应用中的姿态数据流传输
- 100%测试覆盖率 - 配备完整的测试套件
- 便捷安装 - 通过PyPI支持GPU加速和开发依赖项选项
- Docker容器化部署支持
- 全面的命令行接口 - 用于系统管理和配置
- 详细文档 - 包含用户手册、API参考和部署指南
- MIT开源许可 - 拥有活跃的社区贡献
Show HN: I built an OCI container runtime in Python(for fun)
2 months ago
- Puncker-rt是一个教育用途、符合OCI标准的纯Python容器运行时
- 它替代Docker栈中的runc来演示容器内部原理
- 通过ctypes库调用Linux系统调用(unshare/mount/pivot_root/execve)
- 实现OCI运行时规范，作为JSON配置与Linux内核之间的转换层
- 核心技术包括命名空间、文件系统切换(pivot_root)、能力机制和Cgroups V2
- 要求Linux内核5.x+、Python 3.13+及Docker管理环境
- 安装方式：克隆仓库后通过pip安装二进制文件
- Docker集成需编辑/etc/docker/daemon.json并重启服务
- 支持通过Docker CLI的--runtime=puncker参数运行容器
- 代码结构清晰，包含main.py/constants.py/errors.py等模块
- 特性涵盖文件系统隔离、Proc/Sysfs/Tmpfs挂载、Docker集成
- 当前局限：不支持TTY、缺少Seccomp和Cgroups v1支持
- 采用MIT许可证，欢迎通过PR提交贡献
Postgres extension complements pgvector for performance and scale
2 months ago
- pgvectorscale 推出 StreamingDiskANN 索引、统计二进制量化技术和基于标签的向量搜索过滤功能
- 性能基准测试显示，与 Pinecone 相比，其 p95 延迟降低 28 倍，查询吞吐量提升 16 倍
- 基于 Rust 语言开发并使用 PGRX 框架，为 PostgreSQL 向量支持开辟了新的贡献途径
- 提供 Docker、源码安装和 Timescale Cloud 服务等多种安装方式
- 支持余弦相似度、L2 距离和内积距离查询，语法与 pgvector 相似
- 基于标签的过滤功能可结合元数据过滤实现高效向量搜索
- 通过索引构建时和查询时的参数配置，可自定义性能与精度平衡
- 支持大型数据集的并行索引构建，并提供可配置参数
- 当前限制包括不支持 UNLOGGED 表以及结果排序的宽松性
- 鼓励社区贡献以共同塑造 pgvectorscale 的未来发展方向
Secure Key Storage (SKS) is a library for Go that abstracts Security Hardware
2 months ago
- Secure Key Store (SKS) 是一个 Go 语言库，为 TPM 和安全飞地等硬件安全模块提供统一 API。
- 支持的硬件和平台包括：Linux/Windows 上的 TPM 2.0 和 macOS 10.14+ 的安全飞地。
- 当前功能：ECDSA P256 密钥创建、密钥检索、数据签名和密钥删除。
- 未来功能：将支持 AWS KMS 作为密钥存储后端。
- 平台限制：Linux/Windows 无生物识别功能且解锁状态下密钥不可访问；TPM 不暴露密钥层级结构。
- 核心函数：`NewKey` 生成密钥对，`FromLabelTag` 标识密钥，以及 `Sign`、`Remove`、`Hash`、`Label`、`Tag` 等方法。
- macOS 要求：使用安全飞地的应用必须注册 App ID。
- 许可协议：Apache v2.0。

About|Login

双语

Simple 3D Packing
2 months ago
- 将Thingi10K数据集的348个物体以60.8%的密度装入240×123×100毫米托盘中
- 采用基于快速傅里叶变换(FFT)碰撞检测的GPU加速三维装箱算法
- 实现了SIGGRAPH 2023会议提出的频谱装箱算法
- 主要特性包括GPU加速、Python API接口和Blender导出功能
- 运行环境要求Python 3.8+、CUDA 11.0+及计算能力6.0+的NVIDIA显卡
- 安装步骤包含克隆代码库并配置依赖环境
- 提供简易Python API支持体素化物品或STL文件的装箱操作
- 算法流程：体素化→碰撞检测→评分→贪心摆放
- 示例包含基础装箱、性能测试及宣传图生成
- 项目结构包含C++/CUDA底层实现与Python绑定
- 采用MIT开源协议并要求引用原始SIGGRAPH 2023论文
Show HN: Mysti – Claude, Codex, and Gemini debate your code, then synthesize
2 months ago
- Mysti 是一款 VS Code 扩展，集成了多种AI编程工具（Claude Code、Codex、Gemini），提供更强大的编程辅助功能。
- 具备「头脑风暴模式」，两个AI代理通过辩论与观点融合，协同生成更全面的解决方案。
- 支持16种专业角色预设（如架构师、调试专家、安全顾问），可针对特定需求定制AI响应风格。
- 兼容现有AI订阅服务（Claude/ChatGPT/Gemini），无需额外付费即可使用。
- 提供现代化聊天界面，支持语法高亮、Markdown渲染和Mermaid流程图展示。
- 可配置AI服务商、访问权限和头脑风暴模式等个性化设置。
- 支持通过VS Code命令面板快速启动，或通过应用市场直接安装。
- 遵循VSCode遥测设置，仅收集匿名使用数据以优化产品。
- 采用BSL 1.1商业源代码许可证，允许个人/教育用途，商业使用需单独授权。
Show HN: Vibe code from phone template repo
2 months ago
- 专为移动端设计的Vibe代码项目初始仓库
- 核心原则包括低门槛提示、自动化工具和移动友好型工作流程
- 使用TypeScript、Vite构建，Netlify提供托管和函数服务
- 包含src/www静态站点目录、funcs函数目录及prompt_history提示历史存档
- 开发服务器运行于localhost:5173，函数接口位于localhost:8888/api/*
- 推送至main分支自动部署，或手动连接仓库至Netlify
- 两种构建模式：标准Netlify部署和离线单HTML文件模式（支持file://协议）
- make itch-zip命令生成可上传Itch.io的game.zip包
- Netlify预览部署时自动加载Eruda移动端调试控制台
- 函数通过/api/[函数名称]路径访问
- 欢迎提交PR，重点关注移动端氛围编程体验
- 采用MIT许可证
Mruby: Ruby for Embedded Systems
2 months ago
- mruby是Ruby的轻量级实现，兼容Ruby 3.x语法（模式匹配除外）。
- 您可以将mruby嵌入应用程序，使用其解释器（mruby）、交互式shell（mirb）和编译器（mrbc）。
- 下载mruby稳定版3.4.0或从GitHub克隆源代码。
- 通过ruby-install、ruby-build或rvm安装。
- 使用`rake doc`构建文档，在浏览器中查看API文档。
- 通过mrbgems用C/Ruby扩展自定义mruby功能。
- mruby采用MIT许可证，需保留版权声明。
- 通过GitHub提交Pull Request贡献代码，即视为同意按MIT许可证授予非独占权利。
Publishing your work increases your luck
2 months ago
- 运气就是意外发生的好事降临在你身上。
- 通过行动并与人分享来扩大你的'幸运表面积'。
- 公开发表作品能增加好运找到你的概率。
- 付诸实践是关键，如果遇到困难就从简单开始。
- 公开分享作品可以建立声誉并激励他人。
- 发表能力会随着练习不断提升。
- 分享带来的好处包括认可、机遇和新的人际关系。
- 幸运公式：付诸实践 + 主动分享 = 更多好运。
Show HN: Hybrid-Transpiler – A tool to convert C++ to Rust and Go
2 months ago
- 一个将C++代码转换为现代安全语言（如Rust和Go）的源码到源码编译器（转译器），具有高准确性和性能。
- 利用LLVM/Clang完整的C++解析器实现精确的类型系统映射和语义保留。
- 将C++的RAII模式转换为Rust的所有权系统，并将智能指针转换为Rust/Go中的适当形式。
- 支持STL容器转换、模板转泛型，以及将异常处理转换为Rust的Result/Option类型或Go的错误值。
- 包含为Rust和Go生成的FFI接口，允许通过C ABI直接调用C++库。
- 提供C++特性（如线程、协程和虚函数）到Rust和Go对应功能的详细映射方案。
- 提供转译到Rust或Go时不同项目规模的性能指标和执行时间统计。
- 包含完整的转译器项目目录结构，涵盖解析器、中间表示、代码生成和FFI组件。
- 列出当前限制，如对宏展开、复杂模板元编程和内联汇编的支持尚不完善。
- 在MIT许可证下鼓励通过提交错误报告、功能请求和拉取请求进行社区贡献。
Gaussian Splatting 3 Ways
2 months ago
- 使用Tkinter和OpenGL开发的桌面应用程序，用于训练和查看从日常拍摄中获取的3D高斯泼溅效果。
- 采用COLMAP计算相机位姿，PyTorch+gsplat进行训练，所有数据存储在可复现的缓存目录树中。
- 支持三种方法：传统COLMAP+gsplat流程、Depth Anything 3的3D高斯估计技术、以及SHARP单视图合成方案。
- 应用围绕核心状态对象(AppState)、四个功能标签页(输入/COLMAP/训练/导出)和后端流水线构建。
- 缓存目录结构包含每个场景的输入/输出数据，确保工作流可重复执行。
- 训练耗时：gsplat约5分钟，Depth Anything 3需3-4分钟，SHARP约2.5分钟。
- 提供便携式打包脚本(build.bat)实现开箱即用的部署。
- 系统要求：Windows/Linux系统、Python 3.10+、支持CUDA的GPU、ffmpeg和COLMAP可执行文件。
- 已知问题：缩略图加载、泼溅渲染效果、摄像机控制及CUDA SDK路径配置需求。
Show HN: Witr – Explain why a process is running on your Linux system
2 months ago
- witr是一款旨在回答‘为什么这个在运行？’的工具，通过解释进程、服务或端口背后的因果关系来提供答案。
- 它能输出人类可读的信息，展示进程如何被启动、其祖先链以及主要负责它的主系统。
- witr支持多种入口点，如进程名、PID或端口，并最终收敛到PID分析。
- 关键特性包括零配置、只读操作、清晰性优先于完整性，且并非监控或修复工具。
- 它可以通过映射到PID并构建因果链，来解释进程、服务、容器和命令。
- witr提供多种标志用于定制，如--short用于单行摘要，--tree显示完整祖先树，--json输出JSON格式。
- 安装简单，支持脚本或手动步骤，兼容amd64和arm64架构。
- witr需在Linux系统运行，获取详细进程信息时可能需要sudo权限。
- 其成功标准是快速理解、减少工具依赖和事故中的信任建立。
- 该项目在人类监督下借助AI/LLM技术开发完成。
Sandbox: Run untrusted AI code safely, fast
2 months ago
- Concave 是一个可自托管的代码执行沙箱平台，基于 Firecracker 微虚拟机技术。
- 通过基于快照的热池技术实现 200 毫秒内的快速虚拟机启动。
- 提供通过 gRPC 编排的安全隔离环境，用于运行不可信代码。
- 内置流式数据平面，支持文件传输和实时输出功能。
- 提供带认证的 HTTP API 网关和 Python SDK 以便轻松集成。
- 配备用户仪表盘和文档站点提供操作指引。
- 部署流程包含 GCP 项目配置、Terraform、Ansible 和 Python SDK 安装。
- 欢迎社区贡献，开发指南详见 CONTRIBUTING.md 文件。
- 安全漏洞可通过 issue 渠道报告，团队将及时响应处理。
- 项目采用 MIT 开源许可证发布。
Tinykit: Self-hosted Lovable/v0 alternative. Realtime database, storage included
2 months ago
- Tinykit是一个用于构建和部署AI网络应用的开源平台。
- 功能包括AI生成代码的智能构建器、基于PocketBase的自托管服务以及实时数据库。
- 内置代码编辑器、文本编辑内容字段和视觉定制设计系统。
- 支持时间回溯撤销操作、图片上传，并能集成OpenAI/Anthropic等多种大语言模型。
- 即将推出的功能包括后端服务、身份验证、社区应用展示中心和更多AI驱动的工作流。
- 单台服务器可运行数百个应用，并为每个应用提供独立域名映射。
- 目前处于早期alpha开发阶段，欢迎通过Discord或GitHub提交反馈。
- 提供Railway一键部署、Docker或Node.js等多种简易部署方案。
- 本地安装只需克隆仓库并通过Docker/Node运行，完成后访问localhost即可。
- 支持单服务器多域名配置，不同域名对应不同应用及独立编辑界面。
- 提供12+个跨领域启动模板，涵盖效率、金融、内容、社交和新闻等类别。
Show HN: Xcc700: Self-hosting mini C compiler for ESP32 (Xtensa) in 700 lines
2 months ago
- xcc700 是一个适用于现代平台的小型可调优编译器。
- 它支持基本的 C 语言特性，足以满足编译器开发需求。
- 输出与 ESP-IDF elf_loader 兼容的 REL ELF 文件。
- 功能有限：不支持结构体、浮点数或完整类型检查。
- 为简化性而非性能优化（基于堆栈机模型）。
- 自举能力：可编译自身（输出 33kB，执行速度较慢）。
- 采用 MIT 许可证，适用于教育/黑客马拉松场景。
- 主要针对 ESP32 但具有可移植性（已在 Mac x86_64/arm64 测试）。
- 设计理念：极简主义、能效优先和高度可 hack 性。
Show HN: Domain Search MCP – AI-powered domain availability checker
2 months ago
- AI助手快速域名可用性聚合工具，支持Porkbun、Namecheap、RDAP和WHOIS多平台查询
- 基于模型上下文协议(MCP)构建，可与Claude Desktop、Cursor、Cline等AI工具集成
- 功能包括：域名搜索、批量查询、注册商对比、域名建议、TLD信息查询及社交媒体用户名检测
- 支持多顶级域名(.com/.io/.dev等)比价及可用性分析
- 基础功能无需API密钥，高级功能推荐配置密钥
- 包含开发设置指南及AI工具集成说明
- 提供用户友好型错误提示和结构化日志记录，保障安全性与调试便利
- MIT协议开源项目，欢迎社区贡献
Vulcain: HTTP/2 server push for fast and idiomatic client-driven REST APIs
2 months ago
- Vulcain是一种新协议，通过使用Preload提示和103 Early Hints状态码实现快速、客户端驱动的REST API
- 提供开源网关服务器（Caddy模块），可将任何Web API转换为兼容Vulcain的API
- 支持超媒体API（如API Platform）和通过OpenAPI文档集成的传统API
- 已作为互联网草案发布，并提供Go语言参考实现（AGPL许可证）
- 解决了API常见问题：数据过量获取、获取不足以及n+1查询问题
- 利用HTTP/2特性通过Preload头部和103 Early Hints实现高效资源推送
- Fields头部允许客户端请求特定字段，有效减小响应体积
- Vulcain网关服务器提供商业许可证（AGPL替代方案）
- Treeware计划：鼓励生产环境使用时种植树木
Show HN: Coderive – Iterating through 1 Quintillion Inside a Loop in just 50ms
2 months ago
- Coderive v0.4.0 是一款移动优先的通用编程语言，专为安全、快速和清晰的编码而设计。
- 具有双重编译管道（字节码 + 原生代码生成）特性，并支持 ARM64 和 x86_64 架构。
- 完全在移动设备上使用 Java NIDE、Quickedit、Termux 和 AI 调试助手开发完成。
- 引入量词优先的逻辑设计，用富有表现力的量词取代传统布尔运算符。
- 包含多返回槽系统和支持复杂步进模式的智能 for 循环。
- 示例语言用法展示了条件检查和多返回功能。
- 系统要求包括 Java 7 或更高版本及 Linux 环境（移动端推荐 Termux）。
- 快速入门命令包含运行解释器和编译原生代码的操作指南。
- 当前状态：解释器与原生代码生成已完成；TAC 编译器正在开发中。
- 采用 MIT 许可证，欢迎通过 GitHub 和邮件参与社区讨论与贡献。
TurboDiffusion: 100–200× Acceleration for Video Diffusion Models
2 months ago
- TurboDiffusion通过SageAttention、SLA和rCM技术将视频扩散模型加速100-200倍
- 支持TurboWan2.1和TurboWan2.2等模型，最高支持720p分辨率
- 可通过pip安装或源码编译，要求Python 3.9+和torch 2.7.0+环境
- 提供不同检查点适配显存容量（RTX 5090用量化版/H100用非量化版）
- 包含T2V和I2V模型的详细推理脚本，参数可自定义
- 提供训练代码，支持FSDP2、Ulysses CP和SAC框架
- 欢迎社区贡献，持续优化和功能集成正在进行中
- 附相关研究论文与软件的引用说明
Ultimate-Linux: Userspace for Linux in Pure JavaScript
2 months ago
- 一个有趣的用JavaScript和少量C语言构建微型Linux发行版的项目。
- 该项目包含一个'终极Linux Shell'，支持ls、cd、cat、mkdir、mount和exit等命令。
- 探讨Linux作为独立于操作系统分发的内核的独特地位，与BSD系统形成对比。
- 分析Linux稳定的系统调用ABI如何作为与软件的契约，与macOS的做法形成反差。
- 深入讲解纯Go二进制文件如何通过系统调用直接对接Linux内核，绕过系统库。
- 提及u-root项目及其与静态二进制文件的关联性。
- 回应关于C、Go、Rust语言讨论及Linux内核本质的批评意见。
- 用JavaScript创建无libc的微型Linux发行版，通过C语言进行转译。
- 提供下载和配置QuickJS与musl libc的详细指南。
- 分步说明如何将JavaScript转译为C语言，链接系统操作并生成独立ELF文件。
- 指导构建initramfs并使用QEMU虚拟机运行终极Shell的完整流程。
- 展示该Shell的实际功能，包括挂载proc文件系统和查看系统信息等操作。
WiFi DensePose: WiFi-based dense human pose estimation system through walls
2 months ago
- 基于WiFi信道状态信息(CSI)和机器学习的人体姿态估计系统
- 隐私优先方案 - 无需摄像头，仅使用WiFi信号进行姿态检测
- 实时处理能力 - 低于50毫秒延迟，30帧/秒的姿态估计
- 多人追踪功能 - 可同时追踪多达10个目标
- 针对医疗健康、健身、智能家居和安全等场景的领域优化
- 企业级解决方案 - 提供含身份验证、速率限制和监控的生产级API
- 硬件无关性 - 兼容标准WiFi路由器和接入点
- 综合分析功能 - 包含跌倒检测、活动识别和空间占用监测
- WebSocket实时流 - 支持动态应用中的姿态数据流传输
- 100%测试覆盖率 - 配备完整的测试套件
- 便捷安装 - 通过PyPI支持GPU加速和开发依赖项选项
- Docker容器化部署支持
- 全面的命令行接口 - 用于系统管理和配置
- 详细文档 - 包含用户手册、API参考和部署指南
- MIT开源许可 - 拥有活跃的社区贡献
Show HN: I built an OCI container runtime in Python(for fun)
2 months ago
- Puncker-rt是一个教育用途、符合OCI标准的纯Python容器运行时
- 它替代Docker栈中的runc来演示容器内部原理
- 通过ctypes库调用Linux系统调用(unshare/mount/pivot_root/execve)
- 实现OCI运行时规范，作为JSON配置与Linux内核之间的转换层
- 核心技术包括命名空间、文件系统切换(pivot_root)、能力机制和Cgroups V2
- 要求Linux内核5.x+、Python 3.13+及Docker管理环境
- 安装方式：克隆仓库后通过pip安装二进制文件
- Docker集成需编辑/etc/docker/daemon.json并重启服务
- 支持通过Docker CLI的--runtime=puncker参数运行容器
- 代码结构清晰，包含main.py/constants.py/errors.py等模块
- 特性涵盖文件系统隔离、Proc/Sysfs/Tmpfs挂载、Docker集成
- 当前局限：不支持TTY、缺少Seccomp和Cgroups v1支持
- 采用MIT许可证，欢迎通过PR提交贡献
Postgres extension complements pgvector for performance and scale
2 months ago
- pgvectorscale 推出 StreamingDiskANN 索引、统计二进制量化技术和基于标签的向量搜索过滤功能
- 性能基准测试显示，与 Pinecone 相比，其 p95 延迟降低 28 倍，查询吞吐量提升 16 倍
- 基于 Rust 语言开发并使用 PGRX 框架，为 PostgreSQL 向量支持开辟了新的贡献途径
- 提供 Docker、源码安装和 Timescale Cloud 服务等多种安装方式
- 支持余弦相似度、L2 距离和内积距离查询，语法与 pgvector 相似
- 基于标签的过滤功能可结合元数据过滤实现高效向量搜索
- 通过索引构建时和查询时的参数配置，可自定义性能与精度平衡
- 支持大型数据集的并行索引构建，并提供可配置参数
- 当前限制包括不支持 UNLOGGED 表以及结果排序的宽松性
- 鼓励社区贡献以共同塑造 pgvectorscale 的未来发展方向
Secure Key Storage (SKS) is a library for Go that abstracts Security Hardware
2 months ago
- Secure Key Store (SKS) 是一个 Go 语言库，为 TPM 和安全飞地等硬件安全模块提供统一 API。
- 支持的硬件和平台包括：Linux/Windows 上的 TPM 2.0 和 macOS 10.14+ 的安全飞地。
- 当前功能：ECDSA P256 密钥创建、密钥检索、数据签名和密钥删除。
- 未来功能：将支持 AWS KMS 作为密钥存储后端。
- 平台限制：Linux/Windows 无生物识别功能且解锁状态下密钥不可访问；TPM 不暴露密钥层级结构。
- 核心函数：`NewKey` 生成密钥对，`FromLabelTag` 标识密钥，以及 `Sign`、`Remove`、`Hash`、`Label`、`Tag` 等方法。
- macOS 要求：使用安全飞地的应用必须注册 App ID。
- 许可协议：Apache v2.0。

Hasty Briefsbeta

Simple 3D Packing

Show HN: Mysti – Claude, Codex, and Gemini debate your code, then synthesize

Show HN: Vibe code from phone template repo

Mruby: Ruby for Embedded Systems

Publishing your work increases your luck

Show HN: Hybrid-Transpiler – A tool to convert C++ to Rust and Go

Gaussian Splatting 3 Ways

Show HN: Witr – Explain why a process is running on your Linux system

Sandbox: Run untrusted AI code safely, fast

Tinykit: Self-hosted Lovable/v0 alternative. Realtime database, storage included

Show HN: Xcc700: Self-hosting mini C compiler for ESP32 (Xtensa) in 700 lines

Show HN: Domain Search MCP – AI-powered domain availability checker

Vulcain: HTTP/2 server push for fast and idiomatic client-driven REST APIs

Show HN: Coderive – Iterating through 1 Quintillion Inside a Loop in just 50ms

TurboDiffusion: 100–200× Acceleration for Video Diffusion Models

Ultimate-Linux: Userspace for Linux in Pure JavaScript

WiFi DensePose: WiFi-based dense human pose estimation system through walls

Show HN: I built an OCI container runtime in Python(for fun)

Postgres extension complements pgvector for performance and scale

Secure Key Storage (SKS) is a library for Go that abstracts Security Hardware

Simple 3D Packing

Show HN: Mysti – Claude, Codex, and Gemini debate your code, then synthesize

Show HN: Vibe code from phone template repo

Mruby: Ruby for Embedded Systems

Publishing your work increases your luck

Show HN: Hybrid-Transpiler – A tool to convert C++ to Rust and Go

Gaussian Splatting 3 Ways

Show HN: Witr – Explain why a process is running on your Linux system

Sandbox: Run untrusted AI code safely, fast

Tinykit: Self-hosted Lovable/v0 alternative. Realtime database, storage included

Show HN: Xcc700: Self-hosting mini C compiler for ESP32 (Xtensa) in 700 lines

Show HN: Domain Search MCP – AI-powered domain availability checker

Vulcain: HTTP/2 server push for fast and idiomatic client-driven REST APIs

Show HN: Coderive – Iterating through 1 Quintillion Inside a Loop in just 50ms

TurboDiffusion: 100–200× Acceleration for Video Diffusion Models

Ultimate-Linux: Userspace for Linux in Pure JavaScript

WiFi DensePose: WiFi-based dense human pose estimation system through walls

Show HN: I built an OCI container runtime in Python(for fun)

Postgres extension complements pgvector for performance and scale

Secure Key Storage (SKS) is a library for Go that abstracts Security Hardware