Philip Zucker personal blog
Linear Algebra of Types (2019)
It gives my brain a pleasant thrum to learn new mathematics which mimics the algebra I learned in middle school. Basically this means that the new system has operations with properties that match those of regular numbers as much as possible. Two pretty important operations are addition and multiplication with the…
- Points
- 115
- HN comments
- 8
- Submissions
- 1
- Cited by
- 0 commenters
Math & AlgorithmsSoftware Engineering2024
On Hacker News
| Submitted | Title on HN | Points | Comments |
|---|---|---|---|
| Mar 30, 2024 | Linear Algebra of Types (2019) by g0xA52A2A | 115 | 8 |
