Hacker News new | ask | show | jobs
by throw567643u8 136 days ago
- Open source security in spite of AI.

- Formal verification in Rocq, an exhaustive testing.