Hacker News new | ask | show | jobs
We rewrote an ML Framework* in Lean, (and yes it is faster*) (theoric.com)
2 points by hargup 29 days ago