Linear Algebra of Types (2019) (philipzucker.com) | HN Screenshots

YHacker Newsscreenshots

Screenshot of philipzucker.com: Linear Algebra of Types (2019)

First screen, captured 2 years ago.

Looks similar

Screenshot of allendowney.github.io: Think Linear Algebra (2023)

Think Linear Algebra (2023)(allendowney.github.io)

178 points by tamnd 5 months ago | 20 comments

Screenshot of philipzucker.com: Lambda MicroEgg

Lambda MicroEgg (philipzucker.com)

53 points by philzook 1 month ago | 5 comments

Screenshot of philipzucker.com: Knuckledragger, a Semi-Automated Python Proof Assistant

Knuckledragger, a Semi-Automated Python Proof Assistant (philipzucker.com)

64 points by philzook 2 years ago | 14 comments

Screenshot of philipzucker.com: Ordinals aren't much worse than Quaternions

Ordinals aren't much worse than Quaternions (philipzucker.com)

43 points by philzook 2 years ago | 20 comments

Screenshot of linebender.org: The mathematical beauty of hyperbezier curves

The mathematical beauty of hyperbezier curves (linebender.org)

190 points by raphlinus 2 months ago | 38 comments

Screenshot of ml-explore.github.io: MLX: NumPy like framework for Apple Silicon by Apple

MLX: NumPy like framework for Apple Silicon by Apple (ml-explore.github.io)

131 points by dagmx 2 years ago | 12 comments