Hacker News new | past | comments | ask | show | jobs | submit | from login
Using LLMs to Generate Fuzzers (verse.systems)
156 points by moyix on March 9, 2024 | past | 28 comments
Proofs and Side Effects (verse.systems)
1 point by matt_d on Oct 2, 2018 | past
On Teaching Software Engineering: Proving why “those who can't, teach” (verse.systems)
2 points by ingve on July 25, 2016 | past

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

Search: