I like making the numbers make sense.
I'm Luna Lee, a backend software engineer (formerly at Amazon Health and One Medical) with UCLA degrees in financial actuarial mathematics and statistics. I build small, honest tools and write about money with the math shown.
Selected work
Writing and tools built around practical problems: understanding money, checking the math, and finding words for a difficult situation.
First 90 Days
Written and built for teens moving out: worked examples for a first paycheck, apartment, and credit card, plus a free calculator. The full 12-chapter book is available on Gumroad for $15.
Read the free chapters →FM Toolkit Calculators
Interactive interest theory and loan amortization tools for Exam FM, checked against known-answer examples. Try the free calculators or get the full bundle.
See the calculators →fm-formalization
Interest-theory results formalized in Lean 4 with Mathlib, including accumulation and discount factors and the geometric series behind annuity formulas.
View on GitHub →Boundary Check
An interactive boundary-setting tool for putting a difficult situation into words and finding a clear next step.
Try Boundary Check →Uncertainty Sandbox
A simple scenario planner for examining a worry through your estimates of impact and likelihood, alongside the resources and fallback options you can draw on.
Explore a scenario →