Conversion between common time zones of attendees.
| Search Key | Description |
|---|---|
| [todo] | Action Item |
| [decision] | Something decided on |
| [important] | Key information |
- Solicitation of notetaker
- Acceptance of Previous Meeting Minutes
- Introduction of new members
- Review - clippy lints suitable for creating safety-critical guidelines ~10m
- Safety-Critical-Rust-Consortium/safety-critical-rust-coding-guidelines#86
- https://docs.google.com/spreadsheets/d/1rRhB9ch0r5hpg5Mb65Prn5Nto05CZ4EjSOdBEZWwVIo/edit?gid=0#gid=0
- Anyone else interested in contributing? Feel free to put your name in the notes!
- Review - Defects vs Subsets ~10m
- Roundtable items
- Review session - 20 mins
Please add your name, and an emoji that describes your day.
- Alex Celeste 🙂
- David Svoboda 🙂
- Pete LeVasseur, 💤
- Andrew Fernandes
☺️ ☕ - Robert C. Seacord 🙈
- Oreste Bernardi😶🌫️
- Douglas Deslauriers 🐦
- El Mahdi El Araby 🦭
- Sam Wright 💤
- Stephen Hedrick 🤠
- Markus Hosch 🪄
- Félix Fischer 😪
- Christof Petig 😐
- Andrew Fernandes
- Document space: coding-guidelines
- Zulip: safety-critical-consortium: Coding Guidelines
- Early Alpha Milestone
- No new members
- Review of Clippy Lints to/from Coding Guidelines
- Concern: “Everyone has their own definition of ‘Safety Critical’”
- Additional Discussion: Identify Clippy lints suitable for creating safety-critical guidelines #86
- Review of Defects vs Subsets
- Discussion of “category: required” and “decidability: undecidable”
- Is it because it is impossible, or because specific tools cannot do it?
- Possible reframing from “undecidable” to “decidable with manually verified restrictions”
- Roundtable Items
- How to think about “unintended integer division by zero”? Is it unsafe? How is it verified or not or annotated?
- In
Cit is undefined behavior, but Rust does not have that (we hope)
Any material to read before the meeting should be included here.