Oxidize Conference

oxidizeconf.bsky.social

18 September 2025 13:57

“Rust in Safety Critical” was the focus of today’s Oxidize 2025 panel, with insights from Florian Gilcher (@ferroussystems.bsky.social), Jonas Wolf (Vector), Rolland Dudemaine (TrustInSoft) & Daniel Silverstone (@codethink.co.uk). #RustLang #SafetyCritical

Oxidize Conference

oxidizeconf.bsky.social

27 August 2025 12:46

What makes software trustable? This one-day workshop by Lucas Biaggi (@codethink.co.uk) explores how to apply the Eclipse Trustable Software Framework to Rust projects, combining methodology, modeling & automation for real-world assurance: oxidizeconf.com/sessions/tru... #RustLang #TrustableSoftware

fluffybit.bsky.social

23 July 2025 10:15

FOSDEM talk up, fosdem.org/2025/schedul... Thank you to #fosdem and @codethink.co.uk

Oxidize Conference

oxidizeconf.bsky.social

23 July 2025 10:15

At Oxidize 2025, Daniel Silverstone (@codethink.co.uk) presents Safety Monitor - an open-source, configurable and Rust-based tool to track system state on Linux that supports defining a safe-state definition in mixed-criticality environments: oxidizeconf.com #RustLang #Safety #Linux

Edmund J. Sutcliffe

edmunds.bsky.social

02 February 2025 12:06

If you get talk to @codethink.co.uk about their work on Trustable and SBOMs implications