> What is the FOSDEM community's answer to the real concerns that these changes pose ?
I only caught half a dozen talks, and two of them talked about this exact point.
> What is the FOSDEM community's answer to the real concerns that these changes pose ?
I only caught half a dozen talks, and two of them talked about this exact point.
which ones ? would like to watch them. thanks in advance
- Open source security in spite of AI.
- Formal verification in Rocq, an exhaustive testing.