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 working on a tennis video analysis project to help players understand their movement and technique, and see what they could improve. I'm also poking around a few language and systems projects and learning more about AI.
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.