For the best experience on desktop, install the Chrome extension to track your reading on news.ycombinator.com
Hacker Newsnew | past | comments | ask | show | jobs | submit | history | fromregister
Formal Verification in the Age of AI (verse.systems)
2 points by matt_d 41 days ago | past | 1 comment
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:

HN For You