Linux Mint系统将重新支持合盖休眠，带来全新终端和文件预览功能
IT之家 11 月 1 日消息，Linux Mint 是较为适合新手的热门 Linux 发行版之一，尤其适合想从 Windows 转向 Linux 的用户。然而，该系统基于 Ubuntu 打造，受制于 Ubuntu 的许多上游决策，比如之前取消休眠支持。
刚刚，程序员通宵找Bug的历史要结束了，Claude只用几周，把整个软件测试行业改写了
Anthropic 把 Claude 推到传统测试够不到的底层:先把开源软件编译到 RISC-V 汇编层，再生成可由 Rocq 检查器验证的形式化证明，涉及 123 个开源软件、239 个程序入口，证明代码超过 1.8 亿行。
软件又“死”一次？一款AI工具突然爆火，号称能逆向还原任何软件
截止 10 月 12 日，这个项目获得的星标关注已经超过 12.4 万，成为近期 GitHub 上增长最快的项目之一。
AI重塑OS，开源生态再进化！直击GOSIM Shenzhen 2026首日
下午的分论坛进一步聚焦技术应用与工程实践，设置 Rust for AI:推理与数据层、AI for Rust:生成、验证与质量和 Rust 生产实战三个方向，分别围绕 Rust 在 AI 推理与数据基础设施中的应用、AI 辅助 Rust 代码生成与验证，以及 Rust 在生产环境中的实践展开交流。
仓颉UI开发实战：我用仓颉写了个桌面版力扣：从判题机到 100 道题
后面所有内容都建立在这一句话上: 是用仓颉语言实现的 Tauri 2 对应物——把 Tauri的三件套架构在仓颉里独立实现了一遍:WebView 宿主 + IPC 双向桥 + 能力安全模型。
不用虚拟机、不用Wine，Raven如何让Linux原生运行Windows软件
Raven 是一个新一代 Windows 兼容运行环境，目标是在 Linux 上直接运行 Windows 应用程序，并且尽可能提供接近原生 Windows 的安装和运行体验。
我为什么这样做自适应录像——MiBeeNvr 的存储设计
0. 写在前面我是 MiBeeNvr 的作者。最近看到几篇外界写 MiBeeNVR 的文章——有评测站的，也有社区聚合文——对自适应录像的表述大多停在「动静感知、能省磁盘」这一层：它靠什么信号判活、切换瞬间为什么不丢帧、对哪类相机会失效，都没讲透。
Hermes agent大更新：五天跳五个版本
REA 能把程序拆开看，录一遍浏览器操作就成了技能，一张图能出 3D 模型，不同子任务还能派给不同模型。四件事放在一起，其实是一件事。v0.22.0 → v0.22.5四类新能力Hermes Agent 这几天的更新节奏有点反常。从 v0.22.0 到 v0.22.
嵌入式Linux-- 运行时电源管理实战
Runtime PM是Linux内核控制设备功耗的核心机制，前文以bh1780环境光传感器驱动为核心示例，完整讲解了probe初始化、数据读取、模块卸载、回调规则、电源域五大核心模块。
AI短剧工作台都能自己搭了，GitHub上这些神器真可以试试
短剧已经成了许多人每天刷手机时都会点开的内容，于是有人开始琢磨自己搭一套工作台。GitHub 上这批开源项目各有侧重:火宝短剧用四个 AI Agent 分工，DramaClaw 面向连续剧集，还有 Toonflow、BeefTV 和影策。