Today we launch an important new paper! The BIG Argument it introduces a sustainable, scalable and practical way to bring the entire safety case argument together without compromising innovation. youtu.be/FB-295pJRM4 Read the full story: www.york.ac.uk/assuring-aut...

Ever wondered how fast each programming language is in nested loops? 🐢💻🚀 Spoiler: Python’s out here sipping coffee while Rust is already at the finish line.

Great to see the @cfaa.bsky.social now on BlueSky. Give them a follow for the latest in safety assurance research in AI, autonomous systems and Robotics #AcademicSky #AISky