Hacker GitHub

← All repos

breandan/kotlingrad

View on GitHub ↗ ★ 545 Kotlin

🧩 Shape-Safe Symbolic Differentiation with Algebraic Data Types

13 mentions on Hacker News by 4 people: 4 stories, 9 comments · first 2019-01-18 · latest 2022-05-04

Mentions per year 13 mentions · busiest year 2019 (6)
20082026
AllStoriesComments NewestTopOldest
  1. The most next gen autodiff library probably is https://github.com/breandan/kotlingrad because of its features, ergonomy and type safety
    comment by SemanticStrengh · 2022-05-04 · in Jax vs. Julia (Vs PyTorch)
  2. …continuations becomes more stable. The linked section may be found here [1], for posterity. [1]: https://github.com/breandan/kotlingrad/tree/c02ac55325c05a2e...
    comment by bmc7505 · 2022-01-07 · in Trade-Offs in Automatic Differentiation: TensorFlow, PyTorch, Jax, and Julia
  3. https://github.com/breandan/kotlingrad#coroutines
    comment by The_rationalist · 2021-12-25 · in Trade-Offs in Automatic Differentiation: TensorFlow, PyTorch, Jax, and Julia
  4. ….facebook.com/blog/paving-the-way-for-software-20-... and that there is a mature library for autodiff https://github.com/breandan/kotlingrad
    comment by The_rationalist · 2021-12-25 · in Trade-Offs in Automatic Differentiation: TensorFlow, PyTorch, Jax, and Julia
  5. ▲ 15
    Show HN: Kotlin∇: Shape-Safe Symbolic Differentiation with Algebraic Data Types
    story by bmc7505 · 2021-04-24 · 2 comments
  6. …[4] https://contributors.scala-lang.org/t/pre-sip-for-with-contr... [5] https://github.com/breandan/kotlingrad [6] https://developer.nvidia.com/blog/grcuda-a-polyglot-language...
    comment by johnnycerberus · 2021-02-13 · in Swift for TensorFlow Shuts Down
  7. ▲ 3
    Programming Tools for Intelligent Systems [pdf]
    story by bmc7505 · 2020-04-09 · 0 comments
  8. …[2]: https://github.com/Kotlin/kotlin-spec/blob/master/grammar/sr... [3]: https://github.com/breandan/kotlingrad/blob/master/src/main/... [4]: https://github.com/breandan/kotlingrad/blob/master/src/main/...
    comment by bmc7505 · 2019-11-04 · in Kotlingrad: A shape-safe DSL for differentiable programming
  9. …[6]: https://arxiv.org/pdf/1902.05465.pdf [7]: https://www.cs.ubc.ca/~fwood/CS532W-539W/ [8]: https://github.com/breandan/kotlingrad/blob/master/latex/the...
    comment by bmc7505 · 2019-11-04 · in Kotlingrad: A shape-safe DSL for differentiable programming
  10. …from real users. You can find some toy examples, including the core of our implementation here: https://github.com/breandan/kotlingrad/tree/master/src/main/... Please feel free to reach out if you have any questions or comments. Thanks so…
    comment by bmc7505 · 2019-11-04 · in Kotlingrad: A shape-safe DSL for differentiable programming
  11. ▲ 76
    Kotlingrad: A shape-safe DSL for differentiable programming
    story by bmc7505 · 2019-11-03 · 17 comments
  12. …for multidimensional arrays (under certain constraints). You can read more about our approach here: https://github.com/breandan/kotlingrad
    comment by bmc7505 · 2019-10-27 · in Dex: A research language for array processing in the Haskell/ML family
  13. ▲ 1
    Kotlin𝛁: Differentiable Functional Programming with Algebraic Data Types
    story by bmc7505 · 2019-01-18 · 0 comments