You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
Every last Wednesday of the month, the Leios team hosts a public review meeting to share progress, foster transparency, and invite early feedback from everyone—builders, curious community members, and innovation teams who may overlap with Leios in the future.
8
+
9
+
These sessions cover the latest updates from each workstream, followed by an open Q&A where anyone can ask questions about Leios. Our goal is to keep the community informed and engaged as the project evolves.
10
+
11
+
**Workstreams covered in each review:**
12
+
- Research
13
+
- Formal specification & conformance testing
14
+
- Delta QSD
15
+
- Simulations (Rust & Haskell)
16
+
- General analysis (economical, technical, performance, etc.)
17
+
18
+
Stay up to date with the latest progress and discussions! Below you'll find links to our monthly review videos, summarizing key milestones, research updates, and community Q&A.
19
+
20
+
:::info
21
+
Until the end of 2024, our monthly review meetings were recorded via Google Meet and shared as links. Starting in 2025, we began live streaming these sessions on [YouTube](https://www.youtube.com/playlist?list=PLnPTB0CuBOBzWWpnojAK3ZaFy9RdofP6l) for greater accessibility and transparency. For some months, due to technical issues (e.g., screen sharing or audio problems), we may provide a fallback Google Meet recording instead of the YouTube stream.
0 commit comments