News for hackers. Stuff that matters.

A comment on Rust testing or verifying: Why not both?.

Re:Rust testing or verifying: Why not both? by pjmlp on Friday September 04, 2020 @07:24AM (#24373955)
More interesting, is that from his blog I ended up on Project Oak, being written in Rust

https://github.com/project-oak/oak

[ Parent | on HN ]
Re:Rust testing or verifying: Why not both? by adreid on Friday September 04, 2020 @07:56AM (#24374128)
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.
[ Parent | on HN ]
Re:Rust testing or verifying: Why not both? by pjmlp on Friday September 04, 2020 @08:32AM (#24374341)
On the other hand I guess those are nice opportunities for new papers on the domain. :)

Very interesting research area.

[ Parent | on HN ]