David Podhola is a Lead Software Engineer based in Kutná Hora, Czechia, with over three decades of coding experience and 12 years in professional software roles. He currently leads API integrations at Headout and contributes to significant open-source projects—helping improve build and deployment pipelines for Microsoft's Orleans and advancing the Fable F# compiler—showing strong back-end and DevOps skills with a TypeScript focus. A pragmatic engineer who values software that quietly helps users, he has deep expertise in build tooling, CI/CD and file-system reliability gained from work on FAKE and other tooling. Trained with an MSc in Computer Science from Czech Technical University, he pairs legacy-language roots (BASIC, Pascal) with modern cloud-native practices and a knack for fixing subtle build and path issues that often go unnoticed.
12 years of coding experience
MSc Computer Science, MSc Computer Science at Czech Technical University in Prague
F# to JavaScript, TypeScript, Python, Rust and Dart Compiler
Role in this project:
Full-stack Developer
Contributions:46 commits, 18 PRs, 32 comments in 8 months
Contributions summary:David contributed to the Fable compiler, adding features and fixing bugs related to compiling F# code to JavaScript. They worked on implementing List module functions and fixing the singleton function. The user also addressed build and CI/CD issues by adding build commands and setting up an Appveyor CI process. Furthermore, they supported nested modules and elements outside of modules.
Contributions:8 commits, 4 PRs, 10 comments in 7 months
Contributions summary:David contributed to the build and deployment processes of the Orleans framework. Their work included modifications to the build scripts, specifically targeting the creation and packaging of Chocolatey packages. The user also addressed issues related to the F# compilation process within the client generator, ensuring proper handling of file paths. Furthermore, they made changes to the build process by introducing conditional checks for the availability of external tools like 'cpack'.
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.