Curated computing and ML systems news.

Research, tooling, incidents, infrastructure shifts, and production lessons. Kept technical so the page stays useful.

All Aerospace & Defense Automotive Safety Automotive Software Automotive Systems Autonomous Systems Cloud Reliability Digital Twin Embedded Embedded Systems Formal Methods Functional Safety General SE MBSE Process Reliability Engineering Requirements Engineering Robotics Safety Engineering Software Systems Space Systems Standards Standards & Compliance Systems Architecture Systems Engineering Systems Infrastructure Verification & Validation

Automotive SafetyJun 4, 2025

AdaCore and NVIDIA Publish an ISO 26262 Reference Process for Ada and SPARK

AdaCore says NVIDIA used Ada and SPARK for some of the highest-integrity components in its DRIVE OS stack and is now publishing the reference process so other automotive teams can reuse it. The HN thread quickly reframed the announcement as a question of proof-oriented tooling versus the industry's entrenched C++ base.