Shift-To-Middle数组是一种新型动态数组，它在两端插入和删除元素的效率上远超std::deque、std::vector和链表。它巧妙地利用连续内存存储，提升缓存局部性，并支持SIMD和并行优化。基准测试显示，它在各种场景下都表现出色，特别是在多核处理器和支持SIMD指令集的硬件上。该项目开源，并提供完整的API文档和基准测试报告，欢迎开发者试用和贡献代码。
阅读更多
一个名为`formal_verif_ml`的项目使用Lean 4提供了一个框架，用于形式化验证机器学习模型的属性，例如鲁棒性、公平性和可解释性。该项目包含Lean库、模型转换器、网络界面、CI/CD管道等，支持多种模型类型，并提供交互式网页门户，允许用户上传模型、查看生成的Lean代码、触发Lean证明编译以及可视化模型架构。
阅读更多
ttyd是一个简洁的命令行工具，允许你通过网页共享终端。它支持多种选项，例如端口指定、网络接口绑定、身份验证、用户权限设置、自定义工作目录等等，方便用户灵活配置。此外，ttyd还支持SSL加密、IPv6以及客户端参数传递等高级功能，为远程终端访问提供安全可靠的保障。
阅读更多
一个简单的Go程序，将`security-audit.json`转换为`security-audit.md`，方便在CI流水线中使用。该程序生成的报告示例已提供，并附带了CI集成的示例`dependency-audit.yml`和`dependency-audit-only-when-detected.yml`，后者仅在检测到漏洞时才创建GitHub issue。程序支持自定义输入输出文件路径，并可选择在未发现漏洞时失败。
阅读更多
argp是一个遵循GNU标准的Go语言命令行参数解析器，它支持丰富的功能，例如内置帮助信息、结构体字段扫描、复合类型支持（数组、切片、结构体）、嵌套子命令等。argp遵循GNU命令行参数规则，支持短选项、长选项、选项值、多个值、选项组合等。它还提供配置加载、计数、追加等功能，并支持自定义数据源，例如MySQL数据库。开发者可以使用argp轻松构建功能强大的命令行工具，提高开发效率。
阅读更多
Landrun 是一款基于 Landlock LSM 的轻量级 Linux 沙箱，以其内核级安全性和低开销而著称。它允许对目录进行细粒度的访问控制，支持读写路径，并可选地允许对允许的路径执行操作。此外，它还提供 TCP 网络访问控制（绑定和连接）。Landrun 支持 Linux 内核 5.13 或更高版本（启用 Landlock LSM），Linux 内核 6.8 或更高版本才能使用网络限制功能。开发者可以轻松地通过命令行工具配置沙箱的权限，例如只读、读写和执行权限，以及指定允许绑定的 TCP 端口和允许连接的 TCP 端口。Landrun 还提供最佳努力模式，以便在不支持所有请求限制的旧内核上优雅地降级。
阅读更多
研究者们发布了一篇论文、模型和代码库，揭示了R1-Zero类训练的奥秘。他们开发了一个名为Oat的高效模块化LLM强化学习框架，并利用其对Qwen2.5等模型进行了R1-Zero训练。研究发现，合适的模型和改进的强化学习算法(Dr. GRPO)至关重要，避免了模板和问题集不匹配导致的偏差优化问题。最终，仅用27小时计算时间，在8个A100 GPU上，他们实现了最先进的性能。
阅读更多
FastOpenAPI是一个基于Pydantic和多种框架的OpenAPI Schema生成与集成库，旨在提供类似FastAPI的开发体验。它支持Falcon、Flask、Quart、Sanic、Starlette和Tornado等框架，并通过代理路由实现FastAPI风格的路由。只需简单的pip安装，即可快速上手，并通过Swagger UI和ReDoc UI方便地查看生成的文档。项目还提供丰富的示例和基准测试，方便开发者快速上手和评估性能。
阅读更多
一位用户在macOS系统上使用1.8.2b版本的某款浏览器时，发现该浏览器存在多个隐私和遥测问题，与该浏览器标榜的“隐私保护”特性相矛盾。用户指出，遥测功能似乎仍然启用，浏览器文档也没有详细说明其在指纹识别等方面的做法。用户呼吁开发者对浏览器的隐私策略进行透明化，要么详细说明其数据收集方式，要么停止宣传其隐私保护特性。
阅读更多
这篇文字列举了GitHub代码审查中，应用代码建议时可能遇到的各种限制，例如：代码无改动、Pull Request关闭或已合并、只查看部分改动、单行只能应用一个建议、应用已删除行建议不支持、建议已被应用或标记为已解决、来自待处理审核的建议无法应用、多行注释上的建议无法应用等。这些限制确保了代码审查过程的完整性和准确性。
阅读更多
这是一个用于Krita绘画软件的插件，可以导出画布上的任意区域，并可以选择调整导出图像的大小。安装方法：将`region_exporter`文件夹添加到Krita资源文件夹的`pykrita`子文件夹下，并将`region_exporter.desktop`和`region_exporter.action`文件分别放置到Krita资源文件夹的根目录和`actions`子文件夹下。使用方法：使用快捷键Ctrl+Shift+E或通过工具菜单调用插件，输入坐标、大小、旋转角度等参数，选择导出图层，即可导出图像。
阅读更多
Hyperbrowser 推出了其模型上下文协议 (MCP) 服务器，这是一个强大的工具，能够抓取网页、提取结构化数据和爬取网页。它还简化了对通用浏览器代理的访问，例如 OpenAI 的 CUA、Anthropic 的 Claude 计算机使用和浏览器使用。该服务器支持多种功能，包括网页抓取、网页爬取、结构化数据提取、必应搜索和多种浏览器自动化功能。安装简便，只需运行 `npx hyperbrowser-mcp ` 并配置相应的配置文件即可。
阅读更多
Screen是一个用纯PHP编写的终端模拟器库，它能够在任何PHP应用程序中构建丰富的基于文本的用户界面。它最初是为了解决Laravel框架下的Solo项目中多进程文本界面（TUI）的ANSI转义码冲突问题而创建的。Screen通过创建一个虚拟终端缓冲区，安全地处理ANSI操作（光标移动、颜色更改、屏幕清除等），确保最终渲染的输出与预期一致。它支持Unicode、多字节字符、滚动和各种ANSI转义码功能，并提供全面的测试套件，包含独特的视觉比较系统，保证模拟的准确性。
阅读更多
IronRDP项目提供了一套基于Rust的Microsoft远程桌面协议(RDP)实现，并着重强调安全性。它支持多种编解码器，包括无压缩原始位图、RLE、RDP 6.0位图压缩和RemoteFX。该项目包含一个完整的异步RDP客户端，并提供了阻塞式示例，方便开发者快速上手。此外，文档中还详细介绍了如何在服务器端启用RemoteFX以获得更好的图形体验。
阅读更多
Manifest是一个轻量级的、单文件的微型后端框架，旨在简化80%仅需基本后端功能的网站和应用的开发。它提供身份验证、验证、存储、图像调整大小、管理面板、动态端点、REST API、JS SDK和Webhook等核心功能，非常适合快速原型设计、微服务、CRUD密集型应用和无头CMS等场景。目前处于测试阶段，适合小型项目和MVP，不建议用于关键平台。
阅读更多
PocketFlow是一个基于TypeScript的LLM框架，它采用嵌套有向图结构，将复杂的AI任务分解成多个可重用的LLM步骤，支持分支和递归，实现类似智能体的决策能力。该框架易于扩展，可集成多种LLM和API，无需专用包装器，并具备可视化工作流程和状态持久化的调试功能，从而加速企业级AI系统的构建。
阅读更多
Retro Boy是一款用Rust编写的，可在网页上运行的精准Game Boy模拟器。它使用了wasm-pack将Rust代码转换为WebAssembly，并利用Web Audio API和HTML Canvas进行音频和图形渲染。该模拟器支持多种游戏卡带类型（MBC1, MBC3, MBC5, HuC1），并具备完整的CPU、音频和图形模拟功能，甚至支持GameShark或GameGenie作弊码。此外，它还拥有用户友好的界面，包括全屏模式、暂停/继续、色彩模式选择和可自定义按键映射等功能。Retro Boy通过了Blargg测试ROM集合的大部分测试，展现了其高精度模拟能力。
阅读更多
GizmoSQL是一个使用DuckDB或SQLite作为后端数据库的Apache Arrow Flight SQL服务器实现。它支持通过中间件进行身份验证，并允许通过TLS进行加密连接。该项目提供了Docker镜像和CLI可执行文件，方便用户部署和使用。用户可以通过JDBC或ADBC驱动程序连接到服务器，并使用Python或gizmosql_client CLI工具进行查询。GizmoSQL支持自定义初始化SQL命令，并提供灵活的配置选项，例如选择不同的后端数据库和启用/禁用TLS。
阅读更多
Minimalytics是一款基于SQLite的轻量级独立分析工具，专为资源受限环境而设计。它以极小的资源占用，提供追踪和可视化事件数据的轻量级解决方案。无论是追踪内部服务还是需要简单的分析工具，Minimalytics都能高效运行，且无冗余。它支持每月超过十亿的事件，存储空间仅约20MB，并提供Web UI进行管理和数据可视化。
阅读更多
这是一个基于模型上下文协议（MCP）的扫雷游戏服务器，允许MCP客户端代理玩扫雷游戏。它旨在与扫雷游戏服务器一起运行。视频演示（16倍速）可见https://youtu.be/CXXMafVtlEQ。按照游戏服务器的说明在本地启动它，安装依赖后构建，然后配置你的MCP客户端添加该工具，例如在Windows的claude_desktop_config.json中配置Claude Desktop。启动扫雷游戏，尝试标记所有地雷。坐标从0开始。实际对话很长，包含一些片段，例如错误放置旗帜和多次尝试后放弃。
阅读更多
AgentKit是一个用于构建多智能体网络的框架，它提供确定性路由、多种模型提供商支持以及丰富的MCP工具。通过结合Inngest开发服务器和编排引擎，AgentKit使得在云端部署Agent时具有容错能力。核心概念包括Agent（结合提示、工具和MCP的LLM调用）、网络（Agent协作的简易方式）、状态（结合对话历史和完全类型化状态机的路由）、路由器（基于代码或LLM的自主编排）和追踪（本地和云端工作流程的调试和优化）。AgentKit支持多种路由策略，包括基于代码的确定性路由和基于Agent的自主路由，并提供共享状态机制，方便Agent之间协作。
阅读更多
TruffleRuby，一个高性能的 Ruby 实现，发布了最新版本，带来了显著的性能提升和兼容性改进。此版本修复了大量 Bug，包括 Module#name、Module#const_added、ObjectSpace.undefine_finalizer 等方法中的问题，并提升了与 OpenSSL 3.0.x 和 3.x 的兼容性。此外，还增加了许多新方法和功能，例如 IO#{pread, pwrite}、Range#reverse_each 等，并优化了编码协商和一些 C 扩展的性能。此更新增强了 TruffleRuby 的稳定性和性能，使其更接近标准 Ruby 实现 MRI。
阅读更多
Physix.go是一个用Go语言编写的简单易用、快速的物理引擎，支持基于粒子的物理模拟。它提供高效的物理计算函数，包括向量计算、物理计算、弹簧动力学等。用户可通过`go get github.com/rudransh61/Physix.go`安装，并运行示例文件进行体验。该引擎支持矩形与矩形、圆形与圆形的碰撞检测及基于动量守恒和能量守恒的反弹效果，并提供弹簧模拟功能。
阅读更多
Stelvio是一个用纯Python编写的库，旨在简化AWS云基础设施的管理和部署。它使用智能默认值自动处理复杂的配置，让开发者用熟悉的Python代码定义云资源，并实现基础设施代码与应用代码的清晰分离。目前Stelvio支持Lambda、DynamoDB和API Gateway，并计划支持更多AWS服务。虽然还处于早期alpha阶段，但它已为Python开发者提供了比Terraform、Pulumi或AWS CDK更便捷的AWS云管理体验。
阅读更多
这个项目提供了一个MCP服务器，使用Playwright无头浏览器抓取网页内容。它支持单URL和批量URL抓取，可以智能提取主要内容并转换为Markdown格式。用户可以通过`npx`直接运行，并可配置超时时间、等待策略、内容提取、最大长度以及返回HTML或Markdown等参数。此外，还提供了在Claude Desktop中配置该服务器的方法，以及Playwright浏览器的安装和调试指南。
阅读更多
腾讯开源的Hunyuanyuan3D模型进行了重大更新，推出了更小、更快的“mini”版本。新版本不仅运行速度更快，而且引入了纹理生成功能，显著提升了3D模型的视觉效果。代码更新主要体现在模型加载、参数调整和纹理生成流程的优化上，并增加了对不同文件类型的支持。此次更新降低了使用门槛，使更多开发者能够轻松体验和应用这项先进的3D建模技术。
阅读更多
Adminer是一个用PHP编写的功能强大的单文件数据库管理工具，支持MySQL、PostgreSQL、SQLite等多种数据库。它易于部署，只需将单个文件上传到服务器即可运行。Adminer还提供扩展插件机制，支持Elasticsearch、MongoDB等，并允许用户自定义插件以扩展功能。开发者可以通过简单的PHP配置来管理插件加载顺序。Adminer Editor则为最终用户提供数据操作功能，方便快捷。
阅读更多
mcp-kafka是一个基于Model Context Protocol (MCP) 的服务器，它为AI助手提供了一个与Apache Kafka交互的桥梁。开发者可以使用它来创建、管理和操作Kafka主题及消息。该工具支持创建主题、列出主题、删除主题、描述主题、发送消息和消费消息等操作，并支持SASL_PLAINTEXT和PLAINTEXT身份验证。mcp-kafka易于安装和使用，并提供了详细的文档和示例。
阅读更多
Focus Mode是一款开源的浏览器扩展程序，旨在帮助用户在浏览网页时保持专注和高效。它允许用户屏蔽多个网站，并可设置特定时间和日期进行屏蔽。更强大的功能是支持通配符，例如 `reddit.com/*` 可以屏蔽所有reddit链接。该项目采用MIT许可证，欢迎所有贡献。
阅读更多
厌倦了在Claude聊天窗口复制粘贴代码？codemcp插件来了！它将Claude Pro变身为你的代码编程助手，直接在本地编辑代码、修复bug、重构代码，并运行测试。codemcp安全可靠，基于Git版本控制，所有更改均可回滚。只需在Claude Desktop中安装并配置，即可开始与Claude协同编程，告别巨额API账单！
阅读更多