AGX是一款使用Tauri和SvelteKit构建的桌面应用程序，它提供了一个现代化的界面，用于使用ClickHouse嵌入式数据库引擎(chdb)探索和查询数据。它具有原生桌面应用程序的性能、交互式SQL查询编辑器、模式浏览器、表格格式的结果显示、拖放文件操作支持以及跨平台兼容性(macOS、Linux、Windows)。前端使用SvelteKit构建，后端使用Tauri和Rust，两者通过Tauri的IPC桥进行通信。数据查询由嵌入式ClickHouse引擎chdb处理。
阅读更多
Ikemen GO是一款开源的格斗游戏引擎，使用Go语言编写，并兼容M.U.G.E.N引擎的资源。它是对先前名为Ikemen的引擎的完整重写，力求与M.U.G.E.N 1.1 Beta版本兼容，同时扩展了诸多功能。该引擎支持Windows、macOS和Linux系统，并提供预编译版本和每日构建版本。开发者还提供了详细的构建和调试指南，支持使用Docker进行跨平台编译。Ikemen GO的源代码采用MIT许可证，部分资源采用CC-BY 3.0许可证。
阅读更多
Zest 是一款尚处于开发阶段的编程语言，旨在兼顾系统可塑性和代码可读性。它借鉴了 Emacs 等系统的交互性和实时性，同时保留了静态类型、早期绑定、跳转到定义等特性。目前 Zest 支持基本控制流、算术运算和函数等，但仍需完善错误处理、内存管理和递归函数等方面。其代码可解释执行或编译，但暂不支持混合模式。文档中包含嵌入式测试，用于验证不同方言（lax 和 strict）的输出结果。
阅读更多
fd是一个比find更快、更友好的文件查找工具。它使用直观的语法、并行目录遍历和智能大小写匹配，默认忽略隐藏文件和.gitignore文件。支持正则表达式和glob模式搜索，并提供丰富的选项来定制搜索行为，例如指定根目录、文件类型、大小、修改时间等，还可以与其他命令结合使用，例如`ls`, `rm`, `rg`以及`fzf`等。性能测试显示，fd在大型文件系统中速度显著优于find，最高可达23倍。
阅读更多
还在为查找代码作者而苦恼吗？Git-Who，一款命令行工具，能帮你解决这个难题！它不像`git blame`那样只关注单行代码，而是能识别整个代码组件或子系统的主要贡献者。通过`table`、`tree`和`hist`三个子命令，Git-Who能以表格、树状图和时间轴三种方式直观地展示代码贡献者的信息，包括贡献次数、最后编辑时间、修改行数等。你甚至可以指定路径、分支、标签或版本范围来筛选结果，并使用各种标志进行排序和过滤。Git-Who还能识别Git mailmap，合并不同名称或邮箱的贡献。试试Git-Who，让代码贡献者一目了然！
阅读更多
NVIDIA发布了Dynamo，一个用于在多节点分布式环境中为生成式AI和推理模型提供服务的、高吞吐量低延迟推理框架。Dynamo支持多种推理引擎（如TRT-LLM、vLLM、SGLang等），并具备预填充和解码推理解耦、动态GPU调度、LLM感知请求路由、加速数据传输和KV缓存卸载等特性，以最大化GPU吞吐量并降低延迟。该框架使用Rust编写以提高性能，并使用Python编写以增强可扩展性，完全开源。
阅读更多
芝麻AI实验室发布了10亿参数的会话语音模型CSM（Conversational Speech Model），该模型基于Llama架构，能够根据文本和音频输入生成RVQ音频代码。CSM已在Hugging Face上公开其检查点，并提供了一个交互式语音演示和Hugging Face空间用于测试音频生成。该模型虽然可以生成多种声音，但尚未针对特定声音进行微调，并且不支持多语言。芝麻AI强调该模型仅供研究和教育用途，并禁止用于模仿他人、制造虚假信息或从事非法活动。
阅读更多
Cascii是一款基于Web的ASCII和Unicode图表构建器，使用纯JavaScript编写，无需任何服务器、Web打包、库以及任何标记和样式表。只需打开cascii.html文件即可开始绘制图表。Cascii还托管在cascii.app，你可以获取图表短链接、创建账户等。它支持多种绘图功能，包括图层管理、选择、分组、排序、复制、动态表格、自由绘制/擦除、自动保存、粘贴/导入文本、历史记录（撤销/重做）等，并支持ASCII和Unicode字符。
阅读更多
coq-of-rust 是一款将 Rust 代码翻译成 Coq 证明系统的工具，旨在实现 Rust 代码的形式化验证，从而消除所有 bug。它通过将 Rust 程序转换为 Coq 代码，并利用 Coq 的证明技术进行验证，最终达到 100% 代码无 bug 的目标。该工具支持 Rust 的大部分核心特性，并提供形式化验证服务，适用于智能合约、数据库引擎等关键 Rust 项目。
阅读更多
Cline 是一款基于 Claude 3.7 Sonnet 的 AI 助手，能够逐步处理复杂的软件开发任务。它可以创建和编辑文件、浏览大型项目、使用浏览器和执行终端命令（需授权）。Cline 支持多种 API 提供商，并能通过模型上下文协议 (MCP) 扩展自身功能。它提供人机交互式 GUI，确保安全可靠。Cline 还具有错误监控、代码补全、版本控制等功能，极大地提高了开发效率。
阅读更多
Amnesty International 安全实验室于2021年7月发布了移动验证工具包 (MVT)，这是一个用于简化和自动化收集取证痕迹的工具集，有助于识别 Android 和 iOS 设备潜在的入侵情况。MVT 利用公开的入侵指标 (IOC) 扫描移动设备，查找已知间谍软件活动的痕迹，但其并不能保证设备完全安全。该工具主要面向技术人员和调查人员，需要一定的数字取证和命令行工具使用经验。
阅读更多
CppMatch是一个轻量级的C++库，它引入了Rust风格的异常处理和模式匹配机制。它使用`Result`类型表示成功或失败的结果，并提供`expect`宏简化错误处理，`match`宏实现模式匹配，以及`zip_match`函数组合多个`Result`。 该库兼容Clang和GCC，并支持多种错误处理策略，例如使用lambda函数处理不同类型的错误。对于想要在C++中体验Rust优雅错误处理方式的开发者而言，CppMatch是一个值得关注的工具。
阅读更多
这款名为Wify的React Native应用，能通过扫描图片或摄像头识别WiFi密码，并自动连接。它支持多种语言的OCR识别，还能模糊匹配WiFi名称，即使存在细微差异也能成功连接。应用内置权限管理，并提供友好的用户提示，极大地提升了用户体验。无论是Android还是iOS系统，都能轻松上手使用。
阅读更多
zlib-ng 是对流行的 zlib 压缩库的现代化分支，它改进了性能、可维护性和可移植性。它包含来自 Intel 和 Cloudflare 的优化，并支持各种 CPU 指令集，例如 AVX-512 和 ARM NEON。zlib-ng 旨在与 zlib 并存，提供更低的代码更改门槛，并支持 CMake 和多种构建系统。
阅读更多
UUSEC WAF是一款免费、高性能、可扩展的Web应用防火墙，它集成了AI和语义引擎，实现了流量层、系统层和运行时的三层防御。它采用机器学习技术进行异常检测，无需额外规则即可拦截0day漏洞攻击；自研缓存清理功能超越商业版nginx，支持正则表达式匹配；内置HIPS和RASP双层防御，有效阻止系统层和应用运行时攻击；同时拥有先进的语义引擎和Lua脚本规则编写功能，赋予高级管理员极高的灵活性。UUSEC WAF支持多种安装方式，包括主机和Docker版本，安装简单快捷。其准确率高达99.42%，远超同类产品。
阅读更多
Docs是一个开源的协作文档编辑器，旨在简化知识构建和共享。它支持离线编辑、简洁的格式、AI辅助功能（生成、总结、校正、翻译）、实时协作和细粒度的访问控制。Docs易于安装和扩展，并提供多种文档导出格式。该项目由法国和德国政府联合主导，并支持多种语言。目前正在积极开发中，并计划集成wiki功能。
阅读更多
厌倦了写代码？试试rust-stakeholder！这个命令行工具能生成看似高深莫测的终端输出，让你在不写一行实际代码的情况下，看起来像个编程天才。它模拟各种开发场景，生成进度条、错误信息、网络活动等，让你在老板面前看起来异常忙碌，从而避免截止日期的追问。当然，这只是个恶搞工具，切勿当真！
阅读更多
一个名为Agentic的平台允许用户自定义扩展，并通过Pydantic数据模型定义输出模式。这意味着你可以让聊天机器人生成结构化的输出，例如，代码示例中展示了如何使用Pydantic定义一个时间输出模型，从而让机器人输出日期和时间信息。这为构建更灵活和可控的AI应用提供了可能性。
阅读更多
aiopandas是一个轻量级的Pandas扩展库，通过猴子补丁的方式为Pandas的`map`、`apply`等函数添加了异步支持。它允许你无缝地使用异步函数处理Pandas DataFrame，并通过`max_parallel`参数控制并行执行的程度，显著提升处理异步I/O操作（例如API调用、网络爬虫、数据库查询）时的效率。此外，它还支持tqdm进度条，方便你实时监控任务进度。只需将`.map()`替换为`.amap()`即可轻松使用，极大地简化了异步Pandas操作。
阅读更多
MYGA是一个极简的YouTube前端，去除了广告和多余功能。它利用yt-dlp下载视频，并可选地使用本地AI模型总结视频内容，提供本地化、高效、简洁无广告的YouTube体验。支持频道管理、订阅、背景播放、离线播放等功能，无需依赖任何JS框架，仅使用HTML/CSS。可在家庭网络中搭建，方便在所有设备上播放。
阅读更多
Sketch编程是一种革命性的软件编写方法，它优先考虑简洁性、可读性和表达性。它不是一种具体的语言，而是一种元编程范式，通过抽象化样板代码，降低认知负担，让开发者专注于核心逻辑。Sketch可以使用任何编程语言实现，适用于任何领域和规模的项目。其核心思想是用简洁直观的语法“勾勒”程序的本质，底层语言或运行时处理细节。它通过关键词驱动的声明式语法，强调可读性和意图，支持快速迭代和语言无关的设计。文中给出了一个React组件的Sketch代码及其转换为React代码的例子，并提到正在开发VS Code扩展。
阅读更多
eli是一个历经15年开发的嵌入式Lisp解释器，作者最初出于个人项目需要而创建，最终成为其投入最多精力的项目之一。目前主要基于Java实现，并尝试将其融入Common Lisp。性能测试显示，其Java版本在某些基准测试中与Python不相上下。eli定义了一套独特的类型系统，涵盖位、可调用类型、可比较类型、可计数类型、字符、浮点数、整数、迭代器、可迭代类型、库类型、列表、映射、类型类型、方法类型、缺失值、数值类型、对、字符串、标识符、时间长度和时间点等。它还提供丰富的语法特性，包括条件语句、循环语句、宏、变量绑定、类型检查等。此外，eli支持方法定义、方法重载、lambda表达式、命名空间和模块管理等高级特性。
阅读更多
RubyLLM是一个简洁易用的Ruby库，它简化了与各种AI模型（如OpenAI、Anthropic、Gemini和DeepSeek）的交互。它提供统一的API和数据格式，避免了不同AI提供商API差异带来的困扰。RubyLLM支持多种AI功能，包括聊天、图像和音频分析、PDF处理、图像生成、向量嵌入以及自定义工具集成，并具有与Rails框架的无缝集成，方便保存聊天记录。其设计理念是让开发者以优雅的Ruby代码轻松与AI交互，而非陷入复杂的配置和回调处理。
阅读更多
OWL，一个基于CAMEL-AI框架的尖端多智能体协作框架，在GAIA基准测试中以58.18分的平均分获得第一名！它能够通过动态的智能体交互，实现更自然、高效和强大的各种领域的任务自动化。OWL已开源，并支持多种安装方式和模型，包括OpenAI、Qwen和DeepSeek等。此外，它还提供丰富的工具包，例如浏览器自动化、多模态处理和文档解析等，并具有友好的Web界面。目前，OWL团队正积极寻求社区贡献更多用例，并持续改进框架。
阅读更多
Exo是一种支持Python 3.9及以上版本的编程语言，其安装方式简单，只需使用pip即可完成。Exo文件可以直接用Python执行，并可通过exocc命令生成C和头文件。开发Exo需要设置虚拟环境，并安装必要的依赖项，包括PySMT和CMake。测试Exo需要安装z3-solver或其他求解器，以及CMake 3.21或以上版本。测试用例涵盖了多种情况，并支持代码覆盖率测试。Exo的更多信息和示例可在项目仓库中找到。
阅读更多
告别单点预测！概率时间序列预测为预测分析带来了革命性变化。它不再仅仅给出单一预测值，而是提供包含多种可能结果及其概率的完整概率分布，让决策更精准可靠。研究表明，概率方法显著提升了预测精度，降低了误差，尤其在极端事件预测方面表现突出。金融、医疗、制造业等领域都从中受益匪浅，例如更精准的风险评估、资源分配和库存管理。这篇文章深入探讨了概率预测的原理、方法（包括贝叶斯方法、高斯过程和深度概率模型）以及在各个领域的应用，并介绍了数据预处理、模型选择、不确定性校准等关键技术。
阅读更多
无需WebUSB，即可通过浏览器控制Raspberry Pi Pico！文章介绍了一种利用U2F安全密钥协议漏洞的方法，通过模拟U2F安全密钥，将数据伪装成签名，从而绕过浏览器安全限制，实现对Pico上LED灯的控制。虽然该方法利用了U2F协议的漏洞，但这并非安全漏洞，仅适用于故意设计为具有此漏洞的设备。文章强调了连接未知USB设备的风险。
阅读更多
MCPGod是一个命令行工具，旨在简化模型上下文协议(MCP)服务器的管理。它允许开发者轻松地添加、运行、列出和移除服务器，以及与服务器工具交互。MCPGod支持Windows、macOS和Linux系统，并提供详细的日志记录功能，方便调试。该工具提供丰富的功能，例如添加或移除特定客户端的MCP服务器，列出任何MCP服务器上的所有工具，直接从命令行运行任何工具，以及控制工具/客户端权限。
阅读更多
ArkFlow是一个基于Rust和Tokio构建的高性能流处理引擎，支持Kafka、MQTT、HTTP等多种数据源和处理器，例如SQL查询、JSON处理和Protobuf编解码。它具有模块化设计，易于扩展，并通过YAML配置文件进行配置。用户可以轻松定义输入、处理管道和输出，实现各种数据流处理任务，例如Kafka到Kafka的数据处理或生成测试数据并进行处理。
阅读更多
一个名为C Plus Prolog的项目尝试将Prolog和C结合起来。它通过使用SWI-Prolog的非标准特性，将Prolog代码转换为C代码。这个项目利用Prolog的元编程能力，实现了宏定义、泛型编程等高级特性。虽然该项目代码冗长且易出错，但它探索了在系统编程语言中使用宏的可能性，并展示了Prolog在代码生成方面的潜力。
阅读更多