Every story and comment from the Hacker News API, in a layout borrowed from 2001.
A comment on Why Computing Students Should Contribute to Open Source Software Projects. Parent comment
I found one recently that does some interesting stuff, a formal verification library for Rust: https://www.pm.inf.ethz.ch/research/prusti.html
There are no comments on this comment yet.
I found one recently that does some interesting stuff, a formal verification library for Rust: https://www.pm.inf.ethz.ch/research/prusti.html