Sunday, May 31, 2026

Show HN: CakeML-based self-verifying, self-improving system https://ift.tt/5zNTxu3

Show HN: CakeML-based self-verifying, self-improving system based on a conversation I had with Ramana Kumar in 2016. https://emberian.github.io/svenvs/ June 1, 2026 at 12:54AM

No comments:

Show HN: Zaxy v1.0 https://ift.tt/CGgsNza

Show HN: Zaxy v1.0 https://docs.zaxy.io/ June 1, 2026 at 02:49AM