xPong是一款融合了大型语言模型(LLM)解说功能的乒乓游戏。开发者历经五年，终于利用OpenAI的gpt-4o-mini-tts技术实现了实时AI解说。游戏包含15年历史的锦标赛模拟，AI球员之间对决，解说系统分为开场、比赛过程和结束三个部分，并根据比赛事件动态调整。它甚至能根据历史数据进行类比，并加入一些趣味性元素。xPong不仅是一款游戏，更是展示了LLM技术在游戏领域应用的潜力。
阅读更多
这个开源项目提供了一系列开关抖动行为的示波器波形数据，包含各种类型开关（摇杆开关、按钮开关等）在不同压力和速度下的测试结果。数据以CSV和PWL格式提供，方便用户用于电路和固件的去抖动算法设计与仿真。该数据集涵盖了多种开关型号，并详细记录了测试方法和设备，具有很高的参考价值。
阅读更多
Elvish 是一款功能强大的脚本语言，兼具交互式 shell 的特性，并以静态链接二进制文件的形式提供给 Linux、BSD、macOS 和 Windows 用户。虽然目前仍处于 1.0 版本之前，但其稳定性足以满足脚本编写和交互式使用的需求。用户文档可在 elv.sh 网站上找到，其中包含安装教程、使用指南和新闻等信息。开发文档则位于 ./docs 目录下。此外，还有许多优秀的 Elvish 包和工具可供使用。
阅读更多
DotnetSnes是一个令人兴奋的项目，它允许开发者使用C#编写真正的SNES游戏ROM！它通过一个.NET库抽象SNES游戏开发中常用的函数和全局变量，将编译后的DLL转换为C代码，再使用PvSnesLib SDK工具链编译成可运行的ROM。虽然SNES的限制（如缺乏动态内存分配）使得C#代码无法完全保持惯用风格，但该框架仍然允许创建功能完整的SNES游戏。文中详细介绍了开发流程、依赖项安装、项目创建和构建步骤，并提供了两个示例项目：HelloWorld和LikeMario，展示了如何使用该框架创建简单的文本输出和更复杂的基于地图的游戏。
阅读更多
厌倦了千篇一律的GRUB启动界面？本文提供了一些高质量的GRUB主题资源，并指导你如何轻松自定义它们。从更换背景图片和字体，到调整颜色方案，甚至创建循环背景效果，你都可以随心所欲地打造个性化的启动体验。文中还推荐了几个有用的工具，例如用于下载Github文件和调整GRUB设置的工具。
阅读更多
这是一份针对有一定编程经验的程序员编写的 J 编程语言入门指南。它简洁明了地介绍了 J 语言的核心概念，包括数据类型、函数、修饰符、数组、控制结构和错误处理等。指南鼓励读者运行示例代码并阅读注释，并提供了 J 语言的重要链接和资源，帮助读者快速上手 J 编程。
阅读更多
serverless-dns是一个类似于Pi-Hole的无服务器DNS解析器，支持DNS-over-HTTPS (DoH)和DNS-over-TLS (DoT)，可在Cloudflare Workers、Deno Deploy、Fastly Compute@Edge和Fly.io等平台上运行。它使用简洁的Radix Trie高效地管理1300万条来自190多个黑名单的条目，并提供毫秒级的响应速度。该项目开源，支持自定义配置和日志上传，为用户提供了一个轻量级、高性能的DNS解决方案。
阅读更多
ANEMLL是一个开源项目，致力于将大型语言模型（LLM）加速到张量处理器上，首先是苹果神经引擎（ANE）。它提供了一个完整的开源流水线，用于将模型从Hugging Face转换到ANE上的推理。这使得在边缘设备上进行低功耗应用的无缝集成和设备端推理成为可能，确保最大限度的隐私和安全性。目前支持LLaMA 3.1等模型，并提供Swift和Python示例代码以及iOS/macOS应用。
阅读更多
John Friel III (1960-2024) 编写的 MS-DOS 通信程序 QModem 4.51 的源代码现已发布。该版本是 1992 年初的“试驾版”，包含丰富的功能，例如支持多种调制解调器协议、脚本、用户自定义、调制解调器自动配置和主机模式等。 这份历史性代码库对于通信爱好者、复古计算爱好者以及对经典 DOS 通信软件内部工作原理感兴趣的人来说都具有价值。但编译运行需要 Turbo Pascal 5.x/6.0 环境以及其他依赖库，并且需要应对Overlay管理等挑战，难度较大。
阅读更多
pipask 是 pip 的替代品，它在安装 Python 包之前进行安全检查，以提高安全性。它优先使用 PyPI 元数据，尽量避免下载和执行代码。如果需要执行第三方代码，pipask 会先征求用户同意。所有检查完成后，它会向用户呈现一份格式化的报告，并请求同意。如果用户批准，pipask 会将安装任务交给标准 pip 完成。pipask 执行的检查包括：代码库流行度、包和版本的年龄、已知的漏洞、PyPI 下载次数以及元数据验证等。
阅读更多
由于JetBrains AI助手免费配额有限，作者开发了一个Kotlin/Ktor应用，将OpenAI、Claude、Gemini等多个LLM API代理成LM Studio和Ollama API，从而在JetBrains IDE中使用。该应用使用无反射特性，构建了GraalVM原生镜像，实现跨平台和快速启动。支持流式聊天，配置简单，支持热重载。
阅读更多
一个名为 Connomore64 的项目利用多个并行的廉价 RP2040/RP2350 微控制器实现了 Commodore 64 的循环精确模拟。该项目最初是一个假日项目，旨在探索 RP2040 微控制器的 PIO 的能力。最终，它发展成为一个能够运行大多数游戏和部分演示的精确模拟器，甚至可以与原始的 C64 硬件（如软驱）接口。该项目目前仍处于开发阶段，但已经展示了其在低成本硬件上运行计算密集型软件的潜力，并提供了一个使用多个 RP2040/RP2350 进行并行仿真的框架。
阅读更多
这个项目探索了如何利用Pi0、Lerobot和Rerun训练机器人。它支持Linux系统，并利用Pixi包管理器进行依赖管理。该项目包含相机标定、人体姿态和运动学分析，以及从多视角图像中提取三维关节位置和角度信息，最终目标是将同步的多相机画面转换成机器人可用的关节角度和三维位置数据，用于机器人动作重定向和精细运动技能学习。项目提供了Jupyter Notebook教程，涵盖人体姿态和运动学、身体和手部姿态重定向以及模仿学习和遥操作等内容。
阅读更多
BLAST是一个高性能的网页浏览AI服务引擎，提供与OpenAI兼容的API，内置并发和流式处理功能。它可以自动缓存和并行化任务，降低成本并实现交互式延迟。开发者只需简单的`pip install blastai && blastai serve`命令即可本地运行，无需担心超出预算或占用过多内存。通过OpenAI兼容的API，BLAST可以轻松集成到应用程序中，并通过流式处理实时传输浏览器增强型LLM输出。
阅读更多
这是一个令人惊叹的项目，它将GPT-2小型模型（1.17亿参数）的完整前向传播过程搬上了浏览器端的WebGL2。通过巧妙地利用WebGL2着色器在GPU上进行计算，并使用js-tiktoken进行BPE分词（无需WASM），该项目实现了在浏览器中直接运行GPT-2模型。开发者提供了Python脚本下载预训练权重，并使用Vite构建前端，支持热模块替换。这是一个将先进AI模型带入浏览器端的绝佳案例，展现了Web技术的前沿能力。
阅读更多
OSle是一个仅510字节的，运行在实模式下的微型操作系统，完全驻留在启动扇区中。它用x86汇编语言编写，却具备Shell、文件系统、进程管理以及预置软件和SDK等核心功能，允许用户开发自己的程序。文章提供了详细的安装、构建、运行以及在真实设备上运行OSle的步骤，并包含在线演示和教程。这是一个极具挑战性和趣味性的项目，适合对操作系统和底层编程感兴趣的开发者。
阅读更多
Kubetail 是一款为 Kubernetes 打造的实时日志监控平台，它能将多容器工作负载的日志合并到一个时间线中，方便用户在浏览器或终端查看。Kubetail 使用 Kubernetes API 直接获取日志，无需外部服务，并追踪容器生命周期事件，确保日志时间线同步。它提供简洁易用的界面，支持多种过滤条件，例如工作负载、时间范围、节点属性和正则表达式。安装方式多样，包括 CLI 工具、Helm Chart 和 Glasskube。Kubetail 的目标是成为 Kubernetes 最强大的日志平台，欢迎用户反馈和贡献。
阅读更多
Changesets 是一款用于管理版本和变更日志的工具，尤其专注于多包仓库。它允许贡献者声明更改的发布方式，然后自动更新包版本、变更日志并发布新版本。Changesets解决了多包仓库的版本管理难题，使依赖包保持同步，并简化了对多包的更改。它通过changeset文件记录发布意图，并提供CLI工具将多个changeset合并成一次发布，处理内部依赖关系，更新变更日志，并一键发布所有更新的包。项目还提供了详细的文档和集成CI的建议，以及一个GitHub Action用于自动化版本控制PR和发布。
阅读更多
Agent Reinforcement Trainer (ART)是一个开源强化学习库，用于提升大型语言模型(LLM)在代理工作流程中的性能。ART利用强大的GRPO强化学习算法，通过模型自身的经验进行训练。不同于大多数RL库，ART允许你将代理运行集成到现有代码库中，同时将RL训练循环的复杂性卸载到ART后端。ART包含客户端和服务器两部分，客户端负责与你的代码库交互，服务器则负责推理和训练。训练循环包括推理阶段（收集数据并分配奖励）和训练阶段（使用GRPO算法训练模型并更新LoRA）。ART支持大多数与vLLM/HuggingFace transformers兼容的因果语言模型，目前正处于alpha阶段，欢迎贡献代码。
阅读更多
DeepSeek-Prover-V2是一个开源大型语言模型，用于在Lean 4中进行形式化定理证明。它通过结合DeepSeek-V3的递归定理证明流水线和强化学习，将非形式化和形式化数学推理结合起来。该模型首先利用DeepSeek-V3将复杂问题分解成子目标，然后合成子目标的证明，创建强化学习的初始数据。最终，DeepSeek-Prover-V2-671B在MiniF2F-test上达到了88.9%的通过率，并在PutnamBench上解决了49个问题。同时，还发布了ProverBench，一个包含325个问题的基准数据集，涵盖了高中和大学水平的数学问题。
阅读更多
Raven是一个雄心勃勃的项目，旨在为OCaml语言带来完整的机器学习和数据科学生态系统。它提供类似于NumPy、Jupyter和JAX的库，例如Ndarray（高性能数值计算）、Quill（交互式笔记本）和Rune（自动微分和JIT编译），并承诺在保证OCaml类型安全和性能优势的同时，提供与Python媲美的开发体验。目前Raven还处于预发布阶段，但其丰富的组件和积极的社区贡献，使其未来发展潜力巨大，或将为OCaml在数据科学领域带来新的活力。
阅读更多
还在苦恼如何委婉拒绝？这个名为"No as a Service"的轻量级API为你提供上千条创意十足、妙趣横生的拒绝理由，涵盖各种场景。它简单易用，可用于应用、机器人、登陆页面等，甚至帮你写拒绝信！开发者只需简单的几行代码就能运行它，代码开源且免费。
阅读更多
小米发布了名为MiMo-7B的70亿参数大型语言模型，专注于推理能力。通过优化的预训练数据和策略，以及创新的强化学习训练方法，MiMo-7B在数学和代码推理任务上表现出色，甚至超越了更大的320亿参数模型。该模型开源，包含基座模型、指令微调模型和强化学习模型等多个检查点，为构建强大的推理能力LLM提供了宝贵的资源。
阅读更多
一位开发者成功地在Excel中运行了Linux系统！他利用一个名为mini-rv32ima的精简版模拟器，将其编译成DLL文件，再通过VBA宏调用，最终实现了在Excel表格中显示Linux输出。虽然该项目存在一些bug，并且作者承认这并非严格意义上的“从零开始”，而是利用了外部DLL，但这无疑是一个充满创意和趣味的尝试，展现了程序员的巧妙构思和技术实力。
阅读更多
AgenticSeek 是一款完全本地化的语音 AI 助手，它可以在你的设备上自主浏览网页、编写代码和规划任务，无需依赖云端，确保你的数据隐私安全。它支持多种编程语言，并能根据任务自动选择合适的 AI 代理。目前项目仍在开发中，并正在寻找开源贡献者。
阅读更多
Neurox是一个用于监控Kubernetes GPU集群上运行的AI工作负载的工具，其Helm图表简化了安装流程。它提供预构建的仪表板和报告，结合指标和实时Kubernetes运行时状态数据，为管理员、开发人员和财务审计人员提供相关见解。安装程序会自动配置子域名、镜像注册表凭据、身份提供程序和TLS证书。Neurox免费监控最多64个GPU，支持NVIDIA GPU，并提供企业级许可选项。安装前需要准备Kubernetes集群、cert-manager、ingress-nginx、NVIDIA GPU Operator和Kube Prometheus Stack。
阅读更多
Beatsync是一款高精度Web音频播放器，支持多设备同步播放。它采用类似NTP的时间同步机制，实现毫秒级精度；支持跨平台，可在任何现代浏览器上运行（Chrome浏览器性能最佳）；具有空间音频功能，可通过虚拟声源控制设备音量，实现有趣的音效；拥有精致的界面，内置流畅的加载状态、状态指示器和所有UI元素；并且可以自托管，只需几条命令即可运行自己的实例。目前尚处于早期开发阶段，仅桌面版Chrome浏览器完全支持，移动设备同步功能尚处于实验阶段且可能不稳定。
阅读更多
CoRT（递归思维链）是一种新颖的AI增强技术，通过让模型反复思考、生成多个备选答案并从中选择最佳答案来提升其性能。实验表明，将CoRT应用于Mistral 3.1 24B模型后，其编程能力显著提升，堪称“质变”。CoRT的核心在于模型的自评估、竞争性备选方案生成、迭代优化和动态思考深度。该项目已开源，欢迎贡献代码。
阅读更多
ArkFlow是一个基于Rust和Tokio构建的高性能流处理引擎，支持多种输入/输出源和处理器。它具有强大的数据流处理能力，内置SQL查询、JSON处理、Protobuf编码/解码等功能，并支持扩展。用户可通过YAML配置文件轻松配置输入源（Kafka、MQTT、HTTP、文件等）、处理器（JSON、SQL、Protobuf等）和输出目标（Kafka、MQTT、HTTP、标准输出等），实现灵活的数据处理流程。ArkFlow还提供缓冲机制以应对反压，并支持多种错误输出目标。
阅读更多
ROSplat是一个基于ROS2的在线3D场景可视化工具，它利用高斯散点渲染技术，能够实时渲染数百万个高斯点。该工具使用自定义ROS2消息和GPU加速的排序和渲染技术，支持从PLY文件加载数据，并与ROS2工具（如bag录制）集成。ROSplat需要NVIDIA显卡才能获得最佳性能，并提供多种安装方式，包括使用pip安装依赖项或使用Docker镜像。该项目由Shady Gmira开发，并感谢Qihao Yuan和Kailai Li的指导和支持。
阅读更多