David Park

I’m David. I write bare metal firmware and flight software for Raptor engines at SpaceX. When I’m not working, I’m usually camping, watching k-drama or esports.

2026-10-11Using git worktree instead of switching branches
2026-05-07lld and GNU ld can pull different archive members
2026-04-21C++ [[likely]] and [[unlikely]] aren’t always symmetric
2024-11-20Using Ninja directly with -t compdb
2024-01-06My first blog post