kenny shen

I'm a software engineer from Singapore. Right now, I'm working at Anapi, and logging my miles towards a math major at the Open U.

I have been coding in various domains and languages, notably Javascript, Python and Haskell over the last 9 years. Lately, interests of mine lately include type theory, assisted proving and code generation via Coq as well languages like Mercury and Racket.

I love being curious and making sense of things and how they fit together. Some of my thoughts and notes are made can be found below. | Github | Gitlab | LinkedIn