➜
~/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
2024.12
the cost of a system call
notes
things
the ink page
→
an interactive gallery of writing, experiments, and creative technology. currently contains 4 items.
contact
contact@lanfei.me