pietro / posts
- Jun. 2025
Canonical Forms (very work in progress)Semantic equivalence is a tricky one!
- Jun. 2025
Lazy Matrices (work in progress)Semantically equivalent, runtime inequivalent
Semantic equivalence is a tricky one!
Semantically equivalent, runtime inequivalent