| | Formal Verification in the Age of AI (verse.systems) |
| 2 points by matt_d 70 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 |
|
