Hacker News new | ask | show | jobs
by pjmlp 2108 days ago
More interesting, is that from his blog I ended up on Project Oak, being written in Rust

https://github.com/project-oak/oak
1 comments
adreid 2108 days ago
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.
link
pjmlp 2108 days ago
On the other hand I guess those are nice opportunities for new papers on the domain. :)

Very interesting research area.

link