HEIR meeting 2023-08-29

Notes from the 2023-08-29 HEIR meeting.

Here are the notes from the HEIR meeting on 2023-08-29. There was an issue with the recording, so there is no video recording this week.

Last modified September 6, 2023: add blog post for 8/29 meeting notes (a2874f85)