Emerge工具开源了一个Android和iOS示例项目，演示了如何使用其产品套件进行大小分析、快照测试、死代码检测和性能测试。该项目已将应用发布到App Store和Google Play，并提供详细的文档和Gradle/fastlane配置示例，方便开发者学习和使用Emerge。
阅读更多
Pantograph 是一款革命性的结构化代码编辑器，它直接操作类型化的语法树，而不是像传统编辑器那样先解析文本再进行类型检查。通过引入树选择和“拉链编辑”的概念，Pantograph 简化了对现有程序的编辑，使程序员可以更轻松地进行复杂的代码修改，同时保持程序的类型安全。它巧妙地处理类型差异，并允许程序中存在一些错误，方便用户逐步调试。Pantograph 的设计具有语言通用性，开发者可以基于其框架定义新的编辑器。
阅读更多
这个项目尝试在Three.js中复现类似虚幻引擎5 Nanite的动态LOD技术。它首先将模型分割成网格单元（meshlets），然后将相邻单元分组合并，再利用meshoptimizer进行简化，最终将模型分成多个不同精细度的版本。目前该项目还处于早期阶段，后续计划改进LOD和DAG切割，并进行GPU流几何处理。这项工作参考了Nanite、多重分辨率结构、批量多三角剖分等相关技术。
阅读更多
TRRE 是一种实验性的正则表达式扩展，它引入了一种更直观的方式来进行文本编辑和模式匹配。不同于传统的正则表达式，TRRE 使用 `:` 符号定义转换规则，使得文本替换、插入和删除操作更加简洁。它提供了一个类似 `grep` 的命令行工具，可以高效地处理各种文本转换任务，例如替换单词、插入字符、删除字符等，甚至可以实现简单的密码加密和解密。虽然目前仍处于原型阶段，但 TRRE 展示了其在文本处理方面的巨大潜力，特别是对于复杂的文本转换任务，其性能甚至超越了 `sed`。
阅读更多
R1-computer-use项目旨在训练一个AI智能体，使其能够像人类一样使用电脑，包括文件系统、网页浏览器和命令行等。该项目借鉴了DeepSeek-R1的强化学习技术，但不同于传统方法依赖硬编码验证器，它使用神经奖励模型来评估智能体的行为是否正确和有效。训练过程包含多个阶段，从专家演示到基于奖励模型的策略优化和微调，最终目标是创建一个安全可靠、能够完成复杂任务的AI智能体。
阅读更多
`explore_heap`是一个通过`LD_PRELOAD`加载的glibc堆调试工具，它允许用户交互式地检查和操作程序的堆内存。通过安装`libheap_explorer.so`并使用SIGINT信号(Ctrl+C)中断程序，用户可以进入一个REPL环境，执行分配、释放内存块，打印空闲链表、tcache、fastbin和bin列表等操作，从而帮助开发者调试内存相关的错误。目前该工具已在Arch Linux的glibc 2.41+版本上测试通过，其他现代glibc版本需要调整部分常量。
阅读更多
Gordon Kamer开发了一个强大的网页抓取API，作为AI平台Abbey的支撑。该API可在本地运行，只需提供URL即可获取网站数据和截图。它基于Playwright，使用Docker容器，支持JavaScript执行，并具备多种安全特性，如内存限制和隔离进程。API采用多部分响应，返回JSON数据、网页内容和最多5张截图。通过API Key进行访问控制，支持自定义内存分配和截图参数。
阅读更多
一个名为`sqlite-page-explorer`的小巧GUI应用，使用Redbean构建，允许你以SQLite数据库的页面方式逐页浏览数据。它以单一可执行文件形式提供，支持Windows、Linux、macOS等多种系统，并能让你直观地了解数据库索引、数据存储方式，以及B树结构等底层细节。虽然可能存在病毒警告，但该项目值得信赖，对于数据库开发者和学习者来说是个不错的工具。
阅读更多
OpenLDK是一个用Common Lisp编写的Java即时编译器和运行时环境。它通过将Java字节码增量转换为Lisp，然后编译成原生机器码来执行，从而桥接了Java和Common Lisp之间的差距。这种独特的方法允许Java类无缝映射到Common Lisp对象系统(CLOS)类，从而实现Java和Common Lisp代码库之间的轻松集成。虽然性能并非其主要目标，但OpenLDK为在Lisp工作流程中集成Java库提供了一种实用方案。目前，它主要支持Linux系统和SBCL，并且仍在开发中，许多功能尚未实现，例如对Java 8之后版本的类文件的支持以及字节码验证。
阅读更多
depthviz是一款开源工具，可以将你的潜水日志（支持Apnealizer、Garmin、Suunto等多种设备）转换成流畅的深度叠加视频。它不仅支持Windows、macOS和Linux系统，还提供丰富的自定义选项，例如字体、颜色、小数位数等。你可以轻松地将生成的视频与CapCut、Premiere Pro等视频编辑软件集成。depthviz还提供智能深度平滑功能，即使日志数据有缺失也能生成平滑自然的深度显示。无论是分析潜水技巧还是分享潜水故事，depthviz都是一个强大的工具。
阅读更多
T1是一个受Cray X1向量机启发的RISC-V向量处理器实现。它采用基于通道的微架构，支持密集型链式操作和SRAM基VRF。T1支持标准的Zve32f和Zve32x，VLEN/DLEN可扩展至64K。它具有通道、链式操作和大型LSU等特性，并可作为MMIO DSA的通用平台。T1使用Chisel设计，并提供T1Emulator。它与任何RISC-V标量内核兼容，并提供多种配置选项，用户可根据吞吐量、面积和频率等因素进行权衡，以实现高效率或高性能。
阅读更多
Par是一种实验性的并发编程语言，它尝试将线性逻辑的表达能力应用于实践。它具有独特的特性：进程通过通道进行通信，每个通道最多有两个端点，且不会出现死锁。所有值都是通道，包括列表、函数和无限流。目前Par还缺少一些特性，例如基本类型和非确定性，但它已经足够表达丰富的并发性。本文详细介绍了Par的语法、语义和一些例子，包括通道、信号、递归、表达式语法等。通过交互式游乐场，用户可以体验Par的并发特性。
阅读更多
go-multikeymap是一个高效的Go语言库，实现了支持多个键的映射数据结构。它提供两种类型：MultiKeyMap和BiKeyMap。MultiKeyMap允许一个主键和多个字符串副键，而BiKeyMap则要求两个主键都唯一。两者都提供并发安全和非并发版本，性能测试显示其访问速度接近O(1)。该库易于使用，并提供了详细的文档和基准测试结果，方便开发者快速集成和评估性能。
阅读更多
Vulnerability-Lookup是一个强大的开源平台，用于快速关联来自不同来源的漏洞，简化协调漏洞披露（CVD）流程。它支持多种数据源导入，包括NIST NVD、CISA等，并允许用户添加漏洞观测、评论和创建漏洞集合。其提供的API和Python库方便了与其他工具的集成，开发者可以轻松创建自己的漏洞观测工具。Vulnerability-Lookup采用GNU Affero GPL v3.0开源许可证，由CIRCL、Alexandre Dulaunoy、Raphaël Vinot和Cédric Bonhomme共同开发。
阅读更多
Discord Messenger 是一款非官方的 Discord 客户端，惊人地支持 Windows 2000 及更高版本系统。该项目开源，使用 MIT 许可证，但使用第三方客户端违反 Discord 的服务条款，用户需自行承担风险。该客户端目前为测试版，功能尚不完善，但已实现消息收发、附件上传下载、表情包显示等核心功能。编译该客户端需要一定的技术能力，支持使用 MinGW 或 Visual Studio 编译，并需要自行编译或下载 OpenSSL 库。
阅读更多
PulseBeam发布了新的WebRTC点对点通信SDK——@pulsebeam/peer，目前处于开发者预览阶段。该SDK简化了实时应用开发，处理了连接建立、媒体和数据传输的信令协议，并提供了基础设施。它支持音频、视频和数据通道传输，自动重新连接，并可选地支持服务器中继通信。安装方便，支持npm、deno和yarn。文档和API密钥请参考PulseBeam官方文档。
阅读更多
mt32-pi，一个为树莓派打造的裸机MIDI合成器项目，由于开发者持续遭受网络暴力，最终宣布停止更新。开发者在博客中描述了不堪重负的经历，包括人身攻击、代码盗用、3D打印设计被盗卖等。尽管该项目受到部分用户的支持，但持续的负面经历严重影响了开发者的身心健康，最终迫使其放弃项目维护。mt32-pi支持多种树莓派型号，并具备丰富的功能，包括I²S Hi-Fi DAC支持、网络MIDI支持等。
阅读更多
j8cu是一个针对Java 8的集合工具类库，其核心功能是一个高效的环形缓冲区(RingBuffer)实现。该RingBuffer支持有序和无序两种读取模式，有序模式遵循FIFO原则，适合维护最近N个对象的缓冲区。此外，它还提供事件监听器、批量复制和清除/重置等功能，极大地方便了开发者在Java 8中使用环形缓冲区。
阅读更多
本文介绍了如何使用 Terraform 工作空间管理多账户 AWS 架构。文章重点关注账户与工作空间的关联，并没有深入模块化、安全性和远程状态存储等方面。文中提供了一个使用 Localstack 在本地环境测试的方案，并使用 OpenTofu 作为 Terraform 的开源替代方案。通过创建不同的工作空间并动态加载变量文件，实现了对不同环境（例如开发和 UAT）的配置管理。
阅读更多
LSD-MCP 服务器通过 Claude 连接互联网，并使用 LSD SQL（一种用于网络的 DSL）直接从网站聚合高质量信息。它允许开发者将互联网连接到应用程序，如同 PostgreSQL 数据库一样。LSD 的设计目标是浏览器，支持强大的并行处理，并具有即时表功能，无需预先创建表即可获取数据。通过简单的命令行安装，并配置 LSD_USER 和 LSD_API_KEY 后，即可让 Claude 执行 LSD 查询。如有错误，需检查 uv 路径和 claude_desktop_config.json 文件配置。
阅读更多
VSCode 市场中扩展程序的下载链接已失效。新的安装指南指示用户从扩展程序列表的“版本历史记录”部分的下载链接中选择适合其操作系统的版本，但该链接不存在。之前的侧边栏下载链接也已被移除，导致用户无法下载扩展程序。此问题影响所有操作系统和浏览器。
阅读更多
nv_cluster_lod_builder是一个连续细节层次(LOD)网格库，它通过预计算三角形簇，并在渲染时自适应地选择簇的子集来实现细粒度的几何细节控制。与传统的离散LOD相比，该库能提供更快的渲染速度和更低的内存使用率，特别适合光线追踪应用。该库利用一种特殊的细分策略，确保LOD转换平滑，避免出现缝隙或重叠。它还构建了一个空间层次结构，用于加速运行时簇的选择，并支持几何流传输以进一步节省内存。
阅读更多
还在为 arXiv 论文提交的 LaTeX 代码清理而烦恼？Google Research 推出的 `arxiv-latex-cleaner` 工具能帮你轻松搞定！它可以自动删除辅助文件、注释、未使用代码和图片，甚至还能调整图片大小、压缩 PDF，以确保你的论文符合 arXiv 的大小限制。支持自定义正则表达式替换规则，并能处理 TikZ 图片的外部化。只需简单几步，你的论文就能准备好提交了！
阅读更多
Auto-AVSR是一个开源的端到端音频视觉语音识别 (AV-ASR) 框架，专注于唇读。该框架在LRS3基准测试中实现了视觉语音识别 (VSR) 20.3% 和音频语音识别 (ASR) 1.0% 的字错误率 (WER)。它提供了用于训练、评估和API调用的代码和教程，并支持在多种设备上进行训练。用户可以使用预训练模型或从头开始训练，并能根据自身需求调整超参数。
阅读更多
Mailspring 是 Nylas Mail 的全新迭代版本，由原作者之一维护。它速度更快、占用资源更少，并已正式发布！它用基于 Mailcore2 的全新 C++ 同步引擎取代了 Nylas Mail 中的 JavaScript 同步代码，内存和 CPU 占用率大约只有 Nylas Mail 的一半，空闲状态下几乎不会唤醒 CPU，从而延长电池续航时间。它还拥有完全改进的邮件撰写器和其他强大的新功能。Mailspring 的 UI 是开源的（GPLv3），并使用 TypeScript、Electron 和 React 编写；它基于插件架构，设计易于扩展。同步引擎在本地运行，也是开源的（GPLv3），用 C++ 和 C 编写。Mailspring 提供强大的功能，例如统一收件箱、稍后发送、邮件规则、模板等等。付费的 Mailspring Pro 版本还提供更多功能，例如链接追踪、已读回执等。
阅读更多
这篇论文介绍了s1，一种简单的测试时缩放方法，仅需1000个示例和预算强制即可实现与o1-preview相当的强大推理性能。该方法通过巧妙的测试时策略，在大型语言模型上实现了显著的性能提升，相关代码和数据已开源，方便研究者复现和进一步探索。
阅读更多
Google安全团队发现AMD Zen系列CPU存在高危安全漏洞。攻击者若拥有本地管理员权限，即可绕过不安全的签名验证机制，加载恶意微码补丁，从而破坏基于AMD SEV-SNP的机密计算工作负载的机密性和完整性，甚至危及动态可信根测量（DRTM）。该漏洞已在Zen 1至Zen 4 CPU上得到验证。AMD已于12月17日发布修复程序，并建议用户验证其SNP的TCB值。Google将进一步细节和工具的公开延迟至3月5日。
阅读更多
httptap 是一款运行在 Linux 系统上的命令行工具，无需 root 权限即可监控任何程序发出的 HTTP 和 HTTPS 请求。它通过在独立的网络命名空间中运行目标程序，并拦截其网络流量来实现这一功能。httptap 使用 Go 语言编写，无需依赖，可直接运行。它能够显示请求的详细信息，包括 URL、HTTP 状态码、请求体和响应体等，并支持将数据导出为 HAR 文件。httptap 还支持 DoH（DNS over HTTPS），并能够处理 HTTP 重定向。
阅读更多
Klarity是一个用于分析生成模型输出不确定性的工具。它结合了原始概率分析和语义理解，能够深入了解文本生成过程中模型的行为。该库提供双熵分析、语义聚类和结构化输出等功能，并使用单独的模型进行分析，提供人类可读的见解。Klarity支持Hugging Face Transformers，并计划支持更多框架和模型。
阅读更多
GarminDb 是一个强大的 Python 脚本集合，用于解析 Garmin Connect 的健康数据并将其存储到 SQLite 数据库中。它能够自动下载并导入每日监控数据（心率、活动、爬升/下降、压力和强度分钟数）、睡眠、体重、静息心率等信息。此外，它还能汇总数据，生成日报表、周报表、月报表和年报表，并支持通过命令行或 Jupyter Notebook 绘制图表。该项目还提供插件机制，方便扩展数据类型。总之，GarminDb 是一个功能全面、易于使用的 Garmin 数据管理工具，让你的健康数据分析更加便捷高效。
阅读更多