My Personal Blog

Upcoming Articles

• Effects handling in fused-effects, polysemy

Published Articles

Sept 2025

• Teaching LLVM new tricks: My journey adding a custom x86 instruction
  • You can read this post in medium.com

Dec 2020

• Logging via Colog
  • You can read this post in medium.com

July 2020

• Generalised Algebraic Data Types
  • You can read this post in medium.com
• Type Families
  • You can read this post in medium.com
• DIY Apache Spark Clusters in Azure Cloud (Step-by-Step guide)
  • You can read this post in medium.com
• To Fix or Not To Fix
  • You can this post in medium.com

October 2019

• Journey into the IO Monad Part 1
  • You can read this post in medium.com
• Journey into the IO Monad Part 2
  • You can read this post in medium.com
• Journey into the IO Monad Part 3
  • You can read this post in medium.com

Books published

• OpenCL Parallel Programming Development Cookbook - English
  • Thanks to the team in Khronos organization to list my book on their site
• OpenCL Parallel Programming Development Cookbook - Chinese
• Developing an Akka Edge
  • Thanks to the Akka team for list my book on their website