AWS Certified DevOps Engineer Pro, CI/CD, Emacs Lisp, K8s, Nix Dhall, Go, Haskell, TypeScript, PureScript, Python, Ruby, Scala
I’ve contribed to quite a few projects for fun, but I’m particular enjoy some of my very own that worth metion here, they are for the non main stream community though super fun.
nix configurations for provisioning all my machines
dhall-aws-cloudformation Haskell
Dhall bindings to AWS CloudFormation, I created this because I hate yaml while working with CloudFormation at work. Haskell gave me few months of joy and turn out to be quite useful to me and to the community.
dhall-generics Scala
Have fun and make use of the new Scala 3 feature: Mirror type
Meow Scala
My attempt of Category Theory in Scala 3
Grokking Monad org
A ebook introducing Moand in Scala and Haskell
My take of what frontend scripting language should be. It is not a full language though, more like just macros in javascript.
Senior DevOps Engineer
- Design and lead the next-gen Identity Provider
and Oauth Provider, mainly in Go, Dhall, Nix and a some cryptography stuff.
- Designed and implemented the new public api gateway, serving
300M request, 14TB per month, at only 30% of the old gateway costs. All serverless arch on AWS, API Gateway, Dynamo and a bunch of lambdas in Go, TypeScript and Haskell.
Senior Software Engineer
- Financial Services, microservices all in
Scala. Frontend in PureScript and TypeScript.
Senior Software Engineer
- Frontend(React, JavaScript), Backend(Ruby,Scala) and DevOps(AWS) in the real estate industry.
Full stack developer, including frontend(React, JavaScript), backend(Ruby) in the real estate industry.
Master of Computer Application Technology, 01/09/2010 - 01/04/2013
Bachelor of Computer Science & Technology, 01/09/2003 - 01/07/2007