Miguel聽Molina

Senior Software Engineer at Remotely.works

Madrid, Community of Madrid, Spain
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
Miguel Molina is a Senior Software Engineer based in Madrid with 13 years of experience building reliable backend systems and developer tooling. He has a strong open-source pedigree, contributing significant fixes and features to prominent Go and Ruby projects such as go-git, martini and the Hanami framework鈥攐ften improving performance, concurrency safety, and CLI ergonomics. At source{d} he worked on code-understanding infrastructure (SQL parsing for git repositories) and later continued as a senior engineer at Snyk and Remotely.works, combining deep systems knowledge with pragmatic test automation and refactoring skills. Colleagues value his ability to tackle low-level algorithmic problems (delta encoding, reference lookup, race conditions) while keeping developer experience in mind. An interesting quirk: his GitHub bio humorously reflects a low-level runtime mindset鈥攑anic: runtime error鈥攈inting at a developer who knows the internals.
code13 years of coding experience
job6 years of employment as a software developer
bookGrado superior en desarrollo de aplicaciones web Inform谩tica y desarrollo web, Grado superior en desarrollo de aplicaciones web Inform谩tica y desarrollo web at IES Oretania
bookEducaci贸n secundaria obligatoria Educaci贸n Secundaria Obligatoria (ESO) y bachillerato, Educaci贸n secundaria obligatoria Educaci贸n Secundaria Obligatoria (ESO) y bachillerato at IES Cap de llevant
bookBachillerato cient铆fico y tecnol贸gico Desarrollo de aplicaciones web, Bachillerato cient铆fico y tecnol贸gico Desarrollo de aplicaciones web at IES Cap de Llevant
languagesSpanish, Catalan, English
github-logo-circle

Github Skills (41)

algorithm10
dependency-management10
url-routing10
git10
algorithms10
lexer10
command-line-interface10
data-structure10
hanami10
ruby10
ruby-application10
automation10
go10
automation-testing10
parsing10

Programming languages (21)

C#JavaC++CSSRustCScalaElm

Github contributions (5)

github-logo-circle
src-d/gitbase

Sep 2016 - Oct 2019

SQL interface to git repositories, written in Go. https://docs.sourced.tech/gitbase
Role in this project:
userBack-end Developer
Contributions:4 releases, 368 commits, 238 PRs in 3 years 1 month
Contributions summary:Miguel implemented a SQL lexer and contributed to parsing functionality within the gitbase repository, a SQL interface to git repositories. Their work involved creating an SQL lexer, handling operator precedence and associativity, and parsing the select field list. These changes, along with corresponding test cases, indicate their focus on the core functionalities of parsing and data extraction within the system.
golangrepositoriessqlgoast
go-martini/martini

Nov 2013 - Jan 2017

Classy web framework for Go
Role in this project:
userBack-end Developer
Contributions:91 commits, 43 PRs, 33 pushes in 3 years 2 months
Contributions summary:Miguel significantly contributed to the `go-martini/martini` framework by implementing core routing functionalities and enhancing existing features. They added the `UrlFor` method, allowing for dynamic URL generation, and integrated the `HEAD` HTTP method. The user also introduced group routing and made improvements to the route interface, indicating a focus on expanding the framework's capabilities and improving developer experience. Furthermore, the commits show evidence of code refactoring, including the conversion of format strings to more efficient methods.
golangframeworkweb-framework
Find and Hire Top DevelopersWe鈥檝e 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
Miguel Molina - Senior Software Engineer at Remotely.works