Hacker News new | ask | show | jobs
Show HN: CakeML-based self-verifying, self-improving system (emberian.github.io)
4 points by cmrx64 24 days ago
based on a conversation I had with Ramana Kumar in 2016.