Hacker News
- Typesafe Neural Networks in Haskell with Dependent Types https://blog.jle.im/entry/practical-dependent-types-in-haskell-1.html 18 comments
- Practical Dependent Types in Haskell -- Type Safe Neural Networks https://blog.jle.im/entry/practical-dependent-types-in-haskell-1.html 14 comments haskell
Linking pages
- GitHub - HuwCampbell/grenade: Deep Learning in Haskell https://github.com/HuwCampbell/grenade 68 comments
- A Purely Functional Typed Approach to Trainable Models (Part 1) · in Code https://blog.jle.im/entry/purely-functional-typed-models-1.html 32 comments
- GitHub - breandan/kotlingrad: 🧩 Shape-Safe Symbolic Differentiation with Algebraic Data Types https://github.com/breandan/kotlingrad 27 comments
- Introduction to Singletons (Part 1) · in Code https://blog.jle.im/entry/introduction-to-singletons-1.html 14 comments
- Automatic Propagation of Uncertainty with AD · in Code https://blog.jle.im/entry/automatic-propagation-of-uncertainty-with-ad.html 13 comments
- Building an autodifferentiation library | by Maciej Kula | Medium https://medium.com/@maciejkula/building-an-autodifferentiation-library-9ccf32c7a658 10 comments
- Practical Dependent Types in Haskell 2: Existential Neural Networks and Types at Runtime · in Code https://blog.jle.im/entry/practical-dependent-types-in-haskell-2.html 8 comments
- Dimensions and Haskell: Introduction https://serokell.io/blog/dimensions-and-haskell-introduction 0 comments
Linked pages
- Logistic function - Wikipedia https://en.wikipedia.org/wiki/Logistic_function 118 comments
- reddit.com: Anmelden http://reddit.com/submit 54 comments
- Implementing a minimal version of haskell-servant - Well-Typed: The Haskell Consultants http://www.well-typed.com/blog/2015/11/implementing-a-minimal-version-of-haskell-servant/ 28 comments
- Artificial neural network - Wikipedia https://en.wikipedia.org/wiki/artificial_neural_network 27 comments
- Bitbucket | Git solution for teams using Jira http://jozefg.bitbucket.org/posts/2014-08-25-dep-types-part-1.html 25 comments
- Automatic Propagation of Uncertainty with AD · in Code https://blog.jle.im/entry/automatic-propagation-of-uncertainty-with-ad.html 13 comments
- Practical Dependent Types in Haskell 2: Existential Neural Networks and Types at Runtime · in Code https://blog.jle.im/entry/practical-dependent-types-in-haskell-2.html 8 comments
- Backpropagation - Wikipedia https://en.m.wikipedia.org/wiki/Backpropagation 6 comments
- singletons: Basic singleton types and definitions https://hackage.haskell.org/package/singletons 6 comments
- The Haskell Tool Stack https://haskellstack.org/ 1 comment
- Haskell/GADT - Wikibooks, open books for an open world https://en.wikibooks.org/wiki/Haskell/GADT 0 comments
Would you like to stay up to date with Haskell? Checkout Haskell
Weekly.
Related searches:
Search whole site: site:blog.jle.im
Search title: Practical Dependent Types in Haskell: Type-Safe Neural Networks (Part 1) · in Code
See how to search.