Posts

I have recently moved between a few macOS machines and have had to repeat some common development configuration. I think it’s best to document it here for both my future self and for others.

I had a fun time writing the openQASM parser over two years ago during my two week visit at UMD College Park. Since then, I have been quite fascinated with parsers.

Type and Effect Systems How can we reason about the effects of a program without using monads or uniqueness types? An effect describes how an expression computes. Denoted by $\varphi$ annotation in the statics of the language.