每日科技摘要-10-06-晚报

安全与隐私

基础设施事故与硬件侧攻防并行:数据韧性短板被暴露,能力硬件推进内存安全上限

AI 与新设备

从内容生成到交互形态:AI暴露数据与常识短板,同时探索更自然的“无屏”助手

产业与资本

航天转向国防、医疗用AI扩产:并购与融资加速垂直整合与规模化落地

系统与开发者

操作系统与工具链迭代:从微内核史到高安全语言与高效GPU内核的务实进步

    • QNX操作系统:回顾QNX自微内核起源到Neutrino架构与车载/工业广泛应用的历程,虽移动端折戟,但在关键任务系统仍稳固发展。
    • 2024年,Ada、SPARK、Rust,还是C/C++,该怎么选?:C/C++风险高;Rust与Ada显著提升内存与类型安全;SPARK以形式化验证降低高完整性系统成本。选择取决于团队目标与变革成本。
    • GPU里的G,不就是“显卡”嘛:用Triton融合传感、转向、沉积等阶段,显著减少内核启动与同步开销,提升Physarum模拟性能,展示DSL在AI/仿真中的实用价值。
    • Toybox:Linux 命令行全能工具:多调用单一二进制覆盖常用命令,可构建精简Linux用户空间,文档完善,适合可复现与嵌入式场景。

科学与社会

基础科学里程碑与公共资源扩展,公民能源转型与动物行为研究持续引发关注