Hacker News
- Show HN: Kotlin∇: Shape-Safe Symbolic Differentiation with Algebraic Data Types https://github.com/breandan/kotlingrad 2 comments
- Kotlingrad: A shape-safe DSL for differentiable programming https://github.com/breandan/kotlingrad 17 comments
- Kotlin∇: Type-safe Symbolic Differentiation for the JVM https://github.com/breandan/kotlingrad 2 comments java
- Kotlin∇: Type-safe Symbolic Differentiation for Kotlin https://github.com/breandan/kotlingrad 6 comments programming
Linked pages
- Software 2.0. I sometimes see people refer to neural… | by Andrej Karpathy | Medium https://karpathy.medium.com/software-2-0-a64152b37c35 411 comments
- Kotlin Programming Language http://kotlinlang.org 254 comments
- The Matrix Calculus You Need For Deep Learning https://explained.ai/matrix-calculus/ 242 comments
- Hacker's guide to Neural Networks http://karpathy.github.io/neuralnets/ 181 comments
- http://arxiv.org/abs/1605.05274 101 comments
- GitHub - google/jax: Composable transformations of Python+NumPy programs: differentiate, vectorize, JIT to GPU/TPU, and more https://github.com/google/jax 99 comments
- https://www.math.uwaterloo.ca/~hwolkowi/matrixcookbook.pdf 98 comments
- miniKanren.org http://minikanren.org 81 comments
- Neural Networks, Types, and Functional Programming -- colah's blog http://colah.github.io/posts/2015-09-NN-Types-FP/ 80 comments
- GitHub - google-research/dex-lang: Research language for array processing in the Haskell/ML family https://github.com/google-research/dex-lang 74 comments
- Halide https://halide-lang.org/ 73 comments
- Liskov substitution principle - Wikipedia http://en.wikipedia.org/wiki/Liskov_substitution_principle 69 comments
- http://www.jmlr.org/papers/volume18/17-468/17-468.pdf 68 comments
- GitHub - HuwCampbell/grenade: Deep Learning in Haskell https://github.com/HuwCampbell/grenade 68 comments
- First-Class Automatic Differentiation in Swift: A Manifesto · GitHub https://gist.github.com/rxwei/30ba75ce092ab3b0dce4bde1fc2c9f1d 63 comments
- [1610.07690] Operational Calculus for Differentiable Programming https://arxiv.org/abs/1610.07690 61 comments
- Einstein Summation in Numpy | Olexa Bilaniuk's IFT6266H16 Course Blog https://obilaniu6266h16.wordpress.com/2016/02/04/einstein-summation-in-numpy/ 41 comments
- Practical Dependent Types in Haskell: Type-Safe Neural Networks (Part 1) · in Code https://blog.jle.im/entry/practical-dependent-types-in-haskell-1.html 32 comments
- Higher-order function - Wikipedia https://en.wikipedia.org/wiki/Higher-order_function 30 comments
- Type arithmetic - HaskellWiki https://wiki.haskell.org/Type_arithmetic 24 comments
Would you like to stay up to date with Java? Checkout Java
Weekly.
Related searches:
Search whole site: site:github.com
Search title: GitHub - breandan/kotlingrad: 🧩 Shape-Safe Symbolic Differentiation with Algebraic Data Types
See how to search.