which ones ? would like to watch them. thanks in advance
- Open source security in spite of AI.
- Formal verification in Rocq, an exhaustive testing.