We rewrote an ML Framework* in Lean, (and yes it is faster*) (theoric.com) 2 points by hargup 2mo ago ↗ HN
0 comments
[ 2.6 ms ] story [ 9.5 ms ] threadNo comments yet.