Hacker News new | ask | show | jobs
by gameswithgo 2300 days ago
firefox has tracked some stats on this that are very promising. rust and reason also share a lot of the key correctness features