David Himmelstrup
Copenhagen, Capital Region, Denmark
Summary
🤩
RockstarDavid Himmelstrup is a seasoned software developer based in Copenhagen with 21 years of experience specializing in functional programming, particularly Haskell, alongside systems-level work in C and networking. He has deep expertise in performance-sensitive back-end engineering, evidenced by substantive contributions to cornerstone Haskell projects like bytestring and Cabal where he optimized low-level data access and improved build tooling. David also has practical experience building package infrastructure, contributing features and refactors to hackage-server, and has applied his skills across Rust projects from benchmarking tooling to a Filecoin node implementation. Comfortable across automated testing, DevOps workflows, and protocol-level code, he combines pragmatic engineering with a focus on reliability and observability. Notably, his open-source work shows a pattern of improving core library ergonomics and performance rather than surface-level features.
21 years of coding experience
Danish, English
Stackoverflow
56reputation
377reached
1answer
1question
Github Skills (35)
github-ci10
benchmark10
filehandle10
testing10
benchmarking10
build-system10
bytestring10
ff10
hackage10
filecoin10
filepath10
fileio10
ffi10
blockchain10
file-handling10
Programming languages (20)
Github contributions (5)
ChainSafe/forest
Jan 2022 - Jan 2023
🌲 Rust Filecoin Node Implementation
Role in this project:
Back-end Developer
Back-end DeveloperContributions:11 releases, 3048 reviews, 248 commits in 1 year
Contributions summary:David primarily worked on implementing and improving the Filecoin node implementation. Their contributions include fixing inconsistent tests, improving error messages in network feature selection, applying lints from a specific Rust version, and including the network in the Forest version string. They also focused on improving snapshot parsing performance and contributed to the FVM backend integration. Further changes involve removing unused code and refactoring for NV17 support.
filecoinrustp2pblockchainnodejs
haskell/cabal
Mar 2005 - Apr 2018
Official upstream development repository for Cabal and cabal-install
Role in this project:Back-end Developer
Back-end DeveloperContributions:73 commits, 2 PRs, 4 comments in 13 years 3 months
Contributions summary:David primarily contributed to the Cabal build system, focusing on fixing bugs and improving its functionality. Their work involved modifying core files related to file path handling, option parsing, and configuration. The user also added support for profiling and build reports, indicating a focus on improving the build process and providing more detailed information about the build.
hackagecabalhaskellupstream
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.