Mads Hartmann
Staff Engineer at Ona (formerly Gitpod)
Copenhagen, Capital Region of Denmark
Summary
🤩
Rockstar🎓
Top SchoolMads Hartmann is a Staff Engineer based in Copenhagen with 16 years of experience building reliable production systems and automations, often diving into the weirdest on-call incidents to diagnose and fix root causes. He blends backend, SRE, and full‑stack experience across startups and cloud developer platforms (notably Gitpod/Ona and Glitch), with a practical focus on observability, CI/CD, and developer experience. A functional-programming enthusiast, he frequently works in statically typed languages like Scala and OCaml and contributes to notable open-source projects such as scalafmt, ocaml’s utop, and the bash-language-server. He’s as comfortable refactoring editor tooling and formatters as he is implementing backend database fixes and tracing for distributed build systems—skills that reflect a taste for both low-level correctness and developer ergonomics. Colleagues rely on him to turn messy production problems into understandable, automatable processes that prevent the next outage.
16 years of coding experience
14 years of employment as a software developer
Master, Computer Science, Master, Computer Science at Københavns Universitet - University of CopenhagenBachelor, Software Udvikling, Bachelor, Software Udvikling at IT-Universitetet i København
English, Danish
Stackoverflow
720reputation
39kreached
4answers
4questions
amazon-web-services
top-5%
Github Skills (57)
application-framework10
docker10
app-framework10
configuration-management10
typescript10
formatter10
language-server-protocol10
webpages10
dockers10
cicd10
emacs-lisp10
ocaml10
scala10
lift10
language-server10
Programming languages (24)
Github contributions (5)
gitpod-io/gitpod
May 2021 - Jan 2023
The developer platform for on-demand cloud development environments to create software faster and more securely.
Role in this project:
Back-end & DevOps Engineer
Back-end & DevOps EngineerContributions:473 reviews, 216 commits, 199 PRs in 1 year 8 months
Contributions summary:Mads contributed to the backend database operations by adding tests and fixing issues related to database interactions, specifically with column name casing. They implemented new features to extend admin workspace search capabilities by including instance UUID and workspace ID in the search criteria. Furthermore, the user worked on enhancing the build process by introducing a feature to enable integration tests as a pre-merge check and adding tracing capabilities to Werft jobs.
automatestheiadev-environmentdisposabledevcontainer
bash-lsp/bash-language-server
Feb 2018 - Oct 2018
A language server for Bash
Role in this project:Full-stack Developer
Full-stack DeveloperContributions:83 commits, 33 PRs, 69 pushes in 8 months
Contributions summary:Mads primarily contributed to the development of a language server for Bash. They implemented core functionalities like definition and completion providers, document highlighting, and workspace symbol search. The contributions involved modifications to both the server-side (written in TypeScript) and the client-side, including integrating with the VS Code extension. They also made improvements to the analysis of the bash code with the help of tree-sitter.
bashlspshellchecklanguage-serverlanguage-server-protocol
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.