Software Safety — 3 Technical Articles

Mar 17, 2026 · Artificial Intelligence

Why Amazon Forced Human Approval for AI‑Generated Code—and What It Means for Developers

The article investigates Amazon's recent mandate that junior engineers obtain senior approval before deploying AI‑generated code, analyzes two high‑profile incidents caused by over‑privileged AI tools, and offers concrete best‑practice recommendations to keep AI‑assisted development safe and reliable.

AIAmazonDevOps

0 likes · 10 min read

Why Amazon Forced Human Approval for AI‑Generated Code—and What It Means for Developers

Open Source Linux

Dec 1, 2022 · Fundamentals

How NVIDIA Boosted Software Safety by Switching from C to SPARK

NVIDIA’s security team adopted the formally verified SPARK language, replacing C in safety‑critical components, and after a successful proof‑of‑concept demonstrated improved security, verification efficiency, and unchanged performance, leading to widespread internal adoption across many products.

AdaCoreC to SPARK migrationNVIDIA

0 likes · 4 min read

How NVIDIA Boosted Software Safety by Switching from C to SPARK

IT Services Circle

Oct 5, 2022 · Fundamentals

Azure CTO Urges Developers to Stop Starting New C/C++ Projects and Favor Rust – Bjarne Stroustrup Responds

Microsoft Azure CTO Mark Russinovich announced that developers should cease launching new C/C++ projects and consider Rust for non‑GC scenarios, prompting a robust defense from C++ creator Bjarne Stroustrup highlighting recent safety improvements and sparking widespread community debate.

Bjarne StroustrupCMark Russinovich

0 likes · 7 min read

Azure CTO Urges Developers to Stop Starting New C/C++ Projects and Favor Rust – Bjarne Stroustrup Responds