Show HN: CakeML-based self-verifying, self-improving systememberian.github.io
4 points by cmrx64 23 hours ago | 0 comments