Hacker News new | past | comments | ask | show | jobs | submit | from login

This Year in Robigalia (robigalia.org) 61 points by cmrx64 on Dec 28, 2016 | past | 6 comments Putting the Rust in Trust (robigalia.org) 2 points by vivagn on Nov 16, 2016 | past Putting the Rust in Trust: A Path to Rust Verification (robigalia.org) 10 points by cmrx64 on Nov 15, 2016 | past Robigalia: seL4 and Rust (robigalia.org) 129 points by xj9 on Jan 6, 2016 | past | 63 comments

Join us for AI Startup School this June 16-17 in San Francisco! Guidelines | FAQ | Lists | API | Security | Legal | Apply to YC | Contact Search: