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 MultiplicationI 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.