Senior software engineer / CTO building production systems in Haskell & Python (infra, reliability, security). Open to remote roles. A bit of a private person.
Connect
- Instagram Interviews, events, personal life.
- LinkedIn Professional life!
- GitHub My current/new Haskell open source work!
- My Technology Website Center for my nerdier side; Haskell, code, technology!
- Email Reach out!
- WeChat and Xiaohongshu Please contact me for my 微信 (WeChat) and 小红书 (Redbook)!
Past projects (undisclosed here [older GitHub, too]), references, available on request.
What I do best
- Senior engineering leadership: designing, shipping, and owning production systems (Haskell, Python)
- Infrastructure & reliability: self-hosted systems, performance, security, and operational ownership
- Cross-cultural work (secondary): consulting and community projects involving China–US collaboration
Accomplishments
Some more abstract things (feel free to inquire for what I have not made publicly accessible):
- I’m a member of Bitreich
- 15+ years building and operating production software (startups, academia, independent projects)
- CTO-level ownership of Haskell/Python systems (architecture, delivery, security)
- Led teams shipping products under real operational constraints
- Open-source software with sustained usage (incl. a PyPI project reaching ~800 downloads/month, HN exposure)
- Delivered technical talks and workshops (including LibrePlanet)
- Led technology nonprofit (100+ members)
- Featured in Chinese-language media (e.g., Sing Tao Daily); community event support within San Francisco Chinatown arts organizations
Selected Work
Some flashy projects to show off; a portfolio you can play with. First checkout:
- Haskell GitHub: 6+ years of production and research-grade work (incl. formal verification)
- I also have a website for my current technical body of work
- Contributor to open-source projects like Nix.
Self-hosting extraordinaire
Some services I host at home:
- Gopher Protocol server – my main place on the net.
- Counter-Strike 1.6 server for old school gaming! I even have my own Mumble server! Weekly event every Saturday!
- phorum: Gopher Protocol forum!
- I host my own XMPP, you can contact me via
someodd@xmpp.someodd.zip! - IRC server: you can actually join this through my XMPP server! Actually surprisingly active with some influential people in tech!
Gopher publishing stack (Haskell)
Designed and built a production publishing stack for the Gopher protocol.
- Weaves an ancient Internet protocol together with the modern web and Jekyll.
-
Example: my gopherhole, which has features like “ChatGopherPT” which allows you to use an LLM/AI via the Gopher Protocol!
- One part of the stack, Bore, is like Jekyll, a static website builder, except it’s for the Gopher Protocol. Blogging system, with Atom/RSS, tagging, indexing.
- My blog is a mirror of my gopherhole built by this stack.
- Formal verification using LiquidHaskell for the custom search algorithm, through my ryvm (Rank You Very Much) software
- Property-based testing using QuickCheck for the custom search algorithm
- Venusia is a Gopher framework, allowing to be used as a kind of reverse proxy and dynamic gopher content daemon.
haskellcard
Albeit a silly demo image above, haskellcard is an SDL game engine built in Haskell, that is similar to HyperCard with loads of nifty features.
- Nix packages setup for building, and development environment
- Game state and level format is the same thing and perfectly deterministic
- Music queuing.
- Layer support.
- Sprite support.
- Conditional support.
- Inventory system.
Whisper Radio
Whisper Radio is a radio show hosted by AI and Bash scripts. It is (open source).
The radio program has these features (and more!):
- AI responds to people’s posts on Mastodon
- Selects music to play
- Experiment on using Bash scripting for a service
- Radio announcer (using both old school TTS and AI-based TTS)
- Weather report
- Reads the latest thread in my Gopher forum phorum
- Talking/reading segments, like promoting people’s projects, or reading poetry, interesting bits of history, news
- Hosted on my home server
You can listen below, or go to the Whisper Radio stream directly.
Waffle
Waffle is like a web browser, but for the Gopher Protocol. I wrote about the experience extensively in my article showcasing Waffle on my tech website, which includes:
- Extensive use of performance profiling
- Parallelism and concurrency
- Implementation of client side of RFC 1436
The domain name sue.do is a play on the sudo command in Linux.
Volunteer work
Chinatown
I have been learning Mandarin and appreciate Chinese culture. I have volunteered for two Chinese (Cantonese) opera houses in Chinatown San Francisco: My Opera and Jing Ying Cantonese Opera.
The MADE
Working on a documentary for The Museum of Art and Digital Entertainment…
Please check out my gopherhole for the most up-to-date information+interesting things. It’s my single-point-of-truth.