which ones ? would like to watch them. thanks in advance | Hacker News

Hacker Newsnew | past | comments | ask | show | jobs | submit

		lmf4lol 1 day ago \| parent \| context \| favorite \| on: FOSDEM 2026 – Open-Source Conference in Brussels –... which ones ? would like to watch them. thanks in advance

throw567643u8 1 day ago [–]

- Open source security in spite of AI.

- Formal verification in Rocq, an exhaustive testing.

Guidelines | FAQ | Lists | API | Security | Legal | Apply to YC | Contact