Tilck是一个旨在与Linux二进制兼容的教育性单体内核，目前运行在i686和RISCV64架构上。其小巧简单的设计使其成为学习内核编程的理想平台，同时允许用户比较相同的用户态代码在Linux内核和Tilck上的运行情况。Tilck无需自定义应用程序，可以直接运行BusyBox等主流Linux程序。未来，Tilck可能广泛应用于需要确定性和超低延迟的嵌入式系统，填补嵌入式Linux和FreeRTOS等实时操作系统之间的空白。
阅读更多
Cogency是一个多步骤推理框架，极大地简化了AI智能体的构建。它能够自动检测各种大型语言模型（LLM）提供商（如OpenAI、Anthropic、Google等），智能地路由工具，并以流式方式呈现透明的推理过程。只需三行代码，即可创建一个功能完善的AI智能体，并支持自定义工具扩展。其内置工具包括计算器、天气查询、时区查询和网页搜索等，并提供详细的执行跟踪，方便开发者调试和理解AI智能体的运行过程。
阅读更多
这项研究对Memcache、Redis、Valkey、Dragonfly和Garnet五种分布式缓存进行了全面的性能基准测试，测试指标包括吞吐量、延迟和CPU周期。测试环境为AWS c8g.8xlarge实例，使用memtier_benchmark工具，并考虑了不同的管道数量（1, 10, 25, 50）。结果显示，不同缓存的性能在不同指标上存在差异，这项测试将有助于开发者选择最适合其应用场景的缓存方案。
阅读更多
aiosqlitepool是一个高性能的异步SQLite连接池，通过复用数据库连接避免连接开销，显著提升查询速度。它与aiosqlite等异步驱动配合使用，并非替代品。测试表明，在高并发场景下，aiosqlitepool可将查询速度提升72%，平均延迟降低41%。尤其对于高吞吐量应用或追求低延迟的场景，aiosqlitepool能有效提升性能，解决因写操作冲突导致的SQLITE_BUSY错误。
阅读更多
Voil 是一款 VS Code 扩展，它允许你像编辑文本一样管理文件系统。告别鼠标点击和繁琐的快捷键，直接在编辑器中创建、重命名、移动文件和目录，就像在文本编辑器中编辑文本一样高效。Voil 使用隐藏的 ID 来追踪文件，并提供丰富的命令和自定义选项，例如递归列表、排序、过滤、运行自定义 shell 命令等。支持 Vim 扩展，并提供详细的配置说明和示例。
阅读更多
CallFS是一个超轻量级、高性能的分布式REST API文件系统，可在本地存储、Amazon S3和分布式点对点网络等多种后端上提供精确的Linux文件系统语义。它旨在实现速度、可靠性和水平可扩展性。CallFS采用模块化设计，包括API服务器、核心引擎、多种存储后端（本地文件系统、S3等）、元数据存储（PostgreSQL）、分布式锁管理器（Redis）和链接管理器等组件。它支持丰富的文件和目录操作、安全的单次使用下载链接以及全面的安全性和可观察性功能。
阅读更多
本文列举了GitHub代码审查中应用建议时可能遇到的多种限制，例如代码无改动、Pull Request关闭、仅查看部分改动、单行只能应用一个建议、应用于已删除行、建议已被应用或标记为已解决、来自待审阅的建议、多行注释以及Pull Request排队合并等情况。这些限制旨在维护代码审查的完整性和效率。
阅读更多
厌倦了沉迷于时间杀手应用？这个轻量级的Bash脚本`ban`可以帮你解决这个问题！只需几行命令，你就能禁止自己使用指定的命令直到特定日期，并可添加原因和友好的提醒。安装方便，使用简单，还能自定义禁用期限（默认为40天）。快来试试，重拾专注力！
阅读更多
Arch是一个模块化的边缘和AI网关代理服务器，旨在简化Agent应用的构建。它处理诸如应用防护、模糊用户输入的澄清、提示路由以及统一访问任何LLM等底层工作，从而帮助开发者更快地构建和发布Agent应用。Arch支持多种语言和框架，并提供路由、防护、可观测性等核心功能，基于Envoy构建，具有高性能和可扩展性。 一个简易的货币兑换Agent示例展示了Arch的易用性，开发者可以使用curl命令与之交互。Arch还支持基于模型和基于偏好的两种LLM路由策略，并提供详细的日志和可观测性信息。
阅读更多
一个开源项目Raycast Linux，旨在将macOS上的Raycast启动器移植到Linux。它支持扩展命令面板、扩展支持（兼容部分Raycast扩展）、强大的计算器、剪贴板历史记录、代码片段管理以及AI集成（通过OpenRouter）。虽然力求兼容大部分Raycast扩展，但由于macOS和Linux系统的差异，部分扩展可能无法正常工作。该项目使用Rust、Node.js、Tauri和Swift开发，提供AppImage包，并支持从源码构建。
阅读更多
APKLab 是一款强大的 VS Code 扩展，将 Quark-Engine、Apktool、Jadx 等开源工具集成到一起，为 Android 逆向工程提供了一站式解决方案。它支持 APK 资源解码、反汇编、反编译，以及恶意软件分析报告生成、HTTPS 检查等功能，极大提高了逆向效率。APKLab 还支持自定义密钥库签名、项目初始化为 Git 仓库等高级功能，并兼容 Linux、Windows 和 macOS 系统。
阅读更多
OpenCut是一个免费开源的视频编辑器，支持网页、桌面和移动端。它强调用户隐私，所有视频都保存在本地设备上。虽然其基础功能目前都处于付费墙后，但其易用性已得到验证。OpenCut采用时间轴编辑，支持多轨、实时预览，且无水印或订阅限制。项目采用Next.js开发，包含前端组件、自定义React钩子、实用程序和API逻辑、状态管理以及TypeScript类型定义等。项目还提供详细的安装和开发指南，欢迎贡献代码。
阅读更多
TorchLeet是一个涵盖PyTorch基础到高级应用的练习题库，分为PyTorch基础练习和大型语言模型（LLM）两个部分。基础部分包含线性回归、自定义数据集、卷积神经网络等练习，难度递进，适合初学者到进阶学习者。LLM部分则专注于从零开始实现LLM，例如实现注意力机制、词嵌入等，挑战性更高。每个题目都提供不完整的代码和解答，方便用户学习和实践。
阅读更多
GhidrAssistMCP是一个强大的Ghidra扩展程序，它提供了一个MCP（模型上下文协议）服务器，使AI助手和其他工具能够通过标准化的API与Ghidra的逆向工程功能进行交互。该扩展程序集成了31个内置工具，涵盖函数、数据、交叉引用等，并具有可配置的UI、实时日志记录和动态工具管理等功能。它允许外部AI助手、自动化分析工具和自定义脚本与Ghidra无缝交互，极大地提升了逆向工程效率。
阅读更多
pattrns是一个实验性的命令式音乐序列生成引擎，允许你使用Rust库（静态编译）或Lua脚本引擎（动态解释）编程生成音乐序列，非常适合现场编码音乐。它采用独特的节奏、门控和发射器三阶段架构，将节奏和音调部分分离，方便灵活修改和组合。此外，它还支持使用Tidal Cycles迷你记谱法创建音乐事件。目前pattrns只生成原始音乐事件，不生成音频，需要配合支持pattrns的应用程序使用。
阅读更多
Aeron是一个高性能、低延迟的消息传输系统，支持UDP单播、多播和IPC。它提供Java、C和C++客户端，并支持.NET客户端。Aeron具有极高的吞吐量和可预测的低延迟，并集成了Simple Binary Encoding (SBE)以优化消息编码和解码性能。此外，Aeron还提供Aeron Archive用于持久化消息存储和Aeron Cluster用于构建容错服务。Adaptive Financial Consulting公司拥有和运营Aeron，并提供相关的培训、咨询和增值服务，例如内核绕过和高速加密。
阅读更多
Chrome最近添加了几个新的HTTP头部，其中`x-browser-validation`尤为神秘。本文通过逆向工程Chrome浏览器代码，揭秘了该头部的工作原理：它将一个硬编码的平台特定API密钥与用户的完整User-Agent字符串连接，然后使用SHA-1进行哈希运算，最后进行Base64编码。此头部用于验证用户代理的完整性，防止用户代理字符串欺骗等行为。文章详细分析了Chrome源码中相关的函数，并给出了不同平台的默认API密钥。
阅读更多
Moonshot AI发布了其最新的语言模型Kimi K2，这是一个拥有320亿激活参数和1万亿总参数的混合专家（MoE）模型。Kimi K2使用Muon优化器进行训练，在知识、推理和编码任务上表现出色，并针对自主能力进行了优化。它提供两个版本：Kimi-K2-Base，适合研究人员微调；Kimi-K2-Instruct，是一个即插即用的指令跟随模型，具有强大的工具调用能力，可以自主决定何时以及如何调用工具，例如天气查询工具。该模型已开源，并提供API访问。
阅读更多
一位刚毕业的工程师为了解决Java WebSocket服务器的性能问题，转向C++并使用uWebSockets库开发了一个名为BinaryRPC的高性能RPC框架。BinaryRPC借鉴了Node.js和Express.js的理念，拥有现代化的中间件和会话管理机制，并支持多种QoS等级，确保消息传递的可靠性。该框架已开源，并提供了详细的文档和示例，方便开发者使用。
阅读更多
一个名为`dict-unpacking-at-home`的Python库提供了字典解包功能，允许你像这样直接解包字典：`{greeting, thing} = dct`。虽然很酷炫，但作者表示这个库并非关键库，并且当前版本会破坏堆栈跟踪中的行号，一个修复分支已存在，但代价是... 每月近百万次下载量，累计下载超过3000万次，这说明很多人都在用这个看似不靠谱的库。
阅读更多
一位父亲为五岁的孩子打造了一个简单的Sonos Play:1音箱控制系统，使用M5Stack CardPuter v1.1 (ESP32S3)作为控制器，Go语言作为后台逻辑。孩子可以通过按下按钮来播放或重启他喜欢的歌单，系统以绿色指示灯提示操作状态。这是一个简洁易用的亲子互动科技小项目，体现了便捷性和趣味性。
阅读更多
Cactus是一个支持Flutter和React Native的跨平台框架，允许开发者在本地应用中部署LLM、VLM和TTS模型。它兼容Hugging Face上的各种GGUF模型，例如Qwen、Gemma和Llama，并支持从FP32到2位量化模型的多种精度。Cactus还提供MCP工具调用，实现AI的高效性和实用性，例如设置提醒和回复消息。此外，它支持云端模型回退，并提供Jinja2支持的聊天模板和token流。该框架已提供Flutter和React Native的示例代码和C++后端，并附带性能测试数据。
阅读更多
diffsitter是一个用于比较代码差异的工具，它通过分析代码的抽象语法树(AST)来忽略格式差异，从而生成语义上有意义的差异结果。它支持多种编程语言，并提供丰富的功能，例如配置节点过滤、终端友好格式化、详细日志记录等。diffsitter 可以通过多种方式安装，包括从源码构建、使用预编译二进制文件以及通过包管理器安装。
阅读更多
Pangolin是一个自托管的隧道反向代理服务器，具有身份和访问控制功能，旨在安全地公开分布式网络上的私有资源。它作为一个中心枢纽，通过加密隧道连接隔离的网络（即使是在限制性防火墙之后），无需打开端口即可轻松访问远程服务。它支持WireGuard，提供身份和访问管理，包括SSO、TOTP、角色访问控制等，并具有灵活的部署方式和强大的功能扩展性，例如与Traefik插件集成。适用于各种场景，例如绕过端口限制、部署业务应用和管理物联网网络。
阅读更多
厌倦了终端里繁琐的cd和ls命令？cmdk为你带来革命性的改变！这个工具让你只需按下⌘-k，即可快速访问文件系统中的任何文件或目录，并支持预览功能。它整合了fzf，支持模糊搜索，并能根据文件类型选择合适的打开方式。安装简单，只需几行命令即可体验到如同Notion或Slack中⌘-k般便捷的访问体验。
阅读更多
Petrichor是一款为macOS打造的离线音乐播放器，它具备你期望的所有功能：组织良好的音乐库浏览、交互式播放列表和播放队列管理、文件夹视图浏览、侧边栏收藏夹快速访问、便捷的导航功能、原生macOS集成（菜单栏和Dock控制，支持深色模式）、强大的搜索功能以及智能播放列表等。开发者因怀念Swinsian，并希望学习Swift和macOS应用开发而创建了它，它使用Swift和SwiftUI构建，并使用SQLite数据库管理音乐文件信息。
阅读更多
这是一个用于搜索和下载 Anna's Archive 中文档的 MCP 服务器。它支持搜索符合指定条件的文档并下载先前搜索结果中的特定文档。该软件声明其不认可未经授权获取版权内容的行为，并应仅被视为实用程序。用户需尊重作者的知识产权。使用该服务器需要 API 密钥 (ANNAS_SECRET_KEY) 和下载路径 (ANNAS_DOWNLOAD_PATH) 两个环境变量。
阅读更多
Flopper Ziro是一个基于Arduino IDE的Flipper Zero克隆项目，它廉价、易于DIY，并完全开源。虽然并非专业设备，但它具备一些Flipper Zero的核心功能，例如RubberDucky、RFID/NFC（开发中）、红外和射频功能。用户可以通过Arduino IDE进行编程，并可从SD卡保存/加载数据。项目目前仍在开发中，计划改进SD卡功能、完善射频扫描和发送功能，以及支持更多RFID/NFC功能。
阅读更多
Biomni 是一款能够自主执行各种生物医学研究任务的通用型 AI 代理。它结合了先进的大型语言模型 (LLM) 推理、检索增强型规划和基于代码的执行，帮助科学家们显著提高研究效率并生成可检验的假设。该项目目前开放源码，并呼吁社区贡献新的工具、数据集、软件、基准和教程等，共同构建 Biomni-E2，一个更强大的下一代环境。 贡献者将有机会在顶级期刊或会议上发表论文。
阅读更多
RN Maps Clustering是一个高性能、类型安全的React Native地图聚类库，基于supercluster构建。它提供简洁的声明式API，轻松为react-native-maps组件添加高效美观的标记聚类功能。支持自定义聚类渲染、点击事件处理，并具有自动分散标记、高性能等特性，极大提升了开发效率。
阅读更多