Y
Hacker News
new
|
ask
|
show
|
jobs
Show HN: CakeML-based self-verifying, self-improving system
(
emberian.github.io
)
4 points
by
cmrx64
24 days ago
based on a conversation I had with Ramana Kumar in 2016.