Hacker News new | ask | show | jobs
by lmf4lol 140 days ago
which ones ? would like to watch them. thanks in advance
1 comments
throw567643u8 140 days ago
- Open source security in spite of AI.

- Formal verification in Rocq, an exhaustive testing.

link