Skip to content
HomeVideos
AllLongsCategoriesPlaylists
BooksBlogsPodcasts
HistoryListsWatch laterLiked videosFollowing

The videos, books, blogs and podcasts Hacker News keeps recommending, all in one place.

VideosBooksBlogsPodcastsAboutPrivacySettings

Data from Hacker News, HackerTube, HackerBooks, HackerBlogs and Open Library. Credits · Not affiliated with Y Combinator.

HomeVideosBooksBlogsPodcasts
Ctrl K

    Taking Vector Transposes Seriously | Jiahao Chen | JuliaCon 2017

    The Julia Programming Language

    3 HN recommenders · recommended in 5 months, 2018–2022

    YouTube

    19:12 · 7.4K views · Jul 17, 2017

    Jiahao Chen's JuliaCon 2017 talk argues that vector transposes should be taken seriously in type systems and linear algebra libraries. It explains why treating vectors as matrices causes trouble in languages.

    Strongly recommended for anyone working with vectors for its clear take on how they should be treated in types.

    Software Engineering & LanguagesProgramming language designPure mathematics
    1. 40:39
      Category Theory in Life - Eugenia ChengLambda World113K views • 9 years ago
    2. 1:04:53
      Julia: to Lisp or not to Lisp?European Lisp Symposium24K views • 10 years ago
    3. 35:24
      The Unreasonable Effectiveness of Multiple Dispatch | Stefan Karpinski | JuliaCon 2019The Julia Programming Language79K views • 7 years ago
    4. 9:52
      Vectors | Chapter 1, Essence of linear algebra3Blue1Brown13M views • 10 years ago
    5. 1:03:34
      Simon Peyton Jones - Linear Haskell: practical linearity in a higher-order polymorphic languageCurry On!19K views • 8 years ago
    6. 51:16
      Why can't you multiply vectors?Freya Holmér525K views • 3 years ago
    7. 1:11:42
      ElixirConf 2023 - José Valim - The foundations of the Elixir type systemElixirConf38K views • 3 years ago
    8. 1:14:52
      Effective Programs - 10 Years of Clojure - Rich HickeyClojureTV176K views • 9 years ago
    9. 1:03:29
      Maybe Not - Rich HickeyClojureTV181K views • 7 years ago
    10. 42:43
      "Propositions as Types" by Philip WadlerStrange Loop Conference144K views • 11 years ago
    11. 1:01:04
      Introduction to Julia - Part 1 | SciPy 2014 | David SandersEnthought80K views • 12 years ago
    12. 1:07:22
      Invited Talk - Guy SteeleClojureTV39K views • 9 years ago
    13. 1:07:10
      Brian Beckman: Don't fear the Monadjasonofthel33t415K views • 13 years ago
    14. 59:04
      On the Expressive Power of Programming Languages by Shriram Krishnamurthi [PWLConf 2019]PapersWeLove27K views • 7 years ago
    15. 30:40
      What's Bad About Julia | Jeff Bezanson | JuliaCon 2019The Julia Programming Language37K views • 7 years ago
    16. 56:58
      Philip Wadler - Propositions as Types (Lambda Days 2016)Erlang Solutions20K views • 10 years ago
    17. 54:31
      Does APL Need a Type System? by Aaron W Hsu at #FnConf18ConfEngine6.4K views • 7 years ago
    18. 1:03:31
      Brian Goetz - Stewardship: the Sobering PartsClojureTV39K views • 11 years ago
    19. 40:20
      "Shen: A Sufficiently Advanced Lisp" by Aditya SiramStrange Loop Conference26K views • 12 years ago
    20. 39:40
      "Type-Driven Program Synthesis" by Nadia PolikarpovaStrange Loop Conference15K views • 8 years ago

    5 comments from Hacker News

    1. @dnauticsOct 2020· in “A Programmer’s Intuition for Matrix Multiplication”

      > Purist test The short answer is. Yes, but if your PL treats it that way you will wind up in trouble [0]. The long answer is: this video (but seriously take the time to watch this, it's fantastic). [0] Separately C- and often C-derived languages/frameworks like numpy also treat them as 1xN matrices, but that's a nearly tabs-vs-spaces level religious war, with actual consequences. I think a lot of people got confused when translating andrew ng's early octave-based ML coursera course (Nx1) to python (1xN), and also in the back and forth between math ML papers which use Nx1 and python.

      Strongly recommendsView on HN
    2. @dnauticsMar 2018· in “Types, and Why You Should Care [video]”

      Addendum: Also really good is this video about how one should treat vectors and matrices in a type system. Has good lessons for python, R, and Matlab. Seriously anyone who does anything with vectors should watch this. this video

      Strongly recommendsView on HN
    3. @dnauticsJun 2020· in “Why is it important for a matrix to be square? (2018)”

      I happened to be the other way, I learned first that matrices were linear transformations and, being thick-headed, it took me a really long time to understand that matrices could also be used as "dumb excel spreadsheets". there's a fantastic historiography of linear algebra and why we're stuck in this situation here: this video

      RecommendsView on HN
    4. @gugagoreApr 2022· in “Eigen: A C++ template library for linear algebra”

      If you want a great video on the topic, see this video Or equivalently [LINK] There are basically two self-consistent choices for the design of linear algebra libraries.

      RecommendsView on HN
    5. @freemintJul 2021· in “Julia Computing raises $24M Series A”

      If you will do a lot of matrix stuff you might want to listen to this video taking Vector Transpose Seriously

      RecommendsView on HN