Show HN: CakeML-based self-verifying, self-improving system(emberian.github.io) based on a conversation I had with Ramana Kumar in 2016. |
No comments yet
Show HN: CakeML-based self-verifying, self-improving system(emberian.github.io) based on a conversation I had with Ramana Kumar in 2016. |