Mario Rodas
Jefe De Guardia Mina at IESA
Peru
Summary
🤩
Rockstar🎓
Top School
Top expert inOpen Source Software Development and Security
Mario Rodas is a Peruvian mining engineer with 15 years of field and leadership experience, currently serving as Jefe de Guardia Mina and supervising rock fragmentation at Volcan Compañía Minera. His career blends operational command, safety and environmental management, and hands-on roles from resident engineer to field supervisor across multiple mining sites. He pairs technical mining expertise with risk prevention training and intermediate English, enabling clear coordination in multicultural teams and complex operations. Unexpectedly, he also contributes to open-source tooling—improving Nix-based environment management and Emacs developer tools—showing a knack for automation and infrastructure that complements his operational focus. Known for pragmatic problem-solving and steady leadership during shifts, he drives safety-conscious productivity in high-stakes mining environments.
15 years of coding experience
Ingeniero de Minas, Ingeniero de Minas at Universidad Privada del NorteGestión de Seguridad Industrial, Prevención de Riesgos Laborales y Salud Ocupacional, Gestión de Seguridad Industrial, Prevención de Riesgos Laborales y Salud Ocupacional at Universidad Nacional de Trujillo
Spanish, English
Github Skills (48)
git10
system-configuration10
python10
launchd10
nix10
org-mode10
configuration-management10
runit10
nixos10
bash10
dotfile10
home-manager10
magit10
emacs-lisp10
ubuntu10
Programming languages (26)
Github contributions (5)
nix-community/home-manager
Jan 2018 - Jan 2023
Manage a user environment using Nix [maintainer=@khaneliman, @rycee]
Role in this project:
Full-stack Developer
Full-stack DeveloperContributions:33 reviews, 54 commits, 53 PRs in 5 years
Contributions summary:Mario's contributions center around enhancing the Home Manager configuration system. They focused on refining the user environment management, including fixing port settings for email, adding and modifying modules to support various programs such as `noti`, `direnv`, `opam`, `keychain`, `bat`, `lsd`, `z-lua`, `starship`, `rtorrent`, `pazi`, `mcfly`, `zoxide`, and `gallery-dl`. These changes included adding support for configuration files, integrating shell aliases, and improving overall functionality. They also made improvements to git configuration.
nixnixpkgsdotfilesnixosnix-dotfiles
nix-darwin/nix-darwin
Jun 2018 - Mar 2021
Manage your macOS using Nix
Role in this project:DevOps Engineer
DevOps EngineerContributions:11 commits, 8 PRs, 3 comments in 2 years 9 months
Contributions summary:Mario primarily focused on enhancing the NixOS configuration for macOS, introducing new services and tests. Their contributions include integrating `synapse-bt` and `spotifyd` services, along with associated testing infrastructure, demonstrating expertise in system configuration and service management. The user also refined the existing bash configuration, addressing non-interactive shell behavior and dumb terminal compatibility, optimizing the user experience. Further improvements included supporting plugins and using core `ln` for PostgreSQL configurations.
macosnixdarwinlaunchddotfiles
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.