HN Gopher Feed (2017-07-10) - page 1 of 10
 
___________________________________________________________________
Certigrad: bug-free machine learning on stochastic computation
graphs
40 points by kg9000
https://github.com/dselsam/certigrad
___________________________________________________________________
 
binarymax - 1 hours ago
Meta to the Certigrad project, for those mystified by the 'lean'
programming language, here is a good start:
https://leanprover.github.io/programming_in_lean/programming...
 
  taneq - 2 minutes ago
  PDF warning for those of us on mobile.