Skip to content

minutes.md

Latest commit

 

History

History
77 lines (63 loc) · 4.48 KB

minutes.md

File metadata and controls

77 lines (63 loc) · 4.48 KB
Raw

Tooling Subcommittee Meeting on 5 June 2026 @ 4pm GMT

Search Key Description
[todo] Action Item
[decision] Something decided on
[important] Key information

Agenda

  1. Solicitation of notetaker
  2. Review last and last-last time's meeting minutes
    1. #633
    2. #675
  3. Present new members
  4. Tooling Task Force
    1. Why no preview #310
  5. Rust Project Bridge Task Force
    1. Updates from Rust Project Safety-Critical Rust Roadmap
    2. Soliciting those interested in Establish a Spot for Safety-Critical Lints in Clippy goal
      1. Register interest here on Rust Zulip
    3. Soliciting those interested in Normative Documentation for Sound unsafe Rust goal
      1. Register interest here on Rust Zulip
    4. Technical Marketing Track / Sessions
  6. Rust Project t-fls

Check-in area

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

  • Pete LeVasseur ✍️🦀
  • Stefan Akatyschew :-)
  • Tony Aiello 😴
  • Mark Hermeling ☀️
  • Arnaud Fontaine 🙂
  • Oreste Bernardi 🏕️
  • Manuel Hatzl
  • Zalán Bálint Lévai 😅

Notetaker:

  • Stefan Akatyschew

Housekeeping section

Xx

Tasks

Meeting Minutes

  • Review last and last-last time's meeting minutes
  • Tooling Task Force
    • Member of task force attended
    • Feedback on nuclear standard outstanding
    • No new tool requests so far
    • Handshake deal to acquire the standards lists for the committee; the list of standards to be acquired is still TBD and should be committed to GitHub
    • Work got merged last month, can be viewed here: https://arewesafetycriticalyet.org/tooling/tools-list
  • Rust Project Bridge Task Force
    • There is a Roadmap for FuSa in Rust including e.g. MC/DC, normative documentation of using unsafe Rust, etc.
    • Soliciting those interested in Establish a Spot for Safety-Critical Lints in Clippy goal
      • Initial meeting went well to get on-boarded; Pete needs to publish the notes
    • Soliciting those interested in Normative Documentation for Sound unsafe Rust goal
      • Initial meeting went well to understand next steps; Pete needs to publish the notes
      • Iceoryx team is investigating some undefined behavior in the std library and discussing it with the operational semantics teams
    • Technical Marketing Track / Sessions
      • Xx
  • Rust Project FLS
    • Request: if interested in getting involved with the FLS team, feel free to post in Zulip to get onboarded and shown how to contribute; a lot to do, help appreciated
    • Q: It is questioned if enough "consumers" of the FLS are involved, e.g. compiler vendors
      • A: Ferrous is investing a lot of time, also AdaCore
    • There are quite some perks with getting involved: e.g. you get invited to the Unconf or Rust all-hands