Hacker News new | ask | show | jobs
by throw567643u8 139 days 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.

1 comments

which ones ? would like to watch them. thanks in advance
- Open source security in spite of AI.

- Formal verification in Rocq, an exhaustive testing.