Posts

Thoughts on current projects and tech topics that interest me.

• September 6, 2026 From Categories to Types
• September 3, 2026 Matrix Multiplication Optimization