Lore：为极致扩展性而生的下一代开源版本控制系统
Lore 是 Epic Games 开源的新一代版本控制系统，用 Rust 实现，基于 Merkle 树和内容寻址存储，针对大型二进制资产和团队协作进行了极致优化。
cuTile Rust：在Rust中编写安全的GPU内核
<!-- # cuTile Rust --> <div align="center"> <img src="assets/logo.svg" alt="cuTile Rust" width="380"> [](https://crates.io/crates...
羞辱IIS服务器：有趣但可能面临牢狱之灾
羞辱IIS服务器：有趣但可能面临牢狱之灾 一位朋友曾告诉我： 如果你看到IIS的蓝色屏幕，不要停在那里；背后一定有什么东西。 没错，他说得对。那个IIS启动页面并不是死胡同。在那扇蓝色窗口背后，是互联网上配置最混乱的Web服务器之一，它正等着你去深入探索。 那么，让我带你看看我在漏洞赏金中如何...
本地模型现在表现不错
本地模型现在表现不错 2026年6月15日 自从本地模型问世以来，我一直在使用它们，而现在，它们终于变得出奇地好用了。 我有一台2022年的M2 Mac，配备64GB内存和1TB存储空间，我曾在各种不同的系统配置下使用过它们，比如： 本地模型现在发展到什么程度了？ 早期，模型运行缓慢、难以使用...
裸机启动 Linux：不到一秒启动一个单进程内核
探索用最小化的 Linux 内核启动单个进程：从手写 C 语言 init 程序、构建极简 initrd 到 KVM 虚拟化和真实 UEFI 硬件启动，全文含内核裁剪配置指南。
Rust 和 C/C++ 的内存安全 CVE 到底有何不同
深度分析 Rust 和 C/C++ 在内存安全 CVE 报告上的本质差异：Rust 的 safe/unsafe 边界使得任何 safe API 的内存安全问题都算库的 bug，而 C/C++ 中类似情况只被视为用户代码的问题。
我的家庭实验室 AI 开发平台
用 OpenCode 搭建个人 AI 开发平台，通过 GitOps 管理家庭实验室，实现 AI 编码、PR 审核、自动部署的全流程自动化。
形式化方法与编程的未来
形式化方法过去因成本太高而不被看好，但智能体编程的出现改变了成本效益天平。Jane Street正式组建团队，致力于让形式化方法像类型系统一样普及易用。
里约热内卢的"自研"大模型被指复用他人模型权重
里约热内卢市政府下属AI团队发布的Rio-3.5-Open-397B大模型被曝并非自主训练，而是将Nex-N2-Pro与Qwen3.5按比例融合的产物。权重分析的数学证据和模型自曝身份测试均揭示了这一事实。
Catlantean 3D：像 1993 年一样做图形
一位独立开发者用 90 年代初的图形技术构建 FPS 游戏的深度实践——从 VGA Mode 13h 调色板、光线投射引擎、颜色映射表预处理到 Blender 资源流水线。