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

(emberian.github.io) by cmrx64 | May 31, 2026 | 0 comments on HN