Show HN: CakeML-based self-verifying, self-improving system (emberian.github.io) 4 points by cmrx64 1mo ago ↗ HN based on a conversation I had with Ramana Kumar in 2016.
0 comments
[ 2.6 ms ] story [ 13.0 ms ] threadNo comments yet.