2024年8月,树莓派的RP2350引入了Secure Boot,并在DEFCON上受到挑战。作者构建了低成本的定制激光故障注入平台,以攻击准备好的Pico 2目标。RP2350裸片从背面暴露,使用导电环氧树脂修复接地,并安装在定制载板/I/O板上。红外激光脉冲在不触发毛刺检测器的情况下瞄准敏感裸片区域。通过在Secure Boot的固件哈希计算过程中定时一个脉冲,单个故障使SHA-256处理来自外部QSPI闪存的攻击者控制数据,而非RAM加载的固件,从而绕过ECDSA验证。该设置使用双闪存切换和FPGA监测的QSPI时序。调优后,该绕过允许执行任意固件并恢复受保护的OTP秘密。作者向树莓派披露了发现,树莓派确认了绕过并计划加固Boot ROM。
卡耐基梅隆大学与微软推出了PRAISE项目,旨在培训微软初级软件工程师进行AI加速软件工程。参与者参加在线CMU计算机科学课程,同时接受微软资深工程师的指导,并将所学技能应用于日常工作。该计划是在微软Azure CTO Mark Russinovich指出AI工具对资深工程师有利但初级工程师需要更多支持之后启动的。课程包括生产环境中的机器学习与AI增强软件工程,未来还将开设DevOps与安全部署课程。证书可计入CMU软件工程硕士学位。领导者表示,该合作将学术专业知识与行业实践相结合,帮助初级工程师培养使用AI的判断力,并希望其成为其他公司的典范。
AI 编码代理提高了开发速度,但高 AI 采用率与更多 bug、更长的 PR 审查时间以及更多事故相关。自动化软件验证被提出作为解决方案。方法范围从有纪律的代理式工作流(如 Superpowers)和通过 RoboRev 进行的本地持续审查,到 Claude、Codex、Copilot 和 Cursor Bugbot 的托管式 AI PR 审查器。一个全面的流水线增加了确定性检查——linting、类型检查、构建、测试、SAST、密钥和依赖扫描——加上代理式审查、基础设施与迁移检查,以及架构评估,覆盖 pre-commit、push、PR、预生产和生产阶段。大型科技公司的 AI 软件工厂自动化了大量实现工作,而人类仍然是守门人。作者的工作流结合了 spec 迭代、计划性实现、模型交叉审查、分层测试、人工审查和有针对性的手动检查。核心信息是:随着 AI 使代码生成变得廉价,验证必须成为软件工程的核心,人类对最终决策负责,尤其是在高风险变更上。
Parin 是一款面向 D 语言的轻量、代码驱动的 2D 游戏引擎,介于 raylib 这样的小型库与 Godot 这样的大型引擎之间。它提供灵活的内存管理(GC 可选)、基于 Joka 构建的模块化基础,以及开箱即用的功能,如像素级物理、灵活的对话系统、图集动画、瓦片地图和 UI 库(开发中),还有 Box2D、Steamworks、ENet 和 microui 等额外组件。它支持 Web、Windows、Linux 和 macOS。
通过 DUB 安装:`dub init -t parin`,然后 `dub run`;模板包括 basic 和 entity。Linux 需要若干用于声音、图形和输入的开发库。Web 构建需要 LDC 和 Emscripten。文档可通过示例、速查表、导览和 DDOX 获取。
FAQ 说明:没有内置场景/实体或脚本系统(提供示例),不支持热重载,资源可自由使用,raylib 仅作为后端(自定义后端为实验性),支持高清游戏。可通过附带的绑定实现 Steam 和多人游戏发布。