Hey there 👋 wasn't able to find other contact info, so I'm opening an issue to see if there's interest.

I'm Pete, lead of the Safety-Critical Rust Consortium and chair of the Coding Guidelines Subcommittee, where we're also producing coding guidelines.

I learned of this initiative recently and thought to reach out to see if there's interest in collaborating in some way. The overlap between what secure coding folks and safety-critical coding folks care about seems to be real.

If there's interest, feel free to drop me an email at [email protected].

Cheers! ☺️