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
-
Labels:

No comments:

Post a Comment

Subscribe to: Post Comments (Atom)

Show HN: Keel - A conductor, not an agent loop https://ift.tt/MvcbXo2

Show HN: Keel - A conductor, not an agent loop https://daneb.github.io/keel/ September 1, 2026 at 01:52AM