Shea Levy

Staff Software Engineer at Anduril Industries

Durham, New Hampshire, 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
Shea Levy is a Staff Software Engineer with 15 years of experience building resilient build systems, infrastructure, and back-end tooling, now at Anduril in Durham, NH. He combines deep systems-level expertise—evident from meaningful contributions to Nix, GHC, and Hydra—with practical DevOps and CI/CD leadership across companies like Target and Tweag. Shea is fluent in Haskell and Nix-based workflows, having improved compiler and packaging tooling (cabal2nix, amazonka, haskell.nix) and streamlined reproducible builds for complex projects such as Plutus. He moves comfortably between low-level security and performance work (FreeRDP password handling, mmap fixes) and high-level architecture, having led AI engineering teams and shipping supply-chain optimization efforts. Colleagues rely on him for thorny build-dependency problems and for turning research-grade tooling into production-ready infrastructure.
code15 years of coding experience
job11 years of employment as a software developer
stackoverflow-logo

Stackoverflow

Stats
5,305reputation
513kreached
38answers
54questions
github-logo-circle

Github Skills (77)

dependency-management10
gnu-make10
nix10
python10
package-management10
testing10
rdp10
c1110
perl10
security10
c1710
type-system10
system10
infrastructure10
compiler-construction10

Programming languages (37)

ATSCSchemeMakefileGoHTMLJupyter NotebookNunjucks

Github contributions (5)

github-logo-circle
NixOS/nixops

Jul 2012 - Dec 2017

NixOps is a tool for deploying to NixOS machines in a network or cloud.
Role in this project:
userBackend & DevOps Engineer
Contributions:97 commits, 2 PRs, 2 pushes in 5 years 5 months
Contributions summary:Shea primarily focused on backend development and deployment management within the NixOps project. Their contributions include the modification of Python packages and deployment scripts for improved dependency management and functionality. The user also worked on the integration and utilization of security features. Furthermore, they made several changes to deployment configurations and testing infrastructure.
deployingpythonhetznerdevopsmachines
NixOS/hydra

Feb 2013 - Mar 2021

Hydra, the Nix-based continuous build system
Role in this project:
userBack-end Developer & DevOps Engineer
Contributions:136 commits, 41 PRs, 19 pushes in 8 years 2 months
Contributions summary:Shea contributed significantly to the Hydra build system, focusing on improvements and maintenance. Their commits involved refactoring code to read configuration from /etc/nix.machines, replacing database interactions with file-based configurations, and removing unused database tables. They also worked on the API, adding endpoints and fixing jobset updates. Moreover, the user's involvement extended to the infrastructure side, cleaning up the hydra-module and configuring services related to it.
nixoscontinuoushydrabuild-system
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