Show HN: CakeML-based self-verifying, self-improving system emberian.github.io 4 points by cmrx64 20 days ago · 0 comments · 1 min read Reader PiP Save based on a conversation I had with Ramana Kumar in 2016. No comments yet.