Heykuki News
Top
New
Best
Ask
Show
Jobs
Toggle theme
Login
Top
New
Best
Ask
Show
Jobs
Show HN: CakeML-based self-verifying, self-improving system
emberian.github.io
4 points
cmrx64
3 days ago
based on a conversation I had with Ramana Kumar in 2016.
Add Comment
No comment yet