- Acceptance of Previous Meeting Minutes
- Intro from folks (brief!)
- Contributor expectations: offline review & feedback
- Mission Statement: offline review & feedback
- Unsafe coding guidelines proposal review: offline review & feedback
- Housekeeping: Time & meeting frequency
- Management of upcoming topics
- Round table
Supplemental material to the agenda can be found on the GitHub repo.
Please add your name, and an emoji that describes your day.
- Munawar Hafiz, 😀
- Marc Schoolderman, 🫨
- Joel Marcey 😎
- Alex Celeste
- Alexandru Vochescu 😀
- Andrew Herridge
- Arthur Hicken ;-) 🚙
- Jonas Wolf
- Julius Gustavsson 🇸🇪🚗
- Marc Schoolderman
- Munawar Hafiz
- Pete LeVasseur ✌️
- Christof Petig
- Sarah Dietrich
- Andrew Herridge 😀
Notetaker:
Joel Marcey
- Document space: https://github.com/rustfoundation/safety-critical-rust-consortium/tree/main/subcommittee/coding-guidelines
- Zulip: safety-critical-consortium: Coding Guidelines
- plevasseur@gmail.com - check and see what can be used out of JAE1020 for unsafe coding guidelines
- Joel Marcey - set up a Google Drive for consortium Google docs
- Logistics
- Set up a Google Document space for the consortium
- We could also consider converting Google docs to markdown and putting them in GitHub too. Need to see if that makes sense
- Set up a Google Document space for the consortium
- Contributor Expectations
- Expectations
- Follow Rust Code of Conduct
- Participation mainly targeted towards senior engineers
- Folks should be actively contributing
- Understanding Rust and/or safety critical
- How are the guidelines enforced?
- (These are not presented here due to decision to rework these in 2024-11-11 meeting)
- Expectations
- Mission Statement
- Develop a community-vetted coding guideline for Rust in safety-critical applications
- Provide feedback offline
- Unsafe coding guidelines proposal
- How does the
unsafekeyword and usage fit into our coding guidelines? - This will be the first item of output by the subcommittee
- Peter - check and see what we can use out of JAE1020
- Jonas and Marc spoke and believe this is a good starting point.
- How does the
- Time and meeting frequency
- Proposal to meet once every two weeks
- General agreement that this is a good cadence to start with (Arthur spoke about this)
- Target duration will be one hour per meeting
- Have a few meetings at the current time and then potential shift to time after a re-vote on times.
- Need to see how we can make it accessible, at least once in a while, for folks in Asia.
- Proposal to meet once every two weeks
- Management of upcoming topics
- Spreadsheet of topics
- Maybe a GitHub Project spreadsheet?
- Spreadsheet of topics
- Round table
- Other topics to be added on the upcoming topics list
- People with experience related to our goal to participate in some of our meetings
Any material to read before the meeting should be included here.