HN
Hacker News
Top
New
Best
Ask
Show
Jobs
Comment by lmf4lol | Hacker News Reader
Parent
Full thread
lmf4lol
·
which ones ? would like to watch them. thanks in advance
View on HN
throw567643u8
·
- Open source security in spite of AI.
- Formal verification in Rocq, an exhaustive testing.
Reply on news.ycombinator.com