google-research/dex-lang
View on GitHub ↗ ★ 1,706 Haskell
Research language for array processing in the Haskell/ML family
16 mentions on Hacker News by 16 people: 4 stories, 12 comments · first 2019-10-26 · latest 2026-08-22
20082026
-
I expected a reference to Dex, but they seem to be unrelated? https://github.com/google-research/dex-lang
comment by cl3misch · 2026-08-22 · in Show HN: Rex, a parallel functional language for scientific workflows -
▲ 4
Dex: Research language for array processing in the Haskell/ML familystory by tosh · 2026-04-13 · 0 comments
-
I still am excited by Dex ( https://github.com/google-research/dex-lang/ ) and still write code in it! I have a bunch of demos and fixes written, and am just waiting for Dougal to finish his latest re-write before I can merge them.
comment by duvenaud · 2024-11-22 · in Bayesian Neural Networks -
…ML researchers apparently don’t want to touch anything that doesn’t look exactly like Python. [1]: https://github.com/google-research/dex-lang
comment by funks_ · 2024-08-16 · in The future of Deep Learning frameworks -
A really nice approach to this I've seen recently is Google's research on [Dex]( https://github.com/google-research/dex-lang ).
comment by Twey · 2024-01-14 · in Thinking in an array language (2022) -
…://saltysylvi.github.io/blog/bqn-macros.html [3]: https://mlochbaum.github.io/BQN/doc/rebqn.html [4]: https://github.com/google-research/dex-lang
comment by martinsmit · 2023-09-28 · in Function Composition in Programming Languages [video] -
▲ 65
Dex Lang: Research language for array processing in the Haskell/ML familystory by tim_sw · 2023-05-01 · 8 comments
-
…processing from the team behind the Jax machine learning library. Early stage research project. https://github.com/google-research/dex-lang Rune, a language focused on security, early stage research project. https://github.com/google/rune…
comment by throwaway484 · 2022-11-26 · in Mangle, a programming language for deductive database programming -
Dex proves indexing correctness without a full dependent type system, including loops. See: https://github.com/google-research/dex-lang/pull/969 and https://github.com/google-research/dex-lang/blob/5cbbdc50ce0... for examples
comment by amkkma · 2022-06-27 · in Why I still recommend Julia -
You might like dex[1]. [1]: https://github.com/google-research/dex-lang
comment by woadwarrior01 · 2021-12-25 · in Trade-Offs in Automatic Differentiation: TensorFlow, PyTorch, Jax, and Julia -
…looks very Pythonic compared to Julia which is a 180-degree turn in terms of language design. [1] https://github.com/google-research/dex-lang
comment by johnnycerberus · 2021-04-16 · in Java Is Underhyped -
…it has bindings to other tools, but it sounds like Dex[1] would be relevant to your interests! [1]: https://github.com/google-research/dex-lang
comment by kristjansson · 2021-03-24 · in Matrix multiplication inches closer to mythic goal -
▲ 32
Dex: A research language for typed, functional array processingstory by the_optimist · 2021-03-11 · 18 comments
-
https://github.com/google-research/dex-lang Another interesting language in this vein is Dex. The authors are creators of Jax and Pytorch, and they have a lot of interesting ideas.
comment by chillee · 2020-11-19 · in A Ray of Hope: Array Programming for the 21st Century [video] -
…are a few efforts working in this space. As you can imagine, all of them are experimental: - Dex: https://github.com/google-research/dex-lang/ - Hasktorch: https://github.com/hasktorch/hasktorch - This initiative from the Python…
comment by BadInformatics · 2020-09-20 · in Swift for TensorFlow – A system for deep learning and differentiable computing -
▲ 147
Dex: A research language for array processing in the Haskell/ML familystory by azhenley · 2019-10-26 · 34 comments