Lina Butler
Staff Software Engineer at Machinify
San Francisco, California, United States
Summary
🤩
RockstarLina Butler is a Staff Software Engineer based in San Francisco with seven years of experience building distributed systems, sync engines, and platform components in Rust, C-family languages, Kotlin, Swift, and JavaScript. She has shipped cross-platform sync and privacy features at scale—contributing to Firefox’s application services and designing the Shared Passwords and Passkeys sync engine that later shipped in iOS 17 and macOS Sonoma. A polyglot platform engineer and consistent open-source contributor, Lina has implemented Swift bindings for mozilla/uniffi-rs and driven critical sync/state-machine work across Firefox Desktop, Android, and iOS. She favors kind, empathetic teams and pragmatic refactors that reduce long-standing data-corruption issues while improving maintainability. Colleagues rely on her ability to translate tricky systems problems into reliable, well-tested components that work across languages and platforms.
7 years of coding experience
12 years of employment as a software developer
Github Skills (36)
gl-binding10
ios10
sqlite10
synchronized10
browser10
data-synchronization10
cffi10
binding10
data-sync10
rust-crates10
firefox10
crate10
state-machine10
foreign10
ffi10
Programming languages (14)
Github contributions (5)
mozilla/application-services
Jul 2018 - Jan 2023
Firefox Application Services
Role in this project:
Back-end Developer
Back-end DeveloperContributions:2 releases, 491 reviews, 222 commits in 4 years 6 months
Contributions summary:Lina primarily contributed to the Firefox Application Services project by working on the "Sync" functionality. Their work included fixing typos in the UI, implementing a state machine for the sync setup process, and integrating tag-related features. They refactored the code, splitting the service into separate clients and states, and implemented or prepared for several key functionalities.
firefoxpushfxasync
mozilla/uniffi-rs
Jun 2020 - Oct 2020
a multi-language bindings generator for rust
Role in this project:Back-end Developer
Back-end DeveloperContributions:43 reviews, 23 commits, 11 PRs in 3 months
Contributions summary:Lina primarily contributed to the implementation of Swift bindings for the `uniffi-rs` repository, a multi-language bindings generator for Rust. Their work involved generating Swift code, including defining data structures, implementing serialization/deserialization, and creating classes for object definitions. The contributions expanded to creating bridging headers and module maps for Swift integration, and finally compiling Swift code.
ffi-layermulti-languagerustrust-cratelanguage-bindings
Find and Hire Top DevelopersWe’ve analyzed the programming source code of over 60 million software developers on GitHub and scored them by 50,000 skills. Sign-up on Prog,AI to search for software developers.