MichaelĀ Lan
Los Angeles, California, United States
Summary
š¤©
Rockstarš
Top SchoolMichael Lan is a software engineer with seven years of experience blending functional programming, formal methods, and low-latency systems engineering. He has interned at Tesla and Pure Storage and contributed to formal-methods research at UCLA, applying verification techniques to linear algebra and quantum computing. Comfortable across distributed systems and systems-level C++, he has competitive experience building low-latency bots and practical exposure to CAN bus routing and storage tiering. An active open-source contributor, he has improved visual consistency for the popular Catppuccin Neovim themeādemonstrating attention to UX details in developer tools. Based in Los Angeles, he pairs analytic-philosophy curiosity and puzzle-driven hobbies (crosswords, board games, poker) with rigorous engineering, often favoring Emacs/Neovim and verification-minded solutions.
7 years of coding experience
2 years of employment as a software developer
High School Diploma, High School Diploma at Irvington High SchoolUniversity of California, Los Angeles
English, Chinese
Stackoverflow
91reputation
5kreached
1answer
0questions
Github Skills (9)
neovim10
ui-theme10
wordpress-themes10
color-scheme10
ui-design9
lua9
vi8
centos6
docker6
Programming languages (28)
Github contributions (5)
catppuccin/nvim
Aug 2022 - Aug 2022
šØ Soothing pastel theme for (Neo)vim
Role in this project:
UI Designer
UI DesignerContributions:1 review, 6 commits, 2 PRs in 1 day
Contributions summary:Michael focused on theming and styling elements within the Neovim configuration. Their commits primarily involve modifying and adding highlight groups, especially related to Neogit integrations, to improve visual consistency and legibility. The changes involve tweaking background and foreground colors to ensure that the UI elements of the theme are visually appealing and consistent. They also fixed formatting issues to maintain a clean code style within the theme.
luaneovim-luaneovimneovim-theme
mizlan/AutofillDuo
Jul 2022 - Nov 2022
Skip the headache of Duo authentication
Contributions:35 commits, 2 PRs, 18 pushes in 3 months
duoskipauthenticationheadache
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.