HK
Heykuki News
Top
New
Best
Ask
Show
Jobs
Toggle theme
Top
New
Best
Ask
Show
Jobs
Request
1.
▲
CakeML: A verified implementation of ML
github.com/CakeML
20 comments
10 years ago
poppingtonic
53 points
2.
▲
CakeML: A Verified Implementation of ML
github.com/CakeML
discuss
7 years ago
adgasf
1 points
3.
▲
Show HN: Birthday-Cake Loading – Rich Next.js without punishing slow devices
github.com/shiftbloom-studio
discuss
6 months ago
zimtzimt
4 points
4.
▲
Project helping to run Image Classification Models on iOS devices
github.com/makeml-app
discuss
6 years ago
lekorotkov
2 points