Greg Weber

Technical Lead at Kunai

Chicago, Illinois, United States
email-iconphone-icongithub-logolinkedin-logotwitter-logostackoverflow-logofacebook-logo
Join Prog.AI to see contacts
email-iconphone-icongithub-logolinkedin-logotwitter-logostackoverflow-logofacebook-logo
Join Prog.AI to see contacts

Summary

🤩
Rockstar
🎓
Top School
Greg Weber is a Technical Lead with 17 years of experience building cloud-native, secure infrastructure and distributed systems from startups to scale-stage companies. He combines hands-on engineering in Go, Rust, Haskell, TypeScript and Python with leadership—managing small teams, driving SOC2/HIPAA compliance, and owning both backend and devops. His work at PingCAP and contributions to notable projects like TiKV, TiDB, and GHC show deep expertise in distributed databases, compiler internals, and production-grade error handling. Greg often approaches hard problems from first principles, introducing stronger typing and testing patterns across diverse codebases (e.g., MyPy, TypeScript, linters for Go). He’s an active open-source maintainer with a history of shipping tools and libraries that improve developer workflows, and he enjoys turning research-backed designs into reliable, well-documented systems. Based in Chicago, he looks for roles where he can immediately contribute and continue mentoring teams while learning new domains.
code17 years of coding experience
job17 years of employment as a software developer
bookElectrical Engineering Electrical and Electronics Engineering, Electrical Engineering Electrical and Electronics Engineering at University of Iowa
languagesEnglish, Spanish
stackoverflow-logo

Stackoverflow

Stats
3,368reputation
262kreached
28answers
15questions
Badges
casting
top-5%
typescript
top-5%
github-logo-circle

Github Skills (79)

benchmark10
quickcheck10
testing10
rspec10
databases10
tikv10
ruby10
automation10
infrastructure10
distributed-transactions10
template-haskell10
rest-api10
haskell10
operator10
web-widgets10

Programming languages (29)

CCMakeMakefileGoHTMLJupyter NotebookTypeScriptShell

Github contributions (5)

github-logo-circle
yesodweb/yesod

Jul 2010 - Dec 2015

A RESTful Haskell web framework built on WAI.
Role in this project:
userBack-end Developer
Contributions:466 commits, 35 PRs, 56 pushes in 5 years 6 months
Contributions summary:Greg primarily contributed to the back-end functionality of the Yesod web framework, specifically focusing on form handling and widget creation within the Haskell ecosystem. They introduced new field types, such as JqueryDay and JqueryDayTimeField, expanding the framework's capabilities for date and time input widgets. Further contributions included enhancements to existing profiles and functions for form building and rendering within the Yesod framework.
apirestfulhaskellframeworkwebframework
pingcap/tidb-operator

Jul 2018 - Feb 2020

TiDB operator creates and manages TiDB clusters running in Kubernetes.
Role in this project:
userDevOps Engineer
Contributions:82 commits, 80 PRs, 132 pushes in 1 year 7 months
Contributions summary:Greg primarily focused on improving the build and deployment processes for the `pingcap/tidb-operator` repository. Their work involved integrating tools like `megacheck` for code linting and setting up a DIND (Docker-in-Docker) environment for local development and testing. Additionally, they contributed to the automation of disk management in a GKE environment. These contributions significantly improved the development workflow and infrastructure management.
golangtidbclustersoperatorkubernetes
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.
Request Free Trial