HackerTube

THE VIDEO SHELF · vector transposes in type systems

Taking Vector Transposes Seriously | Jiahao Chen | JuliaCon 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.

Why HN readers recommended it

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

This is a summary from the source dataset, not an endorsement by Hacker News or the video creator.

Video & recommendation details

Creator / channel
The Julia Programming Language
Topic
vector transposes in type systems
Format
talk
Level
advanced
HN recommenders in dataset
3
HN mentions in dataset
5
Recommendation years in dataset
2018–2022

These counts and years describe the included Hacker News records; they are not YouTube views or the video’s publication date.

From the original HN conversations

Excerpts from the recorded comments. Follow each source for the full comment and surrounding discussion.

  • 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. [VIDEO]

    dnautics on Hacker News · 2018-03
    In Types, and Why You Should Care [video]
  • > 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: [VIDEO] (but seriously take the time to watch this, it's fantastic). [0] Separately C- and often C-derived languages/frameworks …

    dnautics on Hacker News · 2020-10
    In A Programmer’s Intuition for Matrix Multiplication
  • 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 …

    dnautics on Hacker News · 2020-06
    In Why is it important for a matrix to be square? (2018)

Summaries, classifications and recommendation records are from the HackerTube source dataset. Read about this library and its limitations.