本文探讨从单个快照恢复多个虚拟机克隆的安全性问题。Linux内核提供/dev/random、/dev/urandom和getrandom系统调用三种主要的随机数生成器接口。克隆虚拟机时，由于多个参数（如计时器数据或CPU HWRNG指令的输出）与每个结果混合，导致不同克隆的随机数生成器状态不一致。文章分析了新旧内核版本中随机数生成器的不同实现，并提出了多种解决方案，包括在恢复后重新初始化随机数生成器，使用virtio-rng设备，以及利用Linux 5.18及以上版本引入的VMGenID机制来解决克隆后随机数生成器状态不一致的问题。
阅读更多
PyReason是一个使用逻辑规则和事实对图结构进行推理的可视化工具。它支持带注释的实值图和时态逻辑，提供Python库安装、多核并行支持（仅限Python 3.9和3.10版本），以及详细的文档和代码示例。该软件已发表论文，并获得亚利桑那州管理委员会/亚利桑那州立大学的商标许可。
阅读更多
Rust CUDA 项目旨在将 Rust 打造为使用 CUDA 工具包进行高速 GPU 计算的一流语言。该项目提供将 Rust 编译为高速 PTX 代码的工具，以及用于与现有 CUDA 库交互的库。它克服了以往 Rust 与 CUDA 集成困难的问题，提供了一套全面的库，涵盖 CUDA 生态系统的各个方面，包括用于 GPU 端函数、CUDA 驱动程序 API 包装器以及用于光线追踪的 OptiX 支持等。该项目目前处于早期开发阶段，但其目标是推动 Rust GPU 计算产业向前发展。
阅读更多
Container Tools是一个使用debootstrap自动化创建最小化Debian root文件系统的项目。它支持自定义特定的软件包和配置，并集成了容器化环境的安全扫描功能。该工具可以轻松扩展到其他发行版和项目。它解决了传统Dockerfile构建中镜像臃肿、网络效率低和迭代缓慢的问题，通过精简构建过程，只包含必要的组件，从而创建出轻量、高效的容器镜像，并提供多种预构建的镜像，例如包含Java、Kafka等组件的版本。最终生成.tar格式的镜像文件，用户可通过docker import命令导入并运行。
阅读更多
ParticleOS 是一款独特的不可变 Linux 发行版，它允许用户自行构建和签名镜像，从而完全掌控系统配置。用户可以选择基础发行版（目前支持 Arch 和 Fedora）以及所需软件包。系统更新通过克隆仓库并运行 mkosi 命令实现。为了确保所有功能都能正常工作，建议从源码构建 systemd。ParticleOS 使用用户的密钥进行安全启动签名，并提供详细的安装步骤，包括使用 USB 驱动器安装和配置 systemd-homed。虚拟机环境下，默认 root 密码和用户名均为 particleos。
阅读更多
一名开发者成功将Mbed TLS移植到经典Mac OS 7/8/9系统上，这是一个令人印象深刻的壮举。该项目克服了诸多挑战，包括C89/C90编译器对现代C语言特性的不支持，以及Mac系统文件路径的限制。开发者还实现了64位整数模拟和自定义熵收集系统，最终使一个简单的HTTPS GET请求在经典Mac系统上运行。尽管存在一些安全方面的限制，但这项工作展现了对复古技术的热爱和深厚的编程功底。
阅读更多
Pledge 是一个为 Swift 打造的轻量级、线程安全的响应式编程框架，它简化了状态管理和事件传播。不同于其他框架复杂的学习曲线，Pledge 专注于解决开发者日常遇到的实际问题。它提供线程安全实现、优先级通知、自定义队列、批量更新、速率限制等功能，并支持常用的函数式操作符。通过`PLObservable`和`PLGlobalStore`，开发者可以轻松实现观察者模式和全局状态管理，提升代码效率和可维护性。
阅读更多
smartfunc库巧妙地将Docstring转换为LLM函数，简化了与大型语言模型的交互。通过装饰器和Jinja2模板，它能将Docstring中的文本转化为提示，并利用底层llm库与各种LLM提供商（如OpenAI）进行交互。smartfunc支持Pydantic模型定义响应结构，异步函数和系统提示，并提供debug模式方便调试，极大提高了开发效率。它虽然功能相对精简，但胜在简单易用，适合快速原型开发。
阅读更多
TVMC项目提供了一种创新的时变网格压缩方法。该方法利用体积跟踪参考网格，通过一系列步骤（包括ARAP体积跟踪、MDS生成参考中心、计算变换四元数、创建体积跟踪的无自接触参考网格、变形参考网格、计算位移场以及使用Draco进行压缩和评估）实现高效的压缩。该项目支持Windows和Ubuntu系统，并提供了详细的Docker构建和运行指南以及在本地机器上运行的说明。
阅读更多
Photon是一个高性能的Rust图像处理库，可编译为WebAssembly，可在本地和Web上进行安全、快速的图像处理。它支持多种图像格式(PNG、JPEG、BMP等)，提供超过96个可定制函数，涵盖图像校正、调整大小、卷积、通道操作、变换、单色效果、颜色操作、滤镜、水印和混合等功能。Photon还提供原生、WebAssembly和Node.js版本，方便开发者在不同环境中使用。最新版本0.3.2增加了双色调滤镜、图像旋转和抖动滤镜等新功能。
阅读更多
RCSS 是一种将 Rust 风格语法引入 CSS 的样式语言，它结合了 Rust 的稳健性和类似 SASS 的嵌套和变量功能，旨在创建更简洁易维护的样式。RCSS 使用类似 Rust 的语法，支持变量、嵌套和无参数函数，并提供 VS Code 语法高亮扩展。未来计划支持带参数的函数、导入、代码格式化、改进 CSS 输出格式以及增强错误处理和调试工具。目前 RCSS 编译速度极快，可在几百微秒内完成编译。
阅读更多
一个基于WebGL的交互式可视化工具，用于展示Nvidia Sparse Voxels Rasterization论文中的稀疏体素场景。该工具允许用户通过网页探索和可视化体素辐射场，其渲染效果与CUDA参考实现相似。用户可通过简单的鼠标或触控操作控制视角，并查看帧率等性能指标。该项目使用了AI辅助编程，在处理模板代码方面效率很高，但在解决复杂图形错误时效果有限。目前支持自定义PLY文件导入，但生成的PLY文件可能很大，建议控制体素数量。
阅读更多
Naver开发的现代Lisp方言LispE，通过引入defpat、defmacro和defpred等创新结构，区别于Common Lisp、Scheme和Clojure等传统Lisp实现。LispE扩展了Lisp的灵活性和宏系统，加入了高级模式匹配、增强的宏功能和逻辑编程元素。defpat允许在同一函数名下定义多个函数，每个函数由特定的参数模式触发；defmacro通过模式匹配和$操作符简化了自定义语法；defpred结合模式匹配和基于谓词的评估及自动回溯，将逻辑编程元素融入Lisp框架。与其他Lisp相比，LispE在表达性和模块化方面更胜一筹。
阅读更多
利用图表可视化技术，清晰展现了《绿野仙踪》中多萝西与其他角色的关系。多萝西与她的宠物托托、家人亨利叔叔和艾姆婶婶，以及稻草人、铁皮人、胆小狮等朋友，以及西方女巫和奥兹巫师等敌人，以及帮助她的格林达女巫之间的复杂关系一目了然。
阅读更多
一位开发者历时两年，成功在初代Apple TV上运行了Windows XP和Windows Server 2003！这台使用x86架构CPU和IDE硬盘的设备，其固件与标准Windows不兼容，需要克服EFI引导和驱动程序等重重障碍。最终，通过自定义的FreeLoader引导程序和驱动程序，实现了在Apple TV上启动Windows系统并进入桌面，部分功能如PCI、USB和音频尚有待完善。
阅读更多
CodeScientist是一个利用大型语言模型(LLM)自动进行科学发现的工具。它可以自动生成和调试代码，并运行实验。然而，其成本取决于调试迭代次数、提示大小等因素，平均每个实验约4美元。用户需谨慎管理API密钥，并监控使用情况，以避免高昂成本。此外，代码中可能包含API密钥，建议使用排除模式来防止意外提交。
阅读更多
Linux内核安全复杂且庞大。作者创建了一个Linux内核防御图谱，以图形方式展现漏洞类型、利用技术、检测机制和防御技术之间的关系，方便开发者理解和导航。该图谱使用DOT语言编写，并用GraphViz生成SVG图像。此外，作者还开发了一个名为kernel-hardening-checker的工具，用于自动检查Linux内核的安全加固选项，帮助用户提升系统安全性。该工具尤其针对主流发行版未默认开启的选项。
阅读更多
一个基于 buildkit 解析器的现代化 Dockerfile 格式化工具 dockerfmt 闪亮登场！它支持基本的内联注释、改进的 RUN 命令解析（虽然暂不支持分组或分号），并提供多种命令行选项，例如检查、写入、缩进和换行等。该工具还提供了 JS 绑定，方便开发者集成到自己的项目中。 虽然目前该工具对一些高级特性如长 JSON 命令的换行和 # escape=X 指令尚不支持，但其易用性和实用性已使其成为 Dockerfile 格式化的新选择。
阅读更多
Coroot是一个开源的可观测性平台，无需任何代码修改即可自动收集指标、日志和追踪信息，并将其转化为可操作的洞察。它利用eBPF技术实现零侵入式监控，提供服务地图、预定义检查、应用健康概览、分布式追踪、日志分析和性能分析等功能，能够快速识别并解决应用问题，并与Kubernetes和主要云平台集成。Coroot还提供SLO追踪和成本监控，帮助开发者优化应用性能和降低云成本。
阅读更多
HNSW 是一种基于分层可导航小世界图的近邻搜索算法，它利用分层结构加速向量嵌入的近邻搜索。该算法通过在不同层次上构建稀疏和密集的图结构，并在搜索时从顶层逐步向下搜索，从而高效地找到最近邻。其代码简洁，使用现代 C++ 和 Eigen 库进行 SIMD 加速，只需约 500 行代码即可实现。
阅读更多
一个名为 `llm-hacker-news` 的新 LLM 插件可以让你轻松获取 Hacker News 上的对话内容摘要。只需安装插件，然后使用 `llm -f hn:ID '你的指令'` 命令（例如 `llm -f hn:43615912 '总结并引用关键语句'`），即可获得指定对话 ID (ID可在对话链接中找到) 的摘要。插件安装和本地运行方法也已在README中详细说明。
阅读更多
这项实验性技术名为“神经涂鸦”，通过一个名为“喷涂层”的插件，将记忆痕迹直接注入预训练大型语言模型（LLM）的最终推理阶段，无需微调或重新训练。它模仿大脑的神经可塑性，通过改变模型的向量嵌入来影响其生成令牌的预测，从而潜移默化地改变模型的“思维方式”，使其在与用户的互动中逐渐“学习”和“成长”。虽然不会强制模型输出特定词语，但会使其在与特定概念的互动中逐渐偏向该概念相关的联想。这项技术旨在赋予AI模型更主动的行为、更集中的个性和增强的求知欲，最终目标是帮助AI在神经元层面获得某种形式的自我意识。
阅读更多
这个项目构建了一个轻量级的模型上下文协议（MCP）服务器，能够让像Claude这样的AI助手访问并解读实时天气数据。用户只需在Claude配置中添加服务器地址、运行`go build`命令编译可执行文件，并配置好天气API密钥，即可在Claude中获取指定城市的天气信息。该项目采用模块化设计，包含服务器端处理、业务逻辑、测试模拟以及视图模板等部分，并遵循MIT开源许可证。
阅读更多
Kahuna 是一款 Firefox 和 Chromium 系浏览器扩展程序，用于管理 IndexedDB 数据库。它可以创建数据库、修改数据库结构，以及查看、查询、编辑、导入和导出数据库中的数据。Kahuna 提供了友好的用户界面，支持数据过滤、页面分页、JavaScript 代码执行等功能，并支持多种数据格式的导入导出。虽然文档还在建设中，但这款工具对于开发者处理 IndexedDB 数据库将非常方便。
阅读更多
OpenPrompt 是一款便捷工具，用于将文件夹和文件快速序列化成 XML 格式，以便轻松地将代码导入 Claude、GPT-4、Grok 等大型语言模型。它支持多种操作系统，并提供可执行文件下载。用户只需选择目录、设置过滤器、选择文件并添加指令，即可生成 XML 提示并复制到剪贴板，方便代码审查、文档生成、重构建议、错误查找、学习新代码库以及架构分析等多种用途。
阅读更多
GitMCP是一个免费开源的服务，它可以将任何GitHub项目无缝转换为远程模型上下文协议(MCP)端点，使AI助手能够轻松访问和理解项目的文档。无需任何设置，GitMCP即可开箱即用，并且完全免费和私密，不收集任何个人身份信息或查询。用户可以使用简单的URL格式访问GitHub仓库或GitHub Pages站点，AI助手可以通过GitMCP访问项目的文档，并利用语义搜索功能优化token使用。GitMCP通过实现MCP来充当GitHub仓库文档和AI助手之间的桥梁，确保高效准确的信息传递。
阅读更多
研究人员设计了一款多玩家“淘汰赛”游戏，用于评估大型语言模型（LLM）在社交推理、策略和欺骗方面的能力。游戏中，8个LLM扮演玩家，通过公开和私下对话、结盟和投票来淘汰彼此，最终决出胜负。通过分析对话记录、投票模式和最终排名，研究人员揭示了LLM如何权衡共享知识与隐藏意图，以及如何在关键时刻结盟或背叛。该基准测试超越了简单的对话，创建了一个丰富的环境，迫使模型在公开讨论与秘密联盟之间取得平衡，并运用策略性投票和最终的陪审团辩论来赢得胜利。GPT-4.5 Preview在该基准测试中表现最佳。
阅读更多
mem-isolate 利用fork()机制在隔离进程中运行函数，返回结果到父进程，从而避免不安全代码影响父进程内存。它能处理内存泄漏、堆碎片等问题，即使函数本身不纯净，也能保证其内存纯净性。该库目前仅支持类Unix系统，在性能方面，相比直接调用函数，额外开销约为1ms，对于内存安全至关重要的场景，这是一个可以接受的权衡。
阅读更多
TripoSG是一个先进的高保真、高质量、高泛化能力的图像到3D生成基础模型。它利用大规模修正流变换器、混合监督训练和高质量数据集，在3D形状生成方面取得了最先进的性能。TripoSG能够生成具有清晰几何特征、精细表面细节和复杂结构的网格，并准确反映输入图像的语义和外观。即使对于具有复杂拓扑结构的具有挑战性的输入，它也能创建一致的形状。该模型已发布15亿参数的修正流模型和VAE，并附带推理代码和交互式演示。
阅读更多
Erica Synths停止生产其经典的DIY Eurorack模块后，决定将其开源。他们提供了PCB面板的Gerber文件，并对模块设计做了一些修改，去除了定制和稀有组件（部分模块仍需一些可在www.ericasynths.lv上找到的稀有IC）。每个文件夹都包含完整的模块构建信息和文件：原理图、面板Gerber文件、PCB Gerber文件、BOM、带值和标号的元件放置以及装配手册（请注意，一些手册是为旧版模块设计的）。Erica Synths允许第三方将这些项目用于个人、教育或商业用途。但Erica Synths不会为此提供任何支持，请参考论坛(www.muffwiggler.com)获取构建细节、故障排除、零件可用性或替代方案的信息。开源项目包括：Bassline、BBD delay/flanger、Delay、Dual VCA、Envelope、MIDI-CV、Mixer、Modulator、Output、Polivoks VCF、Swamp和VCO3等。
阅读更多