jeff cheah
Software engineer in Malaysia. I like programming languages, systems, and figuring out how things actually work.
I've spent a lot of time with functional programming, type systems and correctness, mostly through Haskell. I've also wandered into type theory, proof assistants, compilers and language design when something catches my attention.
now
I'm building an LLM gateway in Rust as a way to understand AI systems better. I'm also poking at Koka, mostly because its effect system caught my attention, and figuring out what I want to work on next.
things I've worked on
- Financial applications built around Cardano and Plutus in Haskell, including work on transaction tooling and the surrounding open source ecosystem.
- A token presale platform where I worked across a Rust backend and React frontend, including wallet connections, KYC, fiat onramps and smart account payments.
- An online betting platform built with Rust, PostgreSQL and React, including payment flows, provably fair games and affiliate systems.
notes
Short writeups on things I've noticed, learned, or been thinking about.