---
# System prepended metadata

title: Meeting 2023-05-31
tags: [meeting notes]

---

# Meeting 2023-05-31
<!-- Leave your topic starting with ### in the relevant sections below -->

## Critical
<!-- bugs, soundness issues, urgent patches/reviews etc. -->

## Status Reports
<!-- You want to report on something you are working on/request reviews.
Or you want to know the status of something someone else is doing -->

Last meeting with Lina and Daniel:

https://hackmd.io/mPKVfgrKT02L8gQTboLpSg#Feedbacks-from-Daniel

## Discussion Questions
<!-- Anything that requires lengthy discussion/more general questions also fit here -->

### Unstable Rust features

It seems like there are three categories:

 * Disable stuff we don't want.
 * Fallible / uninitialized allocations.
 * Making our custom Arc work.

## Miscellaneous
<!-- stuff that does not fit into other categories -->
