The Array Cast

PyTorch and Dex with Adam Paszke

The Array Cast

Array Cast - July 21, 2023
Show Notes

Thanks to Bob Therriault, Conor Hoekstra, and Adam Paszke for gathering these links:


[01] 00:01:49 J on AWS

https://code.jsoftware.com/wiki/System/Installation/Cloud


              KXcon '23 videos https://kx.com/kx-con-23-recordings/


              KXcon '23 ArrayCast review episode https://www.arraycast.com/episodes/episode54-kxcon23


[02] 00:04:10 PyTorch https://pytorch.org/
              Dex Programming Language

https://github.com/google-research/dex-lang/


              Coursera https://www.coursera.org/


[03] 00:07:48 Torch7 https://github.com/torch/torch7
              Torch

https://en.wikipedia.org/wiki/Torch_(machine_learning)


              Lua Programming Language https://www.lua.org/


              Python Programming Language https://www.python.org/


              Alpha Go documentary https://en.wikipedia.org/wiki/AlphaGo_(film)


              Tensorflow Programming Language https://www.tensorflow.org/


              LuaJIT interpreter  https://luajit.org/


[04] 00:15:43 Automatic differention https://en.wikipedia.org/wiki/Automatic_differentiation


[05] 00:18:25 GPU https://en.wikipedia.org/wiki/Graphics_processing_unit


              TPU https://en.wikipedia.org/wiki/Tensor_Processing_Unit

4
[06] 00:20:56 Machine Learning https://en.wikipedia.org/wiki/Machine_learning


[07] 00:29:30 AutoGrad Library https://autograd.readthedocs.io/en/latest/
              JAX https://github.com/google/jax


              Vectorization https://en.wikipedia.org/wiki/Vectorization


[08] 00:33:10 Dex White Paper 4 pages https://openreview.net/pdf?id=rJxd7vsWPS


              Dex White Paper 20 pages https://arxiv.org/pdf/2104.05372.pdf


              Dex Tutorial https://google-research.github.io/dex-lang/examples/tutorial.html


              MatLab Programming Language https://www.mathworks.com/products/matlab.html


[09] 00:35:40 Rank Polymorphism https://en.wikipedia.org/wiki/Parametric_polymorphism#Higher-rank_polymorphism


[10] 00:37:42 Futhark Programming Language https://futhark-lang.org/


              Dex and Futhark https://futhark-lang.org/blog/2020-12-28-futhark-and-dex.html


              ArrayCast Episode with Troels Henriksen https://www.arraycast.com/episodes/episode37-futhark


[11] 00:39:00 Haskell Programming Language https://www.haskell.org/


[12] 00:40:30 Ad Hoc Polymorphism https://en.wikipedia.org/wiki/Ad_hoc_polymorphism


              Parametric Polymorphism https://en.wikipedia.org/wiki/Parametric_polymorphism


              NumPy Python Library https://numpy.org/


[13] 00:46:15 CUDA GPU Language https://en.wikipedia.org/wiki/CUDA


[14] 00:53:13 XLA JAX compiler https://hpc.nih.gov/apps/JAX.html


[15] 00:56:57 Triton OpenAI https://openai.com/research/triton


[17] 01:01:44 Languish language tracker https://tjpalmer.github.io/languish/


              LLMs https://en.wikipedia.org/wiki/Large_language_model


[18] 01:05:43 github/google/Jax
              github/google-research/dex-lang


[19] 01:08:00 Nix https://docs.haskellstack.org/en/stable/nix_integration/


[20] 01:09:25 Adam's secret project - TBA


[21] 01:10:28 Contact AT ArrayCast DOT com

Next Episodes

The Array Cast

Learning and Teaching Array Programming @ The Array Cast

πŸ“† 2023-07-08 07:00 / βŒ› 01:02:38


The Array Cast

Why We Like Array Programming (Again) @ The Array Cast

πŸ“† 2023-06-24 07:00 / βŒ› 00:53:56


The Array Cast

Robert Bernecky @ The Array Cast

πŸ“† 2023-06-10 08:02 / βŒ› 01:18:43


The Array Cast

Review of KXcon’23 @ The Array Cast

πŸ“† 2023-05-27 07:00 / βŒ› 01:24:33


The Array Cast

What is the Problem? @ The Array Cast

πŸ“† 2023-05-13 06:36 / βŒ› 01:13:07