mstn's blog
Home
Writing
2025
2025-05-09
GPU programming with category theory
2025-05-05
Hypergraphs as an Intermediate Representation
2025-04-26
Surfacing parallelism in imperative programs
2018
2018-09-08
Matrix calculus for Milner's Bigraphs