Show HN: CakeML-based self-verifying, self-improving systememberian.github.io 4 pointscmrx643 months agodiscussSaveHideCopy link On HNbased on a conversation I had with Ramana Kumar in 2016.Comments No comments yet.
Comments
No comments yet.