Show HN: CakeML-based self-verifying, self-improving system

 (emberian.github.io)

3 points | by cmrx64 2 hours ago

0 comments