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: Pay-per-Crawl – make AI crawlers pay per page in USDC, for 10 stacks https://ift.tt/FCAdPbl

Show HN: Pay-per-Crawl – make AI crawlers pay per page in USDC, for 10 stacks https://ift.tt/QjAFVsd October 17, 2026 at 11:46PM