BlackSheep是一个基于Python的快速异步WSGI Web框架，受到了Flask、ASP.NET Core和Yury Selivanov工作的启发。它提供CLI工具快速创建项目，支持自动绑定、依赖注入、OpenAPI文档生成以及多种身份验证和授权策略。BlackSheep兼容多种平台和运行时，并拥有丰富的功能，包括中间件、WebSocket、SSE、静态文件服务和与Jinja2的集成，非常适合构建高性能的Web应用。
阅读更多
GitHub Copilot 是一款AI编程助手，它能根据你的代码和自然语言提示，实时提供代码建议，帮助你更快更高效地编写代码。它支持多种编程语言和IDE，并提供免费和付费方案，满足不同用户的需求。Copilot 还具备强大的代码调试和安全漏洞修复功能，以及多文件编辑和跨平台支持。虽然Copilot 的训练数据来自公开代码库，但它不直接复制粘贴代码，而是通过概率推断生成代码建议，并提供可选的代码引用过滤器来降低版权风险。
阅读更多
Brisk是一个现代化的跨平台C++20 GUI框架，采用MVVM架构和响应式编程，并支持可扩展的GPU加速渲染。它为构建高性能、响应迅速的应用程序提供了灵活便捷的方式，尤其适用于图形密集型项目。Brisk支持多种图形后端（D3D11, D3D12, Vulkan, OpenGL, Metal, WebGPU），并具有声明式GUI、样式表、Unicode支持等特性。目前处于积极开发中，欢迎贡献代码。
阅读更多
ted是一个基于Go语言开发的命令行工具，它允许用户根据提供的图灵机规则编辑文件。该工具的灵感源于作者处理日志文件的需求，通过编写状态机来精确提取所需信息。ted支持多种操作，包括正则表达式匹配、sed命令执行、变量赋值、捕获和输出控制等，并提供了丰富的功能和选项，例如捕获多个行、使用正则表达式捕获组、以及文件头尾的移动等。
阅读更多
ImPlot3D是一个基于Dear ImGui的开源库，它为开发者提供了一种简单易用、高性能的3D绘图方式。无需依赖ImPlot，ImPlot3D支持多种3D绘图类型，包括线图、散点图、曲面图、网格图等，并具有交互式旋转、平移和缩放功能。开发者可以通过类似于Dear ImGui和ImPlot的直观API快速上手，自定义标记、线条、曲面和网格样式，并可选择使用内置颜色映射或自定义颜色映射。该库还提供了一个功能齐全的演示程序，方便用户学习和使用。
阅读更多
Ergo是一款用Go语言编写的现代IRC服务器，它易于设置和使用，集成了ircd、服务框架和跳板功能（集成帐户管理、历史记录存储和跳板功能）。它支持最新的IRCv3协议，并具有高度可定制性，可以通过可重新散列的YAML配置进行运行时重新加载。Ergo还集成了NickServ、ChanServ和HostServ等服务，支持TLS/SSL、SASL身份验证和LDAP，并具有高级安全和隐私功能。
阅读更多
ashafq发布了名为a5eq.lv2的开源五段均衡器LV2插件。该插件包含低频架、三个峰值滤波器和高频架，旨在帮助音频工程师进行精确的声音雕刻。它具有高精度滤波器系数、立体声处理和用户友好的界面，兼容任何支持LV2的宿主软件，例如Ardour和Audacity。用户可通过简单的命令行操作进行安装和使用，并可通过GitHub提交问题或贡献代码。
阅读更多
ad是一款新颖的文本编辑器，它结合了Vim和Kakoune的模态编辑接口以及Plan9的Acme的可扩展性方法。ad允许用户执行文本，并将其作为实验平台，用于探索各种文本编辑器功能的实现。目前，ad已足够稳定，并具备一定的功能，用户可以尝试使用，但文档较少，可能存在一些bug。ad的设计理念是融合Vim的模态编辑、Emacs的mini-buffer、以及Acme的编辑命令和可扩展性，旨在创建一个舒适的编辑环境，支持与外部工具和程序直接交互。
阅读更多
dLine是一款命令行工具，它直接在终端显示重要数据，以日历的形式呈现。它可以监控关键日期、通过API简化事件添加，并计算各种事件类型的时间跨度。dLine专为开发者设计，无需离开终端即可简化事件管理和日程导航。它具有动态视图、静态视图和事件计算器视图，并支持多种数据管理功能，包括添加、删除、查看和清理事件。dLine还支持自定义颜色方案和用户翻译，可以与Google Calendar集成。
阅读更多
SeleniumBase是一个强大的Python框架，用于Web自动化、测试和绕过机器人检测。它基于Selenium WebDriver，并集成了pytest等测试运行器，提供简洁的语法和丰富的功能，例如自动等待页面元素加载、生成测试报告和Dashboard、支持多种浏览器和操作系统等。SeleniumBase还提供多种模式，例如UC模式和CDP模式，以增强测试的隐蔽性和可靠性，并包含丰富的示例和文档，帮助用户快速上手。
阅读更多
FastVideo是一个开源框架，旨在加速大型视频扩散模型的推理和训练。它支持FastMochi和FastHunyuan等模型，能够将推理速度提升8倍。该框架利用知识蒸馏技术，并支持基于PCM的视频DiT模型的蒸馏、微调和推理。此外，FastVideo还具有可扩展的训练功能，支持FSDP、序列并行和选择性激活检查点，并能高效地利用内存进行微调。
阅读更多
Surfer Protocol是一个开源框架，旨在帮助用户导出并构建基于个人数据的应用程序。面对数据散落在各个平台的现状，Surfer Protocol提供了解决方案。它包含一个桌面应用程序，用于从各种应用和服务中导出数据，以及一个Python SDK，用于构建基于这些数据的应用程序。用户可以利用Surfer Protocol创建个性化AI模型、从大型科技公司手中夺回数据控制权，或留下数字遗产。
阅读更多
PipeGate是一个轻量级的、自托管的代理，使用FastAPI构建，旨在成为“穷人版的ngrok”。它允许你将本地服务器暴露到互联网，提供了一种简单的方法来创建从你的本地机器到外部世界的隧道。对于想要了解像ngrok这样的隧道服务底层工作原理或需要在其自身基础设施上托管的可定制替代方案的开发者来说，PipeGate是一个极好的工具。它具有自托管、唯一连接、可定制、轻量级和易于学习的特点。安装简单，只需使用git克隆或pip安装即可。
阅读更多
Bruin是一款强大的数据管道工具，它集数据摄取、SQL和Python数据转换以及数据质量检查于一体。它支持主流数据平台，可在本地机器、EC2实例或GitHub Actions上运行。Bruin具有数据摄取、SQL和Python转换、数据质量检查、Jinja模板、端到端验证和多环境支持等功能，通过简单的pipeline.yml文件配置即可构建高效的数据管道。
阅读更多
Langfuse是一个开源的LLM工程平台，致力于简化大型语言模型（LLM）的开发和部署。它提供LLM可观测性、指标、评估、提示管理、游乐场和数据集等功能，并与LlamaIndex、Langchain、OpenAI SDK、LiteLLM等工具集成。Langfuse帮助开发者监控LLM的性能，管理提示词，评估模型效果，最终提升LLM应用的开发效率。
阅读更多
微软开源了一个名为Multilspy的Python库，旨在简化围绕语言服务器构建应用程序的过程。Multilspy支持多种语言（Java、Rust、C#、Python），自动处理服务器二进制文件的下载和语言服务器的设置/拆卸，并提供简易API。它主要用于与语言服务器进行交互，获取静态分析结果，例如代码补全、符号定义和引用等，这在AI辅助代码生成（如Monitor-Guided Decoding）中非常有用。
阅读更多
小米官方正式推出小米智能家居Home Assistant集成组件，允许用户将小米IoT智能设备接入Home Assistant。该组件支持多种安装方式，包括Git克隆、HACS和手动安装。用户需使用小米账号登录，支持多用户登录和区域选择。组件支持大多数小米智能家居设备，但暂不支持蓝牙、红外和虚拟设备。控制方式包括云端控制和本地控制（需小米中央网关或具备中央网关功能的设备），并实现了MIoT-Spec-V2与Home Assistant实体的映射。组件还支持多语言和调试模式，保障用户隐私安全，但配置文件需妥善保存。
阅读更多
me_cleaner是一款开源Python脚本，旨在精简英特尔管理引擎（ME）固件，降低其与系统交互的能力，从而提升用户隐私和安全。英特尔ME固件自2006年后集成于所有英特尔主板，它具有访问系统内存和网络的权限，难以禁用或替换。me_cleaner通过修改ME固件，使其在正常运行时处于非活动状态，仅在启动时激活，从而有效减少其潜在的安全风险。该工具支持多种英特尔平台，但获取和刷写修改后的固件需要使用外部SPI编程器。对于不同版本的ME固件，精简效果有所不同，但都能显著减小固件体积，并可能导致一些次要问题，如启动时间延长或警告信息。
阅读更多
一个名为similar-cities的网站利用AI技术，通过比较城市道路网络的相似性来可视化城市间的联系。该网站使用一种基于“醉汉漫步”算法的独特方法，计算城市道路网络中随机路径的相似度，从而评估城市结构的相似性。数据来源于OpenStreetMap，包含约2500个城市。该项目开源，并提供详细的算法说明和代码，期待更多城市数据的加入以提升结果的准确性。
阅读更多
程序员Anvaka利用GitHub公开数据，创建了一个包含40万多个项目的交互式地图。该项目通过Jaccard相似度算法计算项目间的关联，并使用Leiden聚类算法将项目分组，最终呈现出一个直观的可视化效果。用户可以搜索项目，并探索项目间的联系，展现了GitHub项目生态的复杂性和丰富性。
阅读更多
Vercel 发布了 ƒun，一个本地 Serverless 函数开发运行时，允许开发者在本地环境模拟 AWS Lambda 的运行环境。ƒun 支持多种运行时环境，包括 Node.js 和 Python 等，开发者可以使用它快速测试和调试 Serverless 函数，无需部署到云端。虽然 ƒun 尽可能模拟真实的 Lambda 环境，但仍存在一些差异，例如进程沙盒和用户权限方面。
阅读更多
该项目展示了一个概念验证，说明WASM程序如何绕过node:wasi的预打开目录限制，访问外部文件。通常情况下，WASM程序只能访问预先指定的目录，但通过巧妙地利用符号链接替换文件，并在精确的时间点运行外部进程，可以突破这一限制。这并非node:wasi的实际安全漏洞，而是其在极端情况下可能存在的边缘情况。该项目强调了在使用node:wasi时，不应依赖其完全阻止恶意代码访问外部文件。
阅读更多
SVC16是一个极简的16位虚拟计算机，其设计目标是极致的简洁性。它没有CPU寄存器，所有操作都在一块内存中进行，指令集极其精简，没有花哨的功能，例如声音、可变屏幕大小等。开发者需要自行编写机器码和编译器，挑战在于用最简单的工具创造出令人惊叹的作品。该项目提供了一个模拟器，用户可自行编写程序并在模拟器中运行，甚至可以尝试编写游戏。这是一个适合学习计算机底层原理以及锻炼编程能力的绝佳项目。
阅读更多
GitHub上的llama.cpp项目最近合并了一个pull request，该请求增加了对Qwen2VL多模态大语言模型的支持。该模型结合了大型语言模型和视觉编码器，能够处理图像和文本。此次集成需要将模型的语言模型部分和视觉编码器分别转换为GGUF格式，并使用新增的命令行工具进行推理。未来工作计划包括支持更多后端，例如MPS和Vulkan。
阅读更多
Buzee是一款由Rust和Svelte开发的跨平台全文搜索应用程序，它能够快速搜索本地文件、文件夹、浏览器历史记录等，并支持OCR提取PDF和图片中的文本。作者耗时两年，克服了诸多技术挑战，最终完成了这个项目，并将其开源。Buzee采用Tauri框架提升性能，使用SQLite和Tantivy进行数据存储和索引，目前已支持多种文件类型，但仍有一些功能尚待完善。
阅读更多
Svader是一个用于创建GPU渲染Svelte组件的库，它利用WebGL和WebGPU片段着色器实现高性能图形渲染。开发者可以使用片段着色器编写程序，自定义像素颜色，并通过参数传递控制渲染效果。该库支持Svelte 4和Svelte 5，提供了WebGL和WebGPU两种渲染模式，并包含丰富的内置参数，例如分辨率、缩放比例和时间等。Svader还提供易于使用的组件，简化了GPU渲染的开发流程，即使在不支持WebGL或WebGPU的环境下，也能通过回退机制提供基本的渲染功能。
阅读更多
HTMX v2.0.4 版本更新日志涵盖了大量错误修复和改进。该版本主要关注提升稳定性和兼容性，包括修复嵌套Shadow DOM问题、改进`hx-boost`在表单中的行为、增强对Web Components和Shadow DOM的支持，以及更新多个扩展以提高性能和可靠性。此外，还对`htmx.ajax`函数进行了调整，并对`hx-trigger`事件处理机制进行优化。
阅读更多
Farebox 是一个使用 Rust 语言编写的快速 RAPTOR 实现的多模式路线规划项目，旨在为内存受限的机器提供服务。它基于 Valhalla 进行换乘和首末公里路线规划，支持多机构和时区感知路由。该项目的目标是作为 OpenTripPlanner 的补充，用于覆盖 OpenTripPlanner 实例未覆盖的区域。通过内存映射处理时刻表，力求实现单实例覆盖全球，并降低托管成本。未来计划支持 GTFS-RT，并考虑支持 rRAPTOR 路由选项，以实现跨多种出发时间的行程同时计算。
阅读更多
Luon是一种新型静态类型编程语言，其语法类似于Oberon系列语言，并融合了Lua的特性，目标平台为LuaJIT虚拟机。它可以被视为Lua的静态类型版本，允许通过外部声明调用Lua和C库函数。Luon解决了Lua在编译时错误检查、代码结构等方面的不足，并提供了一个集成的编译器和IDE，支持过程式、泛型和面向对象编程。项目包含丰富的示例和测试用例，并且持续更新中。
阅读更多
微软开源了一个名为MarkItDown的Python工具，可以将各种文件（包括PDF、PowerPoint、Word、Excel、图片、音频和HTML等）转换成Markdown格式。该工具API简洁易用，支持多种文件类型，并包含OCR和语音转录功能，方便用户进行文本分析或索引。项目欢迎贡献，并遵循微软开源行为准则。
阅读更多