That is the project we are trying to support with our work. Unfortunately, this ... | Hacker News

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

		adreid on Sept 4, 2020 \| parent \| context \| favorite \| on: Rust testing or verifying: Why not both? That is the project we are trying to support with our work. Unfortunately, this means I have to solve lots of hard problems like scaling, usability, modular verification, etc.

pjmlp on Sept 4, 2020 [–]

On the other hand I guess those are nice opportunities for new papers on the domain. :)

Very interesting research area.

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