CakeML-based self-verifying, self-improving system
Show HN: CakeML-based self-verifying, self-improving system
CakeML-based self-verifying, self-improving system is active in the show hn launch space.
Profile
based on a conversation I had with Ramana Kumar in 2016.
The company sits in the show hn launch segment, where it competes on its core product or service.
It is recorded at the Show HN launch stage.
| Sector | Show HN launch |
|---|---|
| Stage | Show HN launch |
Website: emberian.github.io/svenvs
Browse related
Full contact details are available to registered Pixilab members.
Create a free account
Create a free account