{"author":"cmrx64","children":[],"created_at":"2026-05-31T19:24:45.000Z","created_at_i":1780255485,"id":48348834,"options":[],"parent_id":null,"points":4,"story_id":48348834,"text":"based on a conversation I had with Ramana Kumar in 2016.","title":"Show HN: CakeML-based self-verifying, self-improving system","type":"story","url":"https://emberian.github.io/svenvs/"}