Heykuki News
Top
New
Best
Ask
Show
Jobs
Toggle theme
Login
Top
New
Best
Ask
Show
Jobs
1.
▲
Certigrad: bug-free machine learning on stochastic computation graphs
(github.com/dselsam)
99 points
kg9000
9 years ago
52 comments
2.
▲
NeuroSAT: Learning a SAT Solver De Novo from Data
(github.com/dselsam)
2 points
pkay
8 years ago
discuss
3.
▲
Show HN: Hebo Gateway, an embeddable AI gateway with OpenAI-compatible endpoints
(github.com/8monkey-ai)
3 points
dselvaggio
4 months ago
discuss