Show HN: CakeML-based self-verifying, self-improving systememberian.github.io4 points·cmrx64··0 commentsbased on a conversation I had with Ramana Kumar in 2016.Open articleSaveView on HN