Submitted 1 year ago by bot@lemmy.smeargle.fans [bot] to hackernews@lemmy.smeargle.fans
https://www.philipzucker.com/linear-algebra-of-types/
HN Discussion