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
2022
2022-07-26
On Order in Distributed Systems
2019
2019-07-27
Typescript for typeless people
2019-07-25
Performance Evaluation and Refactoring
2019-02-24
Two phase refactoring
2018
2018-12-02
Sketching a language for Web Programming (Part II)
2018-11-06
Sketching a language for Web Programming
2018-09-08
Matrix calculus for Milner's Bigraphs

Page 1 of 2