Skip to content

Commit fcba5aa

Browse files
pellicopellico
authored
Added meeting minutes: Coding Guidelines Subcommittee Meeting on 2025-10-08 @ 1100 EDT / 1700 CEST (Safety-Critical-Rust-Consortium#491)
1 parent 969bce1 commit fcba5aa

1 file changed

Lines changed: 78 additions & 39 deletions

File tree

  • subcommittee/coding-guidelines/meetings/2025-10-08

‎subcommittee/coding-guidelines/meetings/2025-10-08/minutes.md‎

Lines changed: 78 additions & 39 deletions
Original file line numberDiff line numberDiff line change
@@ -3,55 +3,64 @@
33
[Link](https://www.worldtimebuddy.com/?qm=1&lid=5,100,2643743,12,1850147,2193733,8,6,2673730,1261481&h=5&date=2025-10-8&sln=11-12&hf=1) to meeting time in common time zones.
44

55
| Search Key | Description |
6-
| ----- | ----- |
6+
| :---- | :---- |
77
| \[todo\] | Action Item |
88
| \[decision\] | Something decided on |
99
| \[important\] | Key information |
1010

1111
## **Agenda**
1212

13-
1. Solicitation of notetaker
14-
2. Acceptance of [Previous Meeting Minutes](https://github.com/rustfoundation/safety-critical-rust-consortium/blob/main/subcommittee/coding-guidelines/meetings/2025-10-01/minutes.md)
15-
3. Introduction of new members
16-
4. October 14th, 15th \- Global Virtual Meetup (Pete)
17-
* Agenda posted to Zulip and shared on mailing list
18-
* [Link](https://rust-lang.zulipchat.com/#narrow/channel/445688-safety-critical-consortium/topic/2025.20Late.20Year.20Global.20Virtual.20Meetup/near/540871684) to Zulip message with agenda in PDF
19-
5. Share launch milestone & Kanban board (Pete)
20-
* [Prepare for launch to wider Rust community](https://github.com/rustfoundation/safety-critical-rust-coding-guidelines/milestone/1)
21-
* [Kanban board](https://github.com/orgs/rustfoundation/projects/1/views/3)
22-
* [`contributor experience`](https://github.com/orgs/rustfoundation/projects/1/views/4) view
23-
* [`coding guideline`](https://github.com/orgs/rustfoundation/projects/1/views/5) view
24-
6. Review Clippy lint \=\> coding guidelines categorization (David, Félix)
25-
* [Tracking issue: Identify Clippy lints suitable for creating safety-critical guidelines](https://github.com/rustfoundation/safety-critical-rust-coding-guidelines/issues/86)
26-
7. Review progress on guidelines incorporated from CERT
27-
* [High-level mapping of CERT rule groups to Rust](https://github.com/rustfoundation/safety-critical-rust-coding-guidelines/issues/152)
28-
* Integers \- Félix
29-
* Arrays \- Alex
30-
* Floating Point \- Andrew
31-
8. Discuss collaboration with ANSSI regarding their Secure Rust Coding Guidelines
32-
* [deployed version](https://anssi-fr.github.io/rust-guide/)
33-
* [repo](https://github.com/ANSSI-FR/rust-guide)
34-
9. Round table
13+
1. Solicitation of notetaker
14+
2. Acceptance of [Previous Meeting Minutes](https://github.com/rustfoundation/safety-critical-rust-consortium/blob/main/subcommittee/coding-guidelines/meetings/2025-10-01/minutes.md)
15+
3. Introduction of new members
16+
4. October 14th, 15th \- Global Virtual Meetup (Pete LeVasseur)
17+
* Agenda posted to Zulip and shared on mailing list
18+
* [Link](https://rust-lang.zulipchat.com/#narrow/channel/445688-safety-critical-consortium/topic/2025.20Late.20Year.20Global.20Virtual.20Meetup/near/540871684) to Zulip message with agenda in PDF
19+
5. Share launch milestone & Kanban board (Pete LeVasseur)
20+
* [Prepare for launch to wider Rust community](https://github.com/rustfoundation/safety-critical-rust-coding-guidelines/milestone/1)
21+
* [Kanban board](https://github.com/orgs/rustfoundation/projects/1/views/3)
22+
* [`contributor experience`](https://github.com/orgs/rustfoundation/projects/1/views/4) view
23+
* [`coding guideline`](https://github.com/orgs/rustfoundation/projects/1/views/5) view
24+
6. Review Clippy lint \=\> coding guidelines categorization (David Svoboda, Félix Fischer)
25+
* [Tracking issue: Identify Clippy lints suitable for creating safety-critical guidelines](https://github.com/rustfoundation/safety-critical-rust-coding-guidelines/issues/86)
26+
7. Discuss collaboration with ANSSI regarding their Secure Rust Coding Guidelines (Pete LeVasseur)
27+
* [deployed version](https://anssi-fr.github.io/rust-guide/)
28+
* [repo](https://github.com/ANSSI-FR/rust-guide)
29+
8. \<= triage line \=\>
30+
9. WG23 Involvement \[Alex Celeste\]
31+
10. Review progress on guidelines incorporated from CERT
32+
* [High-level mapping of CERT rule groups to Rust](https://github.com/rustfoundation/safety-critical-rust-coding-guidelines/issues/152)
33+
* Integers \- Félix Fischer
34+
* Arrays \- Alex Celeste
35+
* Floating Point \- Andrew Fernandes
36+
11. Round table
37+
38+
## People Pete had to admit, i.e. we need another Google Meet-friendly email address on file
39+
40+
* Daniel Krippner
41+
* Tshepang
42+
* Christof
43+
* Lachlan
44+
* Gideon
45+
* Max Jacinto
3546

3647
## **Check-in area**
3748

3849
**Please add your name, and an emoji that describes your day.**
3950

40-
* xx
41-
* xx
42-
* xx
43-
* xx
44-
* xx
45-
* xx
46-
* xx
47-
* xx
48-
* xx
49-
* xx
50-
* xx
51+
* Pete LeVasseur ✈️🧑‍💻
52+
* Oreste Bernardi 🪂
53+
* Daniel Krippner 🙂
54+
* William Barsse :)
55+
* David Svoboda :)
56+
* Christof Petig (missing a wasm unicode symbol)
57+
* Félix Fischer 🥱☕
58+
* Samuel Wright 🌞
59+
* Robert C. Seacord 😣
60+
* Tshepang
61+
* Max Jacinto 👾
5162

52-
**Notetaker:**
53-
54-
* xx
63+
**Notetaker: Oreste Bernardi**
5564

5665
For tips on how we take notes in the Safety-Critical Rust Consortium, please see the [Meeting Notetaker Role](https://github.com/rustfoundation/safety-critical-rust-consortium/blob/main/docs/notetaker-role.md) doc.
5766

@@ -65,11 +74,41 @@ For tips on how we take notes in the Safety-Critical Rust Consortium, please see
6574

6675
## **Tasks**
6776

68-
* Search for the \[todo\] markers
77+
* Is there a rule about type inference in Misra C++ ?
78+
* \[Pete\] Which is the strategy regarding the rule checking between Clippy and Rust compiler ?
6979

7080
## **Meeting Minutes**
7181

72-
* xx
82+
* [Previous Meeting Minutes](https://github.com/rustfoundation/safety-critical-rust-consortium/blob/main/subcommittee/coding-guidelines/meetings/2025-10-01/minutes.md) accepted
83+
* Introduction of new members:
84+
* Daniel Kripper
85+
* Lachlan Dowling
86+
* William Barsse
87+
* Max Jacinto Mestanza
88+
* Global Virtual Meetup
89+
* Discussed information location (see agenda)
90+
* Request to discuss with our organization on funding in person meetup.
91+
* Presented agenda. If members have topics, it is possible to allocate them.
92+
* Launch milestone & Kanban board
93+
* Open for contribution. Milestone reviewed.
94+
* Kanban board presented.
95+
* Review Clippy lint
96+
* David and Felix worked on which rules of Clippy can be useful.
97+
* Presented a spreadsheet that is used to track the Clippy rule activity.
98+
* Most of "suspicious" could become a good guideline rule.
99+
* Some of the Clippy rules look like they address uncommon situations. Focus on useful rules. Red rules (not good rules), green good rules.
100+
* Question: Do we need a general coding guidelines rule about type inference ? → Maybe a recommendation
101+
* Question which is the strategy about warnings check in Clippy and compiler:
102+
* Deprecated language features goes in compiler
103+
* Performance rules to Clippy
104+
* When a suspicious/correctness rule is stabilized, it could be moved from Clippy to Rust compiler
105+
* Discuss collaboration with ANSSI regarding their Secure Rust Coding
106+
* There is an overlap with safety coding guidelines.
107+
* The license is strange.
108+
* It is not possible to be safe without being secure. → Make sense to have one guideline.
109+
* Round table
110+
* Big appreciation of the presentation [Rust@Rivian](https://youtu.be/3RIxy9YE-Yk?list=PL2b0df3jKKiRFEuVNk76ufXagOgEJ9sBZ). Wish to have more companies coming out on Rust usage.
111+
73112

74113
## **Material**
75114

0 commit comments

Comments
 (0)