I write Python and JavaScript, primarily for LLM agent apps and web applications. I’m quite fascinated by functional programming and theorem-proving languages; right now, I’m learning Lean4 and Rust as a personal hobby. I spent a lot of time building database systems before, but these days, my focus is on creating a handful of LLM-driven agents and pipelines.
When not coding, you’ll probably find me exploring new music, getting lost in detective novels, or experimenting with digital art and design.
I believe in the power of open source and equal contribution, as a core life principle of my own.
