国产算力“硬蹭”开源成功！SGLang现在能一键跑在昇腾上了

要我说，大模型这圈子最近有点意思。大家不再只顾着吹模型多牛，反而开始操心“怎么让这大家伙老老实实干活”这种接地气的问题了。

操作系统开发范式变革：上海交大新研究让AI通过“规约”自动生成可靠代码

上海交通大学IPADS实验室在操作系统开发领域取得突破性进展。研究团队提出名为“SysSpec”的全新范式，允许开发者通过编写精确的“形式化规约”（一种类似数学说明书的严谨定义），由大模型自动生成操作系统核心组件（如文件系统）的正确代码。该方法有望将底层系统软件的开发效率提升3-5倍，相关论文已被操作系统与存储顶级会议USENIX FAST‘26接收。