➜ ~/lanfei
ls -la
about
i am lanfei ma. i plan to post all kinds of writing and things here.
writing
2025.10
sub-millisecond timing in browser audio
technical
2025.10
when hardware breaks the contract
technical
2025.01
specifying preconditions for unsafe rust functions
technical
2025.01
macro-generated test harnesses for type-parameterized verification
technical
things
the ink page →
an interactive gallery of writing, experiments, and creative technology revealed through digital ink, simulated with perlin noise. currently contains 4 items.
or go straight to the items:
correspondence color to sound (in progress)