Getty Ritter
Infrastructure Engineer at Stripe
Portland, Oregon Metropolitan Area United States
Summary
🤩
Rockstar🎓
Top SchoolGetty Ritter is an infrastructure engineer at Stripe with seven years of professional experience building reliable systems and a deep research background in compilers and programming language theory. Previously a compiler engineer at Groq and an engineer/researcher at Galois, Getty blends systems engineering with formal thinking from a Master's in Computer Science and a BA in Linguistics. They contribute to high-profile open-source work on Sorbet's type checker, improving strict-mode error reporting and parsing for clearer, more accurate diagnostics. Comfortable across languages and runtime environments, Getty is especially skilled at bridging research-grade language concepts with production infrastructure. Based in the Portland metropolitan area, they bring a pragmatic attention to error clarity and robustness that often surfaces in developer tools and infra work.
7 years of coding experience
7 years of employment as a software developer
Master's degree Computer Science, Master's degree Computer Science at University of OregonBachelor's degree Linguistics, Bachelor's degree Linguistics at University of California, Berkeley
Github Skills (11)
type-system10
error-reporting10
typescript10
typesc10
type-checking10
sorbet10
type-check10
ruby10
cprogramming-language9
c-language9
code-optimization9
Programming languages (4)
Github contributions (5)
Sorbet/Sorbet
Jun 2022 - Jan 2023
Role in this project:
Back-end Developer
Back-end DeveloperContributions:8 commits in 6 months
Contributions summary:Getty primarily focused on improving the Sorbet type checker, specifically addressing issues related to signature errors and block parameters in strict mode. They implemented changes to error reporting and improved the clarity of error messages. Furthermore, the user contributed to the handling of safe navigation in assignments, demonstrating a solid understanding of the codebase and the type checking process.
Shopify/sorbet
Jun 2019 - Sep 2019
A fast, powerful type checker designed for Ruby
Contributions:51 commits in 2 months
type-checkerrubychecker
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.