about

I'm Jeff, a software engineer in Malaysia.

I've been writing software professionally for around nine years, mostly across backend and full stack work. Over time I've worked with quite a few languages, but Haskell probably shaped how I think about software the most. It pulled me deeper into functional programming, type systems, abstractions and correctness.

That curiosity has wandered into programming languages more generally, including type theory, proof assistants, compilers and more recently Koka. I'm also spending more time understanding AI and ML systems, particularly the systems underneath the models rather than just the applications built on top of them.

Outside software, I spend a probably unreasonable amount of time thinking about coffee. I also play tennis regularly, which is probably the main thing that gets me away from the computer.

This site is mostly a place for things I've learned, noticed, built, or happened to get curious about.