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.

Dev.to | Github | Gitlab | LinkedIn

scribbles

• Source modifications ^{via GHC API and ghc-exactprint}
• Sums of products (and carbs) ^{Fun with datatypes and representations}
• GHC extension - TypeApplications ^{Providing type arguments explicitly}
• Power sets ^{Deconstruction of a nifty expression}
• Exception handling ^{Handling exceptions neatly via monad transformers}
• Deploying Haskell applications to Beanstalk ^{via CircleCI workflows}

Others

• Keyboards ^{Adventures in typing}
• Shoestring HiFi ^{Adventures in audio}
• Single board computers ^{Adventures in budget computing}