CubeCL是一个令人兴奋的Rust语言扩展，它允许开发者使用Rust编写GPU计算内核，并利用零成本抽象来开发可维护、灵活和高效的计算内核。它支持多种GPU运行时环境，包括WGPU、CUDA和ROCm/HIP，并计划支持CPU运行时。CubeCL的核心功能包括自动向量化、编译时计算和自动调整，这些功能极大地简化了高性能内核的编写和跨平台移植。通过独特的两步过程（解析和扩展），CubeCL实现了编译时优化和灵活的Rust集成。目前，CubeCL正处于alpha阶段，但其潜力巨大，有望成为Rust高性能计算领域的重要组成部分。
阅读更多
Index是一个最先进的开源浏览器代理，能够自主执行复杂的网络任务。它支持多种大型语言模型（LLM），例如Anthropic的Claude和OpenAI的模型。用户可以通过简单的提示（例如“访问ycombinator.com，总结W25批次的前三家公司，并在Google Sheets中创建新的电子表格”）来指挥Index完成任务。Index还提供服务器端API、交互式CLI以及浏览器状态持久化等功能，方便用户在生产环境和本地开发中使用。其强大的功能和易用性使其成为处理网页数据自动化和复杂网络交互的理想工具。
阅读更多
这个GitHub仓库包含了Apache Lucene的多个示例，并附带详细的Markdown注释。每个示例都是自包含的，可以直接运行，方便学习者通过阅读代码、调试运行或在线文档(https://msfroh.github.io/lucene-university/docs/SimpleSearch.html)三种方式学习Lucene。仓库使用Lucene 10，需要JDK 21或更高版本。欢迎贡献代码！
阅读更多
本文介绍了一个名为Spring83的实验性在线互动协议，旨在探索新的在线互动方式。该协议并非面向用户，而是邀请参与者共同探索和研究。目前已有数个不同语言的客户端和服务器端实现，作者鼓励更多开发者参与其中，共同完善和发展这个开放的项目。
阅读更多
c/ua (koo-ah) 是一款轻量级框架，允许AI代理在高性能虚拟容器内控制完整的操作系统。它在Apple Silicon上可达97%的原生速度，并兼容任何视觉语言模型。c/ua集成了高性能虚拟化（在Apple Silicon上使用Lume CLI和Apple的Virtualization.Framework创建和运行macOS/Linux虚拟机）和AI代理接口，允许AI系统观察和控制虚拟环境，进行网页浏览、代码编写等复杂工作流程。它保证了安全性、隔离性、高性能、灵活性和可重复性，并支持多种LLM提供商。
阅读更多
Advanced Alchemy 是一个为 SQLAlchemy 打造的经过精心设计、彻底测试和优化的伴侣库，它提供同步和异步存储库，支持常见的 CRUD 操作和高度优化的批量操作。它集成了 Litestar、Starlette、FastAPI 和 Sanic 等主要 Web 框架，并具有自定义的 Alembic 配置和 CLI，以及内置的文件对象数据类型，支持多种存储后端（fsspec 和 obstore）。此外，它还包含优化的 JSON 类型、对 UUID6 和 UUID7 的支持，以及预配置的基类。Advanced Alchemy 简化了 SQLAlchemy 模型的 CRUD 操作，并提供了丰富的功能，例如分页、排序和过滤。
阅读更多
GitHub代码审查中，部分代码建议无法应用，原因包括：代码无改动、PR已关闭、查看代码片段受限、单行只能应用一个建议、应用于已删除行、建议已应用或标记为已解决、来自待处理审查的建议、多行注释以及PR排队合并或系统繁忙等。
阅读更多
厌倦了昂贵的EAS云构建？eas-like-local-builder Docker镜像提供了一个本地构建Expo Android应用的解决方案。它模拟了EAS的构建环境，包含Ubuntu 22.04、JDK 17、NDK r26b等必需组件，方便开发者在本地或CI/CD环境中进行构建。镜像支持自定义构建配置文件（例如production），并可通过环境变量跳过版本控制检查。开发者只需运行简单的Docker命令，挂载项目目录即可进行构建，极大简化了本地构建流程。
阅读更多
AutoKitteh 是一个基于 Python 的工作流自动化和编排平台，提供易于使用的代码方式替代无代码/低代码平台。它具有无限的灵活性，并基于 Temporal 提供持久化执行平台，隐藏了基础设施和编码的复杂性。AutoKitteh 支持自托管和云端部署，可用于 DevOps、FinOps、MLOps、SOAR 等场景，并具有内置集成、可扩展的“无服务器”架构等特点。
阅读更多
微软宣布将于2025年3月1日停止维护WinFile项目，但好消息是，这个经典的Windows文件管理器以原生x86、x64和arm64桌面应用的形式复活了，支持所有当前版本的Windows系统，包括Windows 11。项目维护者欢迎用户提交Bug修复和改进建议，但不会再开发新的分支。WinFile项目源码包含两个主要版本：尽量保持原样的`original_plus`分支和积极开发的`master`分支。用户可以从微软商店或项目页面下载预编译版本。
阅读更多
Sapphire是一款基于Rust的实验性包管理器，受到Homebrew的启发，旨在提供更强大的软件安装和管理功能。它支持安装命令行工具、库、语言、桌面应用程序等，并具有并行下载、自动依赖解析、从源代码构建等特性。目前仅支持ARM架构，未来可能支持x86。该项目处于Alpha阶段，尚不稳定，需谨慎使用。
阅读更多
Parcom 是一个简洁的 Common Lisp 解析组合器库，类似于 Haskell 的 Parsec 和 Rust 的 Nom。它直接操作字符串，无需依赖，支持多种 Common Lisp 实现，并提供丰富的解析器和组合器，方便用户构建自定义解析器。Parcom 还包含一个可选的 JSON 解析器，支持 Unicode 字符。其核心在于组合现有解析器构建复杂的解析逻辑，并通过简洁的 API 提供强大的功能。
阅读更多
这段Python代码演示了如何使用Rowboat库与AI聊天API交互。代码首先初始化客户端，连接到本地主机上的API服务。然后，它展示了两种与API对话的方法：一种是使用`StatefulChat`类创建状态化的会话，另一种是使用底层`client.chat`方法，直接发送消息数组。两种方法都成功地获取并打印了AI的回复，展示了Rowboat库的简单易用性，适合快速集成AI对话功能到Python项目中。
阅读更多
MemoTTL 是一个为 Ruby 设计的线程安全缓存库，支持 TTL（生存时间）和 LRU（最近最少使用）淘汰策略。它能够有效缓存方法的返回值，并在值过期或内存使用超过限制时自动清除，从而提升性能并节省内存。通过 `include MemoTTL` 和 `memoize` 方法即可轻松集成，并提供清除缓存的便捷方法。示例展示了如何在 Rails 控制器中使用 MemoTTL 优化方法调用，避免重复计算，从而显著提升效率。
阅读更多
Morphik是一个革命性的文档搜索引擎，它超越了传统的检索增强生成（RAG）技术，能够高效处理高度技术性和视觉化的文档。Morphik支持多模态搜索（包括图像、PDF、视频等），并能构建知识图谱、快速提取元数据，且提供与Google Suite、Slack和Confluence等工具的集成。它拥有免费层和开源版本，并提供Python SDK和REST API，极大简化了文档的摄取和查询过程。开发者可通过简单的代码快速上手，并通过Morphik控制台进行可视化操作。虽然开源版本的功能受限，但Morphik仍致力于提高速度、集成更多工具并持续改进，欢迎开发者贡献代码。
阅读更多
ElatoAI是一个开源项目，它利用OpenAI实时API、ESP32、安全WebSocket和Deno Edge函数实现了超过10分钟不间断的全球语音对话。该系统由前端（Next.js）、边缘服务器（Deno）和ESP32客户端三部分组成，支持自定义AI角色、多种语音和个性化设置。它采用Opus编解码器，具有低延迟、高清晰度和安全可靠等特点，并通过Supabase数据库进行用户认证和数据存储。目前该项目还在持续开发中，欢迎贡献代码。
阅读更多
本项目演示了如何使用Feast来驱动检索增强生成（RAG）应用程序。它扩展了基本的RAG演示，展示了如何使用Docling将PDF转换为LLM可用的文本数据，如何使用Milvus作为向量数据库来存储和检索RAG的嵌入，以及如何在摄取过程中使用Docling转换PDF。此外，它还演示了在线特征检索、声明式特征定义、向量搜索、结构化和非结构化上下文以及版本控制和可重用性等功能。项目包含示例数据、定义Feast特征视图和实体配置的Python文件以及配置离线和在线存储的YAML文件，并附带两个主要notebook：一个演示如何使用Docling提取PDF文本并将其存储在Parquet文件中，另一个演示如何使用Feast摄取文本数据并将其存储在和检索自在线存储。
阅读更多
Libro是一款简单的命令行工具，用于追踪你的阅读历史，数据存储在本地SQLite数据库中。你可以添加新书、按年份或作者查看阅读记录，生成年度报告，并支持从Goodreads导出CSV文件导入数据。Libro易于使用，功能强大，是阅读爱好者的理想工具。
阅读更多
Verus 是一款用于验证 Rust 代码正确性的静态分析工具。开发者编写代码规范，Verus 静态检查可执行 Rust 代码是否始终满足所有可能执行情况下的规范。它不依赖运行时检查，而是依靠强大的求解器来证明代码的正确性。Verus 目前支持 Rust 的子集（正在扩展中），在某些情况下，它允许开发者超越标准 Rust 类型系统，静态检查例如操作原始指针的代码的正确性。Verus 仍在积极开发中，功能可能存在问题或缺失，文档也不完整。
阅读更多
这篇文章列出了80年代在各种计算机系统（如BASIC-PLUS, EduSystem, DECsystem 10, HP等）上运行的众多BASIC游戏。从简单的数字游戏（如Acey-Ducey, Bagles）到复杂的策略游戏（如Gomoko, Civil War），以及模拟类游戏（如HMRABI, KING），种类繁多，展现了那个时代编程的创造力和想象力。这些游戏简单易懂，却又充满乐趣，勾起了许多老玩家的回忆。
阅读更多
Evertop是一款便携式PC，它模拟IBM XT，搭载80186处理器和1MB内存，可运行DOS、Minix等老旧操作系统以及Windows 3.0。凭借低功耗微控制器、电子墨水屏、双10000mAh电池和极端节能措施，它单次充电可运行数百甚至数千小时。内置太阳能电池板使其能够离网无限使用。它还集成了键盘、PS/2接口、多种图形和音频支持、串口、以太网、Wi-Fi和LoRa无线电等丰富的接口。通过内置太阳能电池板、DC输入和micro USB三种方式充电，并支持同时充电。此外，还推出了轻量化版本Evertop Min。
阅读更多
Open Codex是一款完全开源的命令行AI助手，受OpenAI Codex启发，支持phi-4-mini等本地语言模型。无需API密钥，所有操作都在本地执行。它支持自然语言到Shell命令的转换，提供单次模式和交互式模式（即将推出），并具有命令确认、剪贴板复制、彩色终端输出等功能。支持macOS、Linux和Windows。
阅读更多
gtk-llm-chat是一个使用GTK构建的简洁易用的图形界面，用于与大型语言模型（LLM）进行交互。它支持多个独立窗口的并发对话，集成了python-llm库，并能与各种LLM模型进行对话。该应用具有现代化的界面、实时响应流、Markdown渲染、对话管理、快捷键、片段支持以及小程序模式等功能。安装简单，只需使用pipx安装llm并运行llm install gtk-chat即可。
阅读更多
Nari Labs发布了名为Dia的16亿参数文本转语音模型，该模型能够直接从文本转录生成高度逼真的对话，并支持通过音频调节情绪和语气，甚至能生成诸如笑声、咳嗽等非语言交流。为了加速研究，该团队提供了预训练模型检查点和推理代码，模型权重托管在Hugging Face上。此外，还提供了一个演示页面，将Dia与ElevenLabs Studio和Sesame CSM-1B进行比较。Dia需要约10GB的VRAM才能运行，目前仅支持GPU运行，未来将添加CPU支持和量化版本以提高效率。该项目遵循Apache License 2.0许可，并明确禁止用于身份盗用、生成误导性内容以及任何非法或恶意活动。
阅读更多
本文快速概览了几个常用的C语言字符串处理函数，包括：`strlen()`用于获取字符串长度；`strcpy()`用于字符串复制；`strcat()`用于字符串拼接；`strncat()`用于安全地拼接指定长度的字符串；`strcmp()`用于字符串比较；`strcspn()`用于查找字符串中第一个不在指定字符集中的字符；`strerror()`用于获取错误码的描述字符串；`memchr()`用于在内存块中查找指定的值；`strrev()`（非标准）用于反转字符串。这些函数是C编程中处理字符串的基石，掌握它们对于编写高效的C代码至关重要。
阅读更多
Nerdlog 是一款快速、远程优先、多主机终端用户界面 (TUI) 日志查看器，它具有时间线直方图，并且无需中心服务器。它受到了 Graylog/Kibana 的启发，但去除了冗余功能。设置简单，几乎无需配置。Nerdlog 专注于高效地同时查询多个远程机器上的日志，按时间范围和模式过滤日志，并绘制时间线直方图以快速直观地了解情况。主要用例是从一个或多个远程主机读取系统日志（/var/log/messages 或 /var/log/syslog），即使在大型日志文件（例如 1GB 或更大）上也能高效运行。它还支持其他一些日志格式，并可以使用任何日志文件，但这是驱动实现的主要用例。Nerdlog 通过 SSH 连接到每个节点，并在后台保持空闲状态。日志分析在远程节点上完成，每次查询只下载少量数据。大部分数据在传输过程中使用 gzip 压缩，从而节省带宽。它支持 Vim 风格的键绑定和命令行界面，提供多种导航和操作方式。
阅读更多
本文介绍了一个对TikTok虚拟机（VM）进行逆向工程的项目。TikTok使用自定义虚拟机作为其混淆和安全层的一部分。该项目包含用于反混淆webmssdk.js（其中包含虚拟机）、将TikTok的虚拟机指令反编译成可读形式、注入脚本以用反混淆的VM注入器替换webmssdk.js以及生成可用于执行基于身份验证的请求（例如发布评论）的签名URL的工具。该项目克服了代码混淆的挑战，例如使用括号表示法和函数调用伪装，最终成功地反混淆并反编译了虚拟机，并能够生成用于身份验证请求的签名。
阅读更多
大型语言模型加载速度慢是开发者的痛点。本文介绍了一种PyTorch训练代码热插拔方案，通过后台进程保持模型常驻VRAM，从而实现秒级启动。即使脚本退出，模型也依然加载，下次运行即刻可用。该方案还支持远程调试和Dear ImGui UI集成，极大提升开发效率。只需替换`from_pretrained`调用，即可体验即时运行、轻松调试的开发体验。
阅读更多
本文探讨了利用大型语言模型（LLM）实现递归的新方法。作者通过设计一个不断更新自身状态的递归提示，让LLM生成一系列提示，最终逼近目标状态，类似于代码中的递归函数。文章以斐波那契数列为例，演示了如何通过递归提示实现计算，并讨论了LLM在处理递归过程中可能出现的错误，以及如何利用LLM已有的知识库来解决问题，例如，借鉴人类心算的方式，利用已知的代数规则和原子规则逐步化简问题。此外，文章还提到了ReAct和ACT-R等相关研究，以及如何处理LLM可能出现的错误结果。
阅读更多
Tini是一个极简的容器初始化工具，它能有效防止僵尸进程的产生，确保信号正确处理，从而提高容器的稳定性和可靠性。Tini在Docker 1.13及以上版本中已内置，只需添加`--init`参数即可启用。对于旧版本Docker或其他容器运行环境，可以手动安装Tini并配置为入口点。Tini还支持多种高级选项，例如子进程收割器、退出码重映射和信号转发，以满足各种复杂的容器使用场景。
阅读更多