John Hui
Graduate Research Assistant
Cupertino, California, United States
Summary
🤩
Rockstar🎓
Top SchoolJohn Hui is a PhD candidate in computer science at Columbia University with a decade of hands-on experience building compilers, programming languages, and systems for real-time applications. His research focuses on extending language abstractions to express temporal constraints, bridging academic theory with practical runtime and tooling needs. He has industry experience from internships at Roblox, Nuro, and WhatsApp, and contributes to developer-facing open-source tooling—most notably implementing core UI and progress displays for the popular Neovim plugin fidget.nvim. Based in Cupertino, he blends low-level systems thinking with an interest in computer music, reflecting a rare mix of engineering rigor and creative practice. Expect a practitioner who moves smoothly between research, production code, and developer UX.
10 years of coding experience
3 years of employment as a software developer
Master of Science - MS, Master of Science - MS at Columbia University in the City of New YorkDoctor of Philosophy - PhD, Doctor of Philosophy - PhD at Columbia University
English, Chinese
Github Skills (4)
neovim10
neovim-plugin10
lua10
ui-design9
Programming languages (26)
Github contributions (5)
j-hui/fidget.nvim
Jan 2022 - Oct 2022
💫 Extensible UI for Neovim notifications and LSP progress messages.
Role in this project:
Full-stack Developer
Full-stack DeveloperContributions:2 releases, 27 reviews, 85 commits in 8 months
Contributions summary:John primarily contributed to the development of a Neovim plugin, `fidget.nvim`, which provides a UI for notifications and LSP progress messages. Their contributions involved implementing the core UI elements, including the display of spinners and task progress. They focused on the formatting and presentation of these notifications, and also implemented features such as highlighting.
luavimstatuslinestandaloneneovim
sedwards-lab/peng
Mar 2021 - May 2021
Contributions:11 commits, 9 pushes in 1 month
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.