该项目提供了一种通过软件控制ThinkPad X230笔记本电脑摄像头LED的方法，无需物理访问即可实现。通过USB重刷摄像头固件，添加任意控制LED的功能。该方法也可能适用于其他笔记本电脑，因为通过USB连接摄像头并允许重刷固件是常见的模式。该工具通过修改Ricoh R5U8710 USB摄像头控制器的SROM固件来实现，并提供了一些实用工具，例如读取和写入SROM固件的`srom.py`，以及控制LED开关的`led.py`。需要注意的是，重刷固件有风险，可能导致摄像头损坏。
阅读更多
Voice-Pro是一款基于Whisper引擎的Gradio网页用户界面，用于音频处理。它支持语音转换、零样本语音克隆、YouTube下载、语音分离、文本转语音和多语言翻译等功能，适用于内容创作者和开发者。该工具提供一键安装，支持实时和批量模式转录和翻译，并提供多种语音克隆和文本转语音引擎。
阅读更多
TeaTime是一个完全静态的分布式图书馆系统，由IPFS、SQLite和GitHub提供支持。数据库是带有 teatime-database 标签的 GitHub 仓库，发布在 GitHub Pages 上。每个仓库包含一个指向 SQLite 数据库的 config.json 文件。TeaTime 通过 sql.js-httpvfs 查询 SQLite 数据库。数据库中的每一行都是图书馆中的一项，文件哈希列用于从 IPFS 获取项目。前端实例是带有 teatime-instance 标签的 GitHub 仓库。由于文件是从 IPFS 提供的，这种分布式架构有助于 TeaTime 的弹性。
阅读更多
CoralRing是一个基于共享内存的Java进程间通信(IPC)的超低延迟、无锁、无垃圾、批量并发环形队列。它使用内存映射文件，通过volatile操作而非锁来实现内存屏障，以尽可能快地发送消息。CoralRing支持阻塞和非阻塞模式，以及广播和多播模式。非阻塞模式下，消费者落后过多会断开连接，可通过容错机制或校验和来解决数据损坏问题。CoralRing还可用于持久化消息，通过分配大的内存映射文件避免环形队列覆盖。
阅读更多
该项目旨在生成具有特定视觉哈希模式的SSH密钥。OpenSSH 5.1引入了密钥的可视化功能，该项目利用此功能，通过不断生成密钥并进行可视化比对，尝试找到符合用户自定义图案的密钥。用户可以根据自己的审美需求，绘制期望的密钥可视化图案，然后运行程序进行匹配。
阅读更多
FQL 为 Foundation DB 提供了一种查询语言和替代客户端 API。该项目旨在提供 FDB 查询语言、键值模式的文本描述以及与查询语言结构等效的 Go API。它简化了 FoundationDB API 的使用，可以优雅地处理多事务范围读取和瞬态错误，并提供了一个探索、导入/导出 FDB 数据子集的环境。FQL 支持在 Docker 环境中构建、测试和运行，并提供 Docker 镜像用于执行查询。查询语言支持多种基元类型、目录、元组和键值操作，可以执行设置、清除、读取单个键、读取键范围和列出目录路径等操作。
阅读更多
jsontr.ee是一个轻量级的JavaScript库，可以将JSON数据转换为美观的交互式树状图。它使用SVG渲染，支持数组和嵌套对象，可以清晰直观地显示复杂数据结构。主要功能包括自动生成树状图、动态定位节点避免重叠、支持数组和嵌套对象、以及可自定义样式的交互式SVG渲染。该库轻量且易于集成到任何Web项目中，适用于调试JSON结构、可视化API响应和表示层次结构数据。
阅读更多
该Wii自制程序利用Palapeli的漏洞在Starlet协处理器上执行ARM代码，并将其设置为Jazelle模式以原生运行JVM字节码。程序包含一个简单的字节码示例，执行后会打印堆栈状态和局部变量。需要注意的是，Jazelle原生支持的指令有限，许多指令需要ARM代码处理，目前项目只实现了ireturn指令，其他指令的处理程序占位符位于src/arm/instr_handlers.s。
阅读更多
jekyll-sqlite 是一个 Jekyll 插件，允许用户使用 SQLite 数据库作为数据源，方便地从数据库创建 API 和网站。它支持站点级查询、页面级查询和预处理查询，可以将现有数据作为参数。该插件配置灵活，可以定义数据源、数据库文件和查询语句，并支持参数绑定。此外，它与 datapage_gen 插件配合使用，可以根据数据库内容自动生成页面。
阅读更多
Rill 是一个 Go 工具包，它为 Go 带来了可组合的并发性，使构建由简单、可重用部分组成的并发程序更容易。它减少了样板代码，同时保留了 Go 自然的基于通道的模型。Rill 的目标是使常见任务更容易，使并发代码可组合且简洁，集中错误处理，简化流处理，提供高级任务的解决方案，支持自定义扩展，并保持轻量级。它提供了一系列功能，包括批量处理、有序扇入、映射归约、流拆分、合并等。Rill 使用标准的 Go 通道，可以轻松地编写与库兼容的自定义函数。
阅读更多
GitHub 宣布弃用公开路线图项目板上一些过时的议题，以更好地与其当前产品方向保持一致，并建立与用户的信任。这些被弃用的议题已停滞多年，不再代表 GitHub 的产品方向。GitHub 将更新路线图，添加新功能和计划，并承诺定期更新，以确保路线图作为 GitHub 正在进行和即将推出的功能的可靠信息来源。此举措旨在提供更准确、可操作的见解，并使路线图成为用户可以定期查看以获取准确和相关详细信息的可靠资源。
阅读更多
Lunatic Fringe最初是After Dark屏保程序中的一个游戏，因其独特的魅力而备受90年代玩家喜爱。由于该游戏只能在经典的OS 9及以下系统运行，并且Sealie Software的OS X兼容版本也已停止支持，Lunatic Fringe面临着消失的风险。该GitHub项目旨在使用Web技术重制Lunatic Fringe，使其能够在任何现代Web浏览器上运行，并在不同平台和操作系统上都可玩。项目包含原始游戏的代码库，并提供了使用VS Code或Python搭建本地服务器运行游戏的方法。
阅读更多
lla是用Rust编写的高性能、可扩展的ls命令替代品，具有多种功能，包括高效的文件列表、多种视图模式、高级排序和过滤、可定制的递归、可扩展的插件系统（例如Git集成、文件分类、关键字搜索、文件哈希显示等）、以及颜色编码输出等。它可以通过crates.io或NetBSD的pkgin安装。用户可以通过配置文件自定义默认排序、格式、启用的插件和递归深度等。
阅读更多
SmolLM2是一系列紧凑型语言模型，具有135M、360M和1.7B参数三种大小，可在设备上运行。HuggingFace发布了功能最强大的模型SmolLM2-1.7B-Instruct，它可以通过transformers、trl或使用llama.cpp、MLX和transformers.js等工具的量化版本用作助手。还提供了较小的模型SmolLM2-360M和SmolLM2-135M，适用于设备上使用。该项目包含预训练、微调、评估和合成数据管道的脚本和配置，并使用了SmolTalk数据集进行指令微调。
阅读更多
Open Interpreter 允许大型语言模型在本地运行代码（Python、Javascript、Shell 等）。用户可以通过类似 ChatGPT 的终端界面与 Open Interpreter 交互，从而以自然语言控制计算机执行各种任务，例如创建和编辑文件、控制浏览器进行研究、分析数据集等。相比于 ChatGPT 的代码解释器，Open Interpreter 拥有本地运行的优势，可以访问互联网、不受时间或文件大小限制，并能利用任何软件包或库。
阅读更多
Bocker是一个用大约100行Bash脚本实现的简化版Docker。它实现了Docker的核心功能，例如拉取镜像、运行容器、查看日志、提交更改等。Bocker依赖于btrfs文件系统、网络桥接和cgroups等技术。虽然功能有限，但提供了一个学习Docker底层原理的良好途径。需要注意的是，Bocker需要root权限运行，并且可能对系统环境造成影响，建议在虚拟机中使用。
阅读更多
Stack Analyser是一个开源库，可以从代码库中提取500多种技术信息，包括依赖项、语言、基础设施、SaaS、数据库等。它支持多种编程语言和技术栈，例如Docker、NodeJS、TypeScript、PHP、Github Actions等，并通过读取package.json、docker-compose.yml、go.mod等文件来识别技术。该库还可以确定文件夹和服务之间的关系，并输出依赖项、服务及其之间链接的完整列表。Stack Analyser提供CLI和编程接口，并可用于GitHub Actions。
阅读更多
RGFW是一个跨平台、轻量级、单头文件的窗口抽象库，旨在简化图形程序和库的创建。它支持多种图形后端，例如OpenGL、Vulkan、DirectX和Metal，以及多种窗口后端，包括XLib、Cocoa、WinAPI和WebAssembly。RGFW提供事件系统和回调两种使用方式，并已成功在Linux、Windows、MacOS和HTML5等平台上测试。该库使用Zlib/libPNG许可证，可以免费用于商业和非商业用途。
阅读更多
“天空叛逆者”是一款P2P终端游戏，背景设定在2101年的太空，玩家将扮演太空海盗，通过篮球比赛争夺生存资源。该游戏由Rust语言开发，可在Linux、MacOS和Windows系统上运行，并提供Arch Linux发行版软件包。玩家可以通过SSH连接至游戏服务器或下载最新版本进行本地游戏。游戏目前处于开发阶段，版本更新频繁，存档可能不兼容。
阅读更多
lean-smt项目受SMTCoq启发，旨在提供可将Lean目标转换为SMT解算器的策略。该项目目前处于测试阶段，支持未解释函数和线性整数/实数算术（带量词）理论，位向量理论的支持处于实验阶段。lean-smt依赖于lean-cvc5 FFI，目前仅支持Linux (x86_64) 和 macOS (AArch64)。主要策略`smt`将当前目标转换为SMT查询，发送给cvc5，并在解算器返回unsat时在Lean中重放cvc5的证明。
阅读更多
Broadcastarr 是一款服务，允许用户通过网页抓取媒体内容并进行串流播放。它使用 AgendaTS 服务进行任务调度，例如发布类别、索引类别、抓取串流、发布群组等。该服务还包含一个 Discord 机器人，用于处理交互和命令，例如添加类别、设置配置等。Broadcastarr 支持 Jellyfin 作为播放器，以及 Discord 和 Matrix 作为发布平台。它具有可扩展性，并可以通过 Docker 镜像部署。此外，它还包含一个 Wireguard 客户端，允许工作节点通过 VPN 抓取网页内容。
阅读更多
该项目利用稀疏自编码器 (SAE) 实现了 Llama 3 的可解释性，提供了一个完整的端到端流程，包括数据捕获、SAE 训练、特征解释和验证。项目使用纯 PyTorch 编写，具有最小的依赖性，并针对 Llama 3.2-3B 模型进行了测试。该项目捕获残差激活作为训练数据，并使用定制的 OpenWebText 数据集变体。SAE 训练过程中使用了辅助损失和梯度投影等技术来防止和恢复失效的潜在特征，并通过 Weights & Biases 进行日志记录和可视化。此外，项目还提供了特征提取和语义分析工具，并通过文本和聊天补全任务验证 SAE 对模型行为的影响。
阅读更多
Autoflow 是一款基于图 RAG 和对话的知识库工具，构建于 TiDB Serverless 向量存储之上。它具有类似 Perplexity 的对话式搜索页面，内置网站爬虫，可抓取官方和文档网站，并支持编辑知识图谱。用户可以通过嵌入 JavaScript 代码片段，将对话搜索窗口集成到自己的网站。Autoflow 使用 TiDB 存储聊天历史、向量、JSON 和分析数据，采用 LlamaIndex 作为 RAG 框架，DSPy 作为基础模型编程框架，以及 Next.js 和 shadcn/ui 分别作为前端框架和设计系统。
阅读更多
OpenZFS 是一个最初为 Solaris 开发，现在由 OpenZFS 社区维护的高级文件系统和卷管理器。该 GitHub 仓库包含在 Linux 和 FreeBSD 上运行 OpenZFS 的代码。Windows 端口仍处于测试阶段，虽然 ZFS 数据应该可以安全地运行，但仍可能存在崩溃和错误。建议先用测试数据进行尝试，并在遇到问题时提交 GitHub 错误报告。仓库中包含安装说明、贡献指南和行为准则等文档。OpenZFS 基于 CDDL 许可证发布。
阅读更多
Yami 是一款使用 Python 构建的轻量级开源音乐播放器，界面简洁易用。它支持播放本地音乐文件，并可通过 Spotdl 下载在线音乐。Yami 提供了基本的播放控制功能，如暂停/播放、下一首、上一首以及选择文件夹等。用户可以通过 pip 或 GitHub 获取 Yami。
阅读更多
DarkFlare是一款将TCP流量伪装成HTTPS请求的工具，允许流量绕过防火墙限制。它包含客户端和服务器端两部分：客户端将TCP数据编码成HTTPS请求并发送到Cloudflare保护的域名，服务器端解码请求并将数据转发到本地服务（如SSH）。DarkFlare利用Cloudflare的加密基础设施，具有隐蔽性和可扩展性，可用于访问内部资源或绕过网络限制。
阅读更多
本文档介绍如何使用树莓派扩展MontyHome BLE设备的功能，该设备原本用于堆肥监测，可收集温度、湿度等环境数据。指南提供了三个项目示例：基于温度控制LED灯、在OLED屏幕上显示温湿度数据以及通过IFTTT发送温度警报。指南包含硬件和软件需求、BLE命令说明、代码运行步骤以及自定义方法等，适合对蓝牙低功耗设备、物联网应用或环境监测感兴趣的用户。
阅读更多
OpenNext 是一个开源的 Next.js 适配器，用于将 Next.js 构建输出转换为可在各种环境中部署的包。它原生支持 AWS Lambda 和经典 Node.js 服务器，旨在支持所有 Next.js 14 功能，包括路由、API 路由、动态路由、静态站点生成 (SSG)、服务器端渲染 (SSR)、增量静态再生 (ISR)、中间件、服务器操作、图像优化和 NextAuth.js 等。OpenNext 还提供了预发布版本和调试模式，方便开发者进行测试和调试。
阅读更多
Unbug是一个Rust库，提供宏来在调试过程中触发断点。它支持类似断言的宏，以及在特定条件下触发断点或记录错误信息的宏。该库默认禁用，需要启用`enable`特性和`core_intrinsics`特性才能在调试构建中激活断点功能。使用示例包括`unbug::breakpoint!()`, `unbug::ensure!()`, `unbug::ensure_always!()`, `unbug::fail!()` 和 `unbug::fail_always!()` 等宏。
阅读更多
recur是一个命令行工具，它反复运行单个命令，直到成功或没有剩余尝试次数。它实现了可选的指数退避和可配置的抖动，并允许用户使用Starlark编写成功条件。recur支持使用类似Python的Starlark语言定义成功条件，并提供了一些内置变量（如attempt、code、time）和自定义函数（如exit()）。该工具还提供了丰富的命令行选项，例如控制尝试次数、退避基数、延迟、超时等。
阅读更多