Portable GPU Programming – csc.fi4 months agohttps://github.com/csc-training/portable-gpu-programmingCSC课程'便携式GPU编程'的教材内容属于EuroCC在CSC开展的培训活动第一天主题：并行计算、GPU执行模型、内存层次结构、Mahti和LUMI平台、C++复习、MPI基础第二天主题：SYCL简介、基础与高级SYCL、练习、内存优化、SYCL与MPI结合、互操作性第三天主题：Kokkos专题I/II/III及配套练习第四天主题：OpenMP卸载实操练习与课程总结课程资料采用CC-BY-SA许可发布，部分内容基于英特尔MIT许可项目
Show HN: Maktabah Islam ELKIRTASS being revived on Qt6 CMake4 months agohttps://github.com/abdulbadii/elkirtasse-on-Qt6-CmakeQirtas图书馆是一个免费开源程序，兼容Linux、Windows和Mac系统。支持阅读和编辑书籍，并可添加新书。功能包括从在线书库下载书籍。支持批量转换Al-Maktaba Al-Shamela的书籍。可导入Al-Maktaba Al-Shamela的.bok文件。能创建空白书籍并轻松建立索引。支持导入压缩或未压缩的Qirtas图书馆藏书集。允许单独更改每本书的图标。可将书籍导出为多种格式（如ODF、PDF、EPUB、HTML）。支持插件扩展工具功能。实现同一书籍内或跨书籍的页面链接。可从文本文件或网页导入书籍。允许将页面添加至收藏夹并进行编辑。支持修改书籍索引。可自定义显示选项（如颜色、字体）。更换程序主题。按章节和分卷显示古兰经，含经文搜索功能。修改书籍索引及其所属合集。切换程序语言。开启/关闭音标符号（Tashkeel）。可在SourceForge平台下载。需要GCC、CMake和Make（可选LLVM、Clang、Ninja）。依赖库包括brotli、bzip2、curl、dbus等。安装步骤：创建构建目录，用CMake配置并编译。可通过Release等模式配置优化构建。
A collection of modern/faster/saner alternatives to common Unix commands4 months agohttps://github.com/ibraheemdev/modern-unix一款具备语法高亮和Git集成的cat克隆工具。基于exa构建的现代且持续维护的ls替代品。用于查看git和diff输出的查看器。用Rust编写的更直观的du命令替代工具。更优秀的df替代方案。浏览和导航目录树的新方式。一个简单、快速且用户友好的find命令替代品。速度极快且遵守gitignore规则的grep替代工具。通用命令行模糊查找器。快速浏览shell历史记录。针对JSON数据的人性化、快速替代cut（有时也替代awk/sed）的工具。直观的查找替换命令行工具（sed替代品）。在命令行创建和查看交互式备忘单。通过实用示例简化man页面的社区协作项目。又一个跨平台图形化进程/系统监视器。Glances：系统监控利器，支持GNU/Linux、BSD、Mac OS和Windows的top/htop替代品。终端系统监控仪表盘。命令行基准测试工具。带可视化图形的ping工具。用Rust编写的现代ps命令替代品。面向API时代的现代化、用户友好型命令行HTTP客户端。兼具curl的强大和httpie的易用性。友好且高效的HTTP请求发送工具。受z启发、更智能的cd命令。人性化命令行DNS客户端（dig的增强版）。简洁的git命令终端UI界面。
Derek Sivers's database and web apps4 months agohttps://github.com/sivers/sivers德里克·西弗斯(Derek Sivers)维护着一个代码公开的私有数据库，在GitHub、GitLab和Codeberg均有镜像数据库设置包含tables.sql中的循环引用，函数按模式(schema)组织以便快速重载测试使用pgTAP在实时数据库克隆上进行，仅包含最小数据集以实现精准测试HTML模板直接存储在数据库中而非磁盘，便于编辑和使用PostgreSQL函数返回两个值：用于HTTP头部的head文本和用于内容主体的body文本不同目录对应不同网络应用，每个应用都有专属函数集和测试套件德里克鼓励编程讨论并对每封邮件都会回复
Show HN: Subway Surfers in Your Terminal4 months agohttps://github.com/evanreilly/homebrew-subway-surfers在终端安装《地铁跑酷》游戏，助你保持专注。使用Homebrew安装，命令如下：`brew tap evanreilly/subway-surfers`，`brew install subway-surfers`，然后运行`subway-surfers`。自动安装依赖项：`mplayer`和`libcaca`。后续可通过`brew update`和`brew upgrade subway-surfers`更新。特色：直接在终端中体验ASCII艺术风格的 gameplay。
Rust MinIO Alternative4 months agohttps://github.com/rustfs/rustfsRustFS 是一款基于 Rust 语言构建的高性能分布式对象存储软件核心特性包括：高性能、分布式架构、S3协议兼容、数据湖支持、Apache 2.0开源协议对比其他对象存储方案，RustFS在许可证友好度、安全性和支持服务方面具有优势提供三种安装方式：一键脚本、Docker容器部署及适合高级用户的源码编译通过浏览器访问RustFS控制台，使用S3兼容API创建存储桶并上传对象社区驱动项目，支持通过GitHub讨论区提交问题，欢迎开发者贡献代码
VortexNet: Neural network based on fluid dynamics4 months agohttps://github.com/samim23/vortexnet代码库包含研究论文中VortexNet概念的玩具实现版本展示基于偏微分方程的涡旋层及受流体力学启发的神经网络机制包含MNIST和自定义图像数据集的VortexNet自编码器脚本自定义图像脚本支持数据增强和潜在空间插值功能需要Python 3.8+及特定依赖库如torch/torchvision/matplotlibMNIST数据集自动下载，自定义图像需放入'my_data/'目录训练输出保存在指定'output_dir'，含日志和模型检查点可使用TensorBoard监控训练过程
Show HN: Cuq – Formal Verification of Rust GPU Kernels4 months agohttps://github.com/neelsomani/cuqCuq是一个框架，通过将Rust的MIR（中级中间表示）翻译成Coq并与PTX内存模型关联，来形式化验证Rust GPU内核的语义。尽管Rust GPU代码能够编译为PTX或SPIR-V，但目前尚不存在其形式化语义。该项目旨在为MIR的一个子集定义机械化操作语义，并证明在编译到PTX时内存模型的正确性。关键目标包括验证内核级属性，例如避免发散屏障同步以及符合PTX一致性模型。该框架提供了一个原型工具链，用于将Rust-CUDA内核转换为Coq术语并与PTX证明接口。未来扩展可能会纳入Rust的所有权和生命周期推理，以实现安全性和正确性的端到端证明。
Ovi4 months agohttps://github.com/character-ai/OviOvi是一款视频+音频生成模型，能够根据纯文本或文本+图像输入创建同步的多媒体内容。其核心是采用内部数据集预训练的高质量50亿参数音频分支。支持灵活输入模式：仅文本或文本+图像联合条件输入。可生成5秒时长、24帧率、720×720分辨率的视频，并支持多种宽高比。在文本生成视频(t2v)和图像生成视频(i2v)任务中支持最高960×960的高清分辨率。已上线wavespeed.ai和HuggingFace平台供视频创作使用。ComfyUI集成功能正在开发中(WIP)。基础训练分辨率720×720，支持超分辨率扩展且保持内容一致性。提供文本到音视频(T2AV)和图像到音视频(I2AV)的示例提示模板。特殊标记(<S>和<AUDCAP>)可精准控制语音合成与音频描述内容。通过git clone、虚拟环境和依赖安装即可快速部署。可通过inference_fusion.yaml配置文件自定义生成参数，包括质量等级和GPU设置。支持多GPU并行推理加速处理。内置Gradio交互界面便于用户操作。特别鸣谢Wan2.2和MMAudio提供的基础组件支持。开放合作渠道，欢迎反馈与贡献。
Vitest v44 months agohttps://github.com/vitest-dev/vitest/releases/tag/v4.0.0Vitest v4.0.0 引入了多项重大变更，包括移除已弃用的API和功能。新特性包括增强的浏览器模式支持、改进的测试覆盖率选项以及新增的expect断言工具集。错误修复涉及浏览器模式、测试覆盖率和模块模拟等多个方面的问题。性能优化主要聚焦于减少动态导入和优化worker线程的使用效率。
A non-diagonal SSM RNN computed in parallel without requiring stabilization4 months agohttps://github.com/glassroom/goom_ssm_rnn实现了一个基于广义数量级（GOOMs）的非对角线性状态空间模型（SSM）的深度RNN循环状态可在更大动态范围的实数值上波动，通过前缀扫描实现非对角循环的并行计算模型以标准PyTorch nn.Module实现，由于PyTorch对复数张量的不完全支持而部分可编译训练细节包括批量大小、优化器（AdamW）、学习率调度表，以及自然语言生成等任务的其他超参数模型性能：在100亿token训练后交叉熵损失约2.7，与最先进模型相当额外任务包括Sequential MNIST生成/分类、Wikitext-103和Copy-Memory任务模型提供便捷方法如get_param_groups()、compute_loss_and_metrics()和generate()GOOMs以torch.complex64张量实现，使用自定义torch.Autograd.function确保梯度正确反向传播训练中对浮点张量使用torch.float16自动转换，但不适用于复数GOOMs该工作源于探索通过复平面映射实现非对角线性循环的并行计算
Gleescript – Bundle Gleam-on-Erlang project into an executable file4 months agohttps://github.com/lpil/gleescript将gleescript包添加到您的Gleam项目中，以便将其打包成escript。使用命令`gleam run -m gleescript`来生成escript。生成的escript可以在任何安装了Erlang虚拟机的计算机上运行。较旧版本的Erlang虚拟机可能不支持escript中的新字节码。使用`--out`标志可以指定escript输出的不同目录。
Knocker, a knock based access control system for your homelab4 months agohttps://github.com/FarisZR/knockerKnocker是一个自托管的基于HTTP的单包授权（SPA）网关，专为家庭实验室设计。它提供Web、CLI和Android客户端用于敲门（IP白名单）功能。可与Caddy等反向代理及通过FirewallD的防火墙集成。保持服务私有化，仅按需为授权IP开放访问权限。支持API密钥认证、可配置的TTL（生存时间）和远程白名单管理。包含静态IP/CIDR白名单和基于路径的排除规则。全面支持IPv6和IPv4，可选Firewalld集成以实现高级规则。可通过Docker容器部署，支持AMD64、ARMv8和ARMv7架构。包含Knocker-Web（渐进式Web应用）、Knocker-CLI（Go语言编写）和Knocker-EXPO（安卓应用）三大组件。提供与Caddy和FirewallD集成的详细配置说明。
MinIO (apparently) becomes source-only4 months agohttps://github.com/minio/minio/issues/21647用户报告在quay.io和DockerHub上缺少安全版本Security/CVE RELEASE.2025-10-15T17-29-55Z的新镜像。用户询问缺失镜像是否属于预期情况，或是否能为该安装方式推送新版本。该帖子已获得6.2k次分叉的互动量，并提及多位用户包括Weetile、dpieski、expilu、justsomescripts、StrangePeanut等16人。
Show HN: LunaRoute – a high-performance local proxy for AI coding assistants4 months agohttps://github.com/erans/lunarouteLunaRoute 是一款面向AI编程助手（如Claude Code、OpenAI Codex CLI和OpenCode）的高性能本地代理工具提供零开销透传的完整LLM交互可视化能力，包含全量会话录制和强大的调试功能支持对电子邮件、社保号、信用卡、电话号码等敏感数据自动执行PII信息脱敏基于Rust语言构建以确保速度与安全性，透传模式下仅增加0.1-0.2毫秒延迟通过SQLite分析和JSONL日志格式提供会话录制功能，便于调试与分析内置可视化网页界面用于浏览和分析会话记录可同时支持OpenAI和Anthropic格式，且无需任何规范化处理开销无需API密钥或配置文件，通过运行`lunaroute-server`命令即可快速部署功能特性包含令牌用量追踪、工具性能分析和会话搜索采用Apache 2.0版本开源协议授权
Show HN: Modshim – a new alternative to monkey-patching in Python4 months agohttps://github.com/joouha/modshimModshim是一个无需修改源代码即可增强现有模块的Python库它提供了分叉(forking)、供应商化(vendoring)和猴子补丁(monkey-patching)之外的清洁替代方案核心功能包括修复第三方库的bug、修改现有函数行为以及添加新特性Modshim通过创建融合原始代码与增强功能的'shimmed'模块来工作典型用例：为textwrap模块中的TextWrapper添加prefix参数Modshim保留原始模块，确保不会产生意外副作用支持复杂场景，例如为requests库添加重试机制采用AST重写技术重定向内部引用，保持一致性相比猴子补丁的优势包括无全局污染和更好的可维护性与代码分叉相比，modshim能降低维护开销和依赖复杂度
Show HN: GoSMig – minimal, type-safe SQL migrations written in Go4 months agohttps://github.com/padurean/gosmigGoSMig 是一个用 Go 编写的简单、极简的 SQL 迁移工具开箱即支持 database/sql 和 sqlx 两种驱动与数据库无关，适用于任何实现了 Go 标准 database/sql 接口的数据库具有 Go 泛型带来的类型安全特性，提供灵活迁移选项（事务性和非事务性）和健壮的错误处理机制包含 CLI 就绪功能（但需用户自行构建命令行界面）支持回滚操作、带分页的状态跟踪以及可配置的操作超时设置零依赖（仅需 Go 标准库和 golang.org/x/term 实现分页支持）提供 database/sql 和 sqlx 的用法示例包含完整的测试套件和 PostgreSQL 集成测试依据 Unlicense 协议发布至公共领域
Eget: Easy pre-built binary installation from GitHub4 months agohttps://github.com/zyedidia/egetEget简化了从GitHub发布页面下载预构建二进制文件的过程自动识别并提取适合您系统的二进制文件最适合简单静态二进制文件，复杂安装可能需要手动操作软件维护者可推荐用户使用Eget简化安装流程支持多种检测机制，可与众多工具开箱即用提供特定资源下载、系统目标选择等高级选项通过TOML配置文件支持全局和单仓库设置支持GitHub API令牌以提高请求限额自动对下载资源进行SHA-256校验和验证默认不进行依赖管理或系统级安装提供详细文档和FAQ解决兼容性问题
LightlyStudio – an open-source multimodal data curation and labeling tool4 months agohttps://github.com/lightly-ai/lightly-studioLightlyStudio 是一个开源工具，用于数据整理、标注和管理。基于 Rust 构建以确保性能，支持在配备 M1 芯片和 16GB 内存的 Macbook Pro 上处理 COCO 和 ImageNet 数据集。兼容 Windows、Linux 和 MacOS 上的 Python 3.8+ 环境。可通过 pip 安装：`pip install lightly-studio`。示例数据集可从 GitHub 仓库下载，或使用您自己的 YOLO/COCO 数据集。包含纯图像数据集、YOLO 目标检测、COCO 实例分割和 COCO 图像描述的示例。LightlyStudio 提供强大的 Python 接口，用于数据集索引、查询和操作。支持从云存储（如 S3、GCS）和本地文件夹加载数据。样本属性包括 ID、文件名、路径、标签和元数据，均可访问和修改。数据集查询支持通过表达式进行过滤、排序和切片操作。高级功能可自动选择数据，基于典型性和多样性筛选最有价值的样本。0.4.0 预览版于 2025-10-21 发布。欢迎通过 issues 页面提交任务和改进建议参与贡献。
Show HN: Django Keel – 10 Years of Django Best Practices in One Template4 months agohttps://github.com/CuriousLearner/django-keelDjango Keel 是一个多功能、生产就绪的 Django 项目模板，适用于 SaaS 应用、API 后端、Web 应用和内部工具等多种场景。该模板为 Django 项目提供稳定性、方向性和基础支持，就像龙骨为船只提供结构支撑一样。核心特性包括：基于 Django 5.2 和 Python 3.12/3.13、自定义用户模型、分拆式配置、Docker + Compose 集成、pytest + 覆盖率检测、ruff + mypy 代码检查，以及健康检查/就绪端点。可选功能包含：Django REST Framework、Strawberry GraphQL、HTMX + Tailwind CSS、Next.js、Celery、Temporal、Django Channels、Sentry、OpenTelemetry、Prometheus 指标、多租户团队、Stripe 支付集成、双重认证、SOPS 加密、PostgreSQL 全文搜索、OpenSearch、国际化/本地化，以及多种部署目标支持。安全特性涵盖：生产级安全默认配置、HSTS、安全 Cookie、SSL 重定向、CSP 头、管理员界面加固、速率限制、暴力破解防护、SOPS 加密密钥，以及基于环境的配置管理。支持多种部署方案：Kubernetes、AWS ECS Fargate、Fly.io、Render，以及基于 Ansible 的 AWS EC2 部署。通过 ruff、mypy、pytest 和预提交钩子强制保证代码质量，并集成 Just 任务运行器简化工作流。遵循 12-Factor 应用原则，包括单一代码库、显式依赖声明、环境变量配置、分离的构建/发布/运行阶段等特性。提供完整文档：快速入门、安装指南、功能说明、API 选项、部署手册和贡献指南。Django Keel 的灵感来源于 django-init、scaf、cookiecutter-django 和 wemake-django-template 等项目，采用 MIT 许可证开源。