News for hackers. Stuff that matters.

A comment on The beauty of functional languages in deep learning – Clojure and Haskell. Parent comment

Re:The beauty of functional languages in deep learning – Clo... by mlevental on Thursday September 12, 2019 @05:46PM (#20956815)
i'm sorry but what is the shape or form of a proof? a function maybe - and calligraphy is certainly an art but what's wholly different from what the function encodes.
[ Parent | on HN ]
Re:The beauty of functional languages in deep learning – Clo... by tempWinHater on Friday September 13, 2019 @12:12PM (#20963392)
Proofs have structure, i.e., shape or form.
[ Parent | on HN ]
Re:The beauty of functional languages in deep learning – Clo... by mlevental on Saturday September 14, 2019 @11:46AM (#20971534)
they have a logical structure (claim, lemma, lemma, proof, etc.). they do not have a shape in the sense that the person i responded to intends.
[ Parent | on HN ]