Troels Henriksen and Futhark

01/10/2022 1h 10min Temporada 2 Episodio 37

Listen "Troels Henriksen and Futhark"

Episode Synopsis

Array Cast - September 30, 2022 Show NotesMany thanks to Bob Therriault for gathering these links:[01] 00:03:08 ADSP podcast on K https://adspthepodcast.com/2022/09/23/Episode-96.html[02] 00:03:30 Paradigm Conference 2022 https://esolangconf.com/[03] 00:04:25 Troels Henriksen https://sigkill.dk/[04] 00:05:05 Futhark https://futhark-lang.org/[05] 00:06:12 Linux https://www.linux.org/[06] 00:08:00 Textualize https://www.textualize.io/[07] 00:08:27 Standard ML https://en.wikipedia.org/wiki/Standard_ML Common Lisp https://en.wikipedia.org/wiki/Common_Lisp Haskell https://www.haskell.org/[08] 00:09:50 Cosmin Oancea http://hjemmesider.diku.dk/~zgh600/[09] 00:10:53 Ocaml https://ocaml.org/[10] 00:12:20 Numpy https://numpy.org/ PyTorch https://github.com/pytorch/pytorch[11] 00:13:07 Single Assignment C https://www.sac-home.org/index[12] 00:13:20 Codfns https://github.com/Co-dfns/Co-dfns DEX https://github.com/google-research/dex-lang Accelerate for Haskell https://www.acceleratehs.org Copperhead https://github.com/bryancatanzaro/copperhead Tensorflow https://github.com/tensorflow/tensorflow JAX https://github.com/google/jax[13] 00:18:39 Phd Position https://employment.ku.dk/phd/?show=157471[14] 00:20:17 Experiential Learning https://en.wikipedia.org/wiki/Experiential_learning[15] 00:21:21 DIKU https://di.ku.dk/english/ Hiperfit http://hiperfit.dk/ Simcorp https://en.wikipedia.org/wiki/SimCorp Dyalog https://www.dyalog.com/[16] 00:23:00 TAIL http://hiperfit.dk/pdf/array14_final.pdf apltail https://github.com/melsman/apltail Martin Elsman https://elsman.com/[17] 00:29:17 Parametric Polymorphism https://en.wikipedia.org/wiki/Parametric_polymorphism[18] 00:32:06 Jay Foad https://aplwiki.com/wiki/Jay_Foadhttps://docs.dyalog.com/latest/Compiler%20User%20Guide.pdf[19] 00:33:00 Tacit Programming https://aplwiki.com/wiki/Tacit_programming[20] 00:36:30 Mandelbrot set https://en.wikipedia.org/wiki/Mandelbrot_set[21] 00:41:07 Typed Array Languages https://mlochbaum.github.io/BQN/implementation/compile/intro.html#typed-array-languages[22] 00:42:05 Leading Axis Array Theory https://aplwiki.com/wiki/Leading_axis_theory[23] 00:43:56 Ken Iverson https://en.wikipedia.org/wiki/Kenneth_E._Iverson[24] 00:49:25 Conor's Array Comparison https://github.com/codereport/array-language-comparisons[25] 00:49:50 APEX https://gitlab.com/bernecky/apex Bob Bernecky https://www.snakeisland.com/[26] 00:51:05 Second Order Array Combinators https://futhark-book.readthedocs.io/en/latest/language.html[27] 00:52:30 Associativity https://en.wikipedia.org/wiki/Associative_property Commutativity https://en.wikipedia.org/wiki/Commutativity[28] 00:56:12 Toxoplasma Gondii https://en.wikipedia.org/wiki/Toxoplasma_gondii[29] 00:59:20 Guy Blelloch https://en.wikipedia.org/wiki/Guy_Blelloch Nesl http://www.cs.cmu.edu/~scandal/nesl.html[30] 01:00:38 Remora https://www.ccs.neu.edu/home/jrslepak/typed-j.pdf Justin Slepak https://jrslepak.github.io/[31] 01:01:12 Conor's Venn diagram https://github.com/codereport/array-language-comparisons[32] 01:02:40 K https://aplwiki.com/wiki/K Kona https://aplwiki.com/wiki/Kona[33] 01:03:20 April https://aplwiki.com/wiki/April Andrew Sengul Episode on Array Cast https://www.arraycast.com/episodes/episode23-andrew-sengul[34] 01:04:40 Py'n'APL https://github.com/Dyalog/pynapl APL.jl https://aplwiki.com/wiki/APL.jl May https://github.com/justin2004/may Julia https://julialang.org/[35] 01:08:05 Bjarne Stroustrup C++ https://www.stroustrup.com/[36] 01:09:16 Artem Shinkarov https://ashinkarov.github.io/ Sven-Bodo Scholz https://www.macs.hw.ac.uk/~sbs/homepage/main/Welcome.html https://www.microsoft.com/en-us/research/video/sac-off-the-shelf-support-for-data-parallelism-on-multicores/[37] 01:10:19 Contact AT ArrayCast DOT com