Jeremy Smith
Staff Software Engineer at Snowflake
Los Gatos, California, United States
Summary
🤩
Rockstar🎓
Top SchoolJeremy Smith is a Staff Software Engineer based in Los Gatos with over a decade of experience building scalable systems and data platforms across companies like Netflix and Snowflake. He blends deep Scala expertise—evident from notable contributions to the influential shapeless generic programming library—with hands-on full-stack work on projects such as the Polynote notebook. Jeremy has a track record of improving interoperability and performance, from enhancing Python-Java bridges in jep to optimizing data representations and UI components. He has led engineering and architecture efforts earlier in his career as a CTO and director, giving him both product-minded leadership and low-level systems chops. Colleagues describe him as a type-system enthusiast who intentionally writes code he expects to outgrow, communicating a commitment to continual learning. His background in building network services, data pipelines, and production ML systems positions him to bridge research, engineering, and operational concerns in complex distributed environments.
11 years of coding experience
22 years of employment as a software developer
Palo Alto High SchoolUniversity of California, Irvine
Stackoverflow
533reputation
38kreached
12answers
3questions
Github Skills (29)
java-native-interface10
python10
top-level10
java10
scala10
typer10
javas10
jna10
generic-programming10
functional-programming10
numpy9
c119
type-inference9
front-end-development9
c179
Programming languages (8)
Github contributions (5)
polynote/polynote
Jan 2019 - Dec 2022
A better notebook for Scala (and more)
Role in this project:
Full-stack Developer
Full-stack DeveloperContributions:33 releases, 244 reviews, 1118 commits in 3 years 11 months
Contributions summary:Jeremy contributed to both the front-end and back-end aspects of the Polynote project, demonstrating expertise in enhancing the user interface and the underlying core functionality of the application. Commits show the user implemented improvements in the user interface, including the addition of a new visual component and updates to the display of certain types of data. Additionally, the user addressed a performance issue by modifying the structure of underlying data.
scalanotebook
milessabin/shapeless
Jul 2016 - Jun 2019
Generic programming for Scala
Role in this project:Back-end Developer
Back-end DeveloperContributions:7 commits, 7 PRs, 7 comments in 2 years 10 months
Contributions summary:Jeremy contributed to the core functionality of the Shapeless library, a generic programming library for Scala. Their work included fixing type-related issues in the `LiftAll` operation to improve type inference. They added a new `Repeat` HList operation, including syntax and tests, and also modified the existing code to remove Scaladoc links and loosen restrictions related to `Typeable`.
generic-programmingscalatypelevelfunctional-programmingfp
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.