I'm interested in open-source, language design, bare-metal computing, and virtual machines and sharing authentic knowledge, failures and epiphanies in all their glory. I'm generally happy coding in Rust, Ocaml, and Lisp.
I was the author and core maintainer of RxGo. I'm currently working on Monet.
Besides programming, I'm passionate about self-improvement, productive mindset, and positive work environment. You should read some of my insights below:
- Words You Shouldn't Use in Workplace
- Learn to Build a Parser for Fun and Profit
- Are You a Confused Programmer?
- Stick to What You're Good At
However, read this AMA to learn about my journey and how I got here.
- Marlin: Smali-to-Python transpiler.
- Systemd-parser: A minimal Systemd unit file parser.
- ml-brainfuck: Brainfuck interpreter written in bad Ocaml.
- Flowwow: NFT Petshop app built with Flow and React
- Subhuman: Chrome extension that exposes pixel trackers in your email and retaliate.
- Firma: Simple Merkle tree implementation based on the Bitcoin white paper.
Rust, Ocaml, Coq, Agda
When I'm not coding, I love doing hands-on DIY projects, woodworking, restoring cars, and building vacuum-tube amps.