top | item 46848491 (no title) throw567643u8 | 28 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. discuss order hn newest lmf4lol|28 days ago which ones ? would like to watch them. thanks in advance throw567643u8|28 days ago - Open source security in spite of AI.- Formal verification in Rocq, an exhaustive testing.
lmf4lol|28 days ago which ones ? would like to watch them. thanks in advance throw567643u8|28 days ago - Open source security in spite of AI.- Formal verification in Rocq, an exhaustive testing.
throw567643u8|28 days ago - Open source security in spite of AI.- Formal verification in Rocq, an exhaustive testing.
lmf4lol|28 days ago
throw567643u8|28 days ago
- Formal verification in Rocq, an exhaustive testing.