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