4 ms·
> 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 exac
by throw567643u8 8mo ago
> 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.
- lmf4lol 8mo agowhich ones ? would like to watch them. thanks in advance
- throw567643u8 8mo ago- Open source security in spite of AI. - Formal verification in Rocq, an exhaustive testing.