文章介绍 Miller-Rabin 素性测试的复现程序，包括 64 位 MR、强 Lucas 与 BPSW 实现及测试工具，通过筛法、GMP 和已知伪素数交叉验证，演示溢出与零底数 bug，统计 Fermat 与强说谎者并核对 Monier 公式，并按 OpenSSL 建模 1024 位素数生成，绘制误差界图。

本文介绍四个Rust项目：fcmaes-rust提供并行黑箱优化算法及22个教程；Apache Fory 1.5.0支持外部类型序列化，JSON性能大幅提升；BorrowSanitizer优化垃圾回收后平均提速1.90倍，发现跨语言别名错误；job-control实现支持作业控制的Unix shell。

本文档介绍SQLite内核系列实验的复现方法，涵盖环境要求（Linux/WSL2、SQLite 3.45+）及多个脚本实验，如页头解析、查询计划、回滚日志、WAL检查点、锁冲突、事务模式、覆盖索引、跨库操作、完整性检查和备份。强调以官方文档和源码为准，实验需记录版本、命令和输出，性能数据引用既有测试。

泛微e-cology OA系统存在远程代码执行漏洞，攻击者可利用BeanShell组件未授权访问接口执行任意命令。该漏洞于2019年9月19日被公开，安全补丁已发布，建议用户及时更新防护。

泛微e-cology OA系统存在远程代码执行漏洞，攻击者可通过未授权接口执行任意命令。已发布安全补丁，建议用户及时更新系统以防范风险。

本目录为 [RocksDB 内核系列](../index.html) 提供可复现实验脚本。

拓竹的CyberBrick套件允许用户轻松拼装可遥控的3D打印小车。OpenCyberBrick项目通过使用廉价组件复现CyberBrick，降低成本并扩展功能，支持手机遥控。

本文介绍了结合数独与Dancing Links算法的逆向题。程序通过大整数生成数独初盘，利用DLX算法求解终盘，并对用户输入的十六进制字符进行多次变换，最终与数独解逐位比较，匹配计数达到79时输出成功信息。整个过程在Windows环境下稳定复现，展示了数独求解经典算法与加密题目的结合。

本文介绍了利用RANSAC算法从基于LFSR的流密码中恢复128位初始状态。通过分析非线性项的噪声影响，构建LPN模型，成功恢复密钥并验证，准确率达到93.854%，实现100%复现。

Erlang/OTP在高并发场景中广泛使用，但其标准组件存在CVE-2025-32433漏洞，攻击者可绕过认证执行任意命令，影响嵌入式设备和测试环境。该漏洞源于ssh_channel.erl模块未有效校验通道请求，可能导致系统命令执行和数据窃取等严重后果。

Log4j2是Apache开发的开源日志框架，旨在克服Log4j 1.x的性能和功能限制。它支持动态变量替换，但存在JNDI注入漏洞，攻击者可利用该漏洞执行恶意代码。防御措施包括禁用lookup查询、拦截特定请求和升级组件。

Redis HyperLogLog（HLL）存在整数溢出漏洞，影响多个版本。攻击者可利用该漏洞实现远程代码执行或导致服务崩溃。修复版本通过新增校验机制来防止溢出。

中国人民大学与北京智源研究院联合开发的类R1推理模型STILL-3-Tool-32B在AIME 2024基准测试中取得81.70%准确率，超越DeepSeek-R1。研究表明外部工具能增强模型推理能力，并成功应用于Alaya NeW系统，推动AI技术发展。

Manus引发智能体复现潮，多个开源项目如OpenManus和OWL迅速推出复现代码，OWL在GAIA基准测试中表现优异。Manus通过邀请码吸引海外用户，用户反馈积极，付费意愿强。GAIA基准测试成为智能体产品的重要竞争领域，分为三个难度级别，Manus在Level 3上表现突出。