I can trace my whole self back to a profound love for truth. I love truth-seeking people and systems.

Work

I want to build robust systems that provide value to society and stand the test of time. My expertise and interests are core infrastructure, queueing theory, semantics, security, and performance, from multi-system dynamics and fleet-scale problems down to CPU instruction pipelining and cache-line optimization. I'm a self-directed learner who enjoys metacognition and interdisciplinary thinking. If I have a specialization, it is robust systems with low latency and high throughput.

Work Experience

I currently work at Woven by Toyota as the responsible person for all things Rust. This involves toolchain and compiler work, kicking off in-vehicle and off-vehicle software engineering projects in Rust across the company, safety-critical engineering, helping build the business case for Rust and securing funding, sponsoring and attending conferences, participating as a member of the Safety-Critical Rust Consortium committees, and so on.

Amazon Web Services, building AWS CloudTrail and security infrastructure at AWS Security
Google[x] Project Wing, building autonomous flying airplanes
Stripe, building money movement/storage and economic infrastructure for the internet
I am a technical advisor to FireTail, an API security company that raised $5M in Nov'22.
a few startups including Card Kingdom, now the world's biggest MTG store

Side projects

Sometimes-contributor to the Rust ecosystem, e.g. rustc, rustup, cargo fmt
fbbmtg.com, website selling Magic: the Gathering cards

Play

Competitive billiards/pool player
Recreational table tennis player
Board game geek
Lover of quality things, especially tools (職人根性)
Tinkerer with embedded devices, hardware, and robotics

Tech

My personal tech stack in five words: unix, nix, i3, emacs, rust.
List of good blogs.